Formal Specification: a Roadmap
(2000) The Future of Software Engineering — ISBN: [1-58113-253-0], p. 147 - 159, published
Files
101136120.pdf
Restricted Access - Adobe PDF
- 82.78 KB
Details
- Authors
- Abstract
- Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited but has been steadily growing. After recalling the essence,role, usage, and pitfalls of formal specification, the paper reviews the main specification paradigms to date and discuss their evaluation criteria. It then provides a brief assessment of the current strengths and weaknesses of today’s formal specification technology. This provides a basis for formulating a number of requirements for formal specification to become a core software engineering activity in the future.
- Affiliations
Citations
van Lamsweerde, A. (2000). Formal Specification: a Roadmap. In Anthony Finkelstein (Editor) (ed.), The Future of Software Engineering (p. p. 147 - 159). ACM Press. https://doi.org/10.1145/336512.336546