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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
L. Claeys, L. Loomans, F. Ponsaert, “ERAE Specification of D16 and D2B,” Philips CST report re89015, January 1989.
E. Dubois, J. Hagelstein, E. Lahou, F. Ponsaert, A. Rifaut, F. Williams, “The ERAE model: A Case Study,” in: T.W. Olle, H.G. Sol, A.A. Verrijn-Stuart (eds.), Information System Design Methodologies: Improving the Practice, North-Holland, 1986, pp. 87–105.
E. Dubois and J. Hagelstein, “Reasoning on Formal Requirements: a Lift Control System,” Proceedings of 4th International Workshop on Software Specification and Design, Monterey, California, 1987.
E. Dubois, J. Hagelstein, A. Rifaut, “Formal Requirements Engineering with ERAE,” Philips Journal of Research vol. 43 3/4, 1988.
A. Finkelstein and J. Hagelstein, “Formal Frameworks for Understanding Information System Requirements Engineering,” Proceedings of the IFIP WG 8.1 CRIS Review Workshop, Sesimbra (Portugal), 1989.
J. Hagelstein and E. Lahou, “A transit Node in ERAE,” METEOR report MET-199, September 1987.
J. Hagelstein, A. Rifaut, J. Vangeersdael and M. Vauclair, “The ERAE Language and Method,” Manuscript M 336, Philips Research Laboratory Belgium, 1990.
J. Hagelstein and A. Rifaut, “The ERAE Language Definition,” Manuscript M 337, Philips Research Laboratory Belgium, 1990.
E. Lahou and F. Ponsaert, “Case Study: Requirements for a Software Development and Maintenance Tool,” METEOR report MET-110, September 1986.
F. Ponsaert “TIP-TOP: An Experiment with ERAE,” METEOR report, June 1988.
E. Stephens and F. Williams, “A Case Study in Requirements Engineering. Studio Booking,” METEOR report MET-108, January 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hagelstein, J., Ponsaert, F. (1991). Introducing formal requirements into industry. In: Bergstra, J.A., Feijs, L.M.G. (eds) Algebraic Methods II: Theory, Tools and Applications. Algebraic Methods 1989. Lecture Notes in Computer Science, vol 490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53912-3_21
Download citation
DOI: https://doi.org/10.1007/3-540-53912-3_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53912-4
Online ISBN: 978-3-540-46351-1
eBook Packages: Springer Book Archive