Prof Sunil Vadera S.Vadera@salford.ac.uk
Professor
Tools for producing formal specifications : a view of current architectures and future directions
Vadera, S; Meziane, F
Authors
F Meziane
Abstract
During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications.
However, the process of obtaining formal specifications that are consistent with the requirements is itself a difficult activity. Hence various researchers are developing systems that aid the transition from informal to formal specifications.
The kind of problems tackled and the contributions made by these proposed systems are very diverse. This paper brings these studies together to provide a vision for future architectures that aim to aid the transition from informal to formal specifications. The new architecture, which is based on the strengths of existing studies, tackles a
number of key issues in requirements engineering such as identifying ambiguities, incompleteness, and reusability.
The paper concludes with a discussion of the research problems that need to be addressed in order to realise the proposed architecture.
Citation
Vadera, S., & Meziane, F. (1997). Tools for producing formal specifications : a view of current architectures and future directions. Annals of Software Engineering, 3(1), 273-290. https://doi.org/10.1023/A%3A1018950324254
Journal Article Type | Article |
---|---|
Publication Date | Jan 1, 1997 |
Deposit Date | Jan 16, 2009 |
Publicly Available Date | Jan 16, 2009 |
Journal | Annals of Software Engineering |
Print ISSN | 1022-7091 |
Publisher | Springer Verlag |
Peer Reviewed | Peer Reviewed |
Volume | 3 |
Issue | 1 |
Pages | 273-290 |
DOI | https://doi.org/10.1023/A%3A1018950324254 |
Publisher URL | http://www.springerlink.com/content/r3114m0xp747565p/ |
Related Public URLs | http://www.springerlink.com/home/main.mpx http://www.springerlink.com/content/101741/?p=7e21bd1ffd3a4c10a5e7b79cf587c6df&pi=0 |
Files
ase.pdf
(191 Kb)
PDF
Version
Author version
You might also like
Explainable fault prediction using learning fuzzy cognitive maps
(2023)
Journal Article
Development of an evolutionary cost sensitive decision tree induction algorithm
(2022)
Presentation / Conference
Phishing website detection from URLs using classical machine learning ANN model
(2021)
Journal Article
Downloadable Citations
About USIR
Administrator e-mail: library-research@salford.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search