Skip to main content

Research Repository

Advanced Search

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






You might also like



Downloadable Citations