Introducing Formal Requirements Into Industry
(1991) Lecture Notes in Computer Science — Vol. 490, p. 129-141 (1991)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- We draw some lessons from our attempt to introduce the formal requirements engineering language ERAE in an industrial context. We review the various experiments and comment on such issues as the typical deficiencies of current practices, misconceptions about the nature of requirements, our approach to technology transfer, the importance of methodological guidance, and the role of tools. One of the applications, a complete television set, is analysed in more detail.
- Affiliations
Citations
Hagelstein, J., & Ponsaert, F. (1991). Introducing Formal Requirements Into Industry. Lecture Notes in Computer Science, 490, 129-141. https://hdl.handle.net/2078.5/137768 (Original work published 1991)