Skip to main content
SpringerLink
Log in

Introducing formal requirements into industry

  • Part II Requirements And Design
  • Conference paper
  • First Online:
Algebraic Methods II: Theory, Tools and Applications (Algebraic Methods 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 490))

Included in the following conference series:

  • 133 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L. Claeys, L. Loomans, F. Ponsaert, “ERAE Specification of D16 and D2B,” Philips CST report re89015, January 1989.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. E. Dubois, J. Hagelstein, A. Rifaut, “Formal Requirements Engineering with ERAE,” Philips Journal of Research vol. 43 3/4, 1988.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. J. Hagelstein and E. Lahou, “A transit Node in ERAE,” METEOR report MET-199, September 1987.

    Google Scholar 

  7. J. Hagelstein, A. Rifaut, J. Vangeersdael and M. Vauclair, “The ERAE Language and Method,” Manuscript M 336, Philips Research Laboratory Belgium, 1990.

    Google Scholar 

  8. J. Hagelstein and A. Rifaut, “The ERAE Language Definition,” Manuscript M 337, Philips Research Laboratory Belgium, 1990.

    Google Scholar 

  9. E. Lahou and F. Ponsaert, “Case Study: Requirements for a Software Development and Maintenance Tool,” METEOR report MET-110, September 1986.

    Google Scholar 

  10. F. Ponsaert “TIP-TOP: An Experiment with ERAE,” METEOR report, June 1988.

    Google Scholar 

  11. E. Stephens and F. Williams, “A Case Study in Requirements Engineering. Studio Booking,” METEOR report MET-108, January 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratory, Avenue Albert Einstein, 4, B-1348, Louvain-la-Neuve, Belgium

    J. Hagelstein

  2. Philips Centre for Software Technology, Avenue Albert Einstein, 4, B-1348, Louvain-la-Neuve, Belgium

    F. Ponsaert

Authors
  1. J. Hagelstein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Ponsaert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. A. Bergstra L. M. G. Feijs

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation