Skip to main content
SpringerLink
Log in

A formal approach to computer systems requirements documentation

  • Conference paper
  • First Online:
Hybrid Systems (HS 1992, HS 1991)

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

Abstract

This paper demonstrates how the extended duration calculus

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. Parnas, D.L., and Madey, J., “Functional Documentation for Computer Systems Engineering (Version 2)”, CRL Report 237, Telecommunications Research Institute of Ontario (TRIO), McMaster University, Hamilton, ON, September 1991, 14pp.

    Google Scholar 

  2. van Schouwen, A.J., “The A-7 Requirements Model: Re-examination for Real-Time Systems and an Application to Monitoring Systems”, Technical Report 90-276, Queen's University, C&IS, Telecommunications Research Institute of Ontario (TRIO), Kingston, ON, January 1991 (revision 3), 94pp.

    Google Scholar 

  3. van Schouwen, A.J., Parnas, D.L., and Madey, J., “Documentation of Requirements for Computer Systems”, Proceeding of the IEEE International Symposium on Requirements Engineering, San Diego, California, January 4–6, 1993.

    Google Scholar 

  4. Zhou Chaochen, C.A.R. Hoare, Anders P. Ravn, “A Calculus of Durations”, Information Processing Letters 40, 5, pp. 269–276, 1992.

    Google Scholar 

  5. Zhou Chaochen, Michael R. Hansen, Anders P. Ravn “An Extended Duration Calculus for Hybrid Real-Time Systems” in this volume.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Jan Madey

  2. Communications Research Laboratory Department of Electrical and Computer Engineering, McMaster University, L8S 4L7, Hamilton, Ontario, Canada

    David Lorge Parnas

  3. Department of Computer Science, Technical University of Denmark, Bldg. 344, DK 2800, Lyngby, Denmark

    Anders P. Ravn

  4. Bell-Northern Research Limited, Station C, P.O. Box 3511, K1Y 4H7, Ottawa, Ontario, Canada

    A. John van Schouwen

Authors
  1. Marcin Engel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcin Kubica
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Madey
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. David Lorge Parnas
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Anders P. Ravn
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. A. John van Schouwen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert L. Grossman Anil Nerode Anders P. Ravn Hans Rischel

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Engel, M., Kubica, M., Madey, J., Parnas, D.L., Ravn, A.P., van Schouwen, A.J. (1993). A formal approach to computer systems requirements documentation. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds) Hybrid Systems. HS HS 1992 1991. Lecture Notes in Computer Science, vol 736. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57318-6_40

Download citation

  • DOI: https://doi.org/10.1007/3-540-57318-6_40

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57318-0

  • Online ISBN: 978-3-540-48060-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation