Skip to main content
SpringerLink
Log in

Mathematical system models as a basis of software engineering

  • Chapter
  • First Online:
Computer Science Today

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

Abstract

We give mathematical system models as a basis for system specification, system development by refinement, and system implementation. It provides a simple homogeneous mathematical and logical foundation of software and systems engineering. We treat mathematical concepts of refinement through levels of abstraction and complementing system views as they are used in software engineering. The goal is to give a coherent and simple mathematical basis.

This work was carried out within the Project SysLab, supported by Siemens Nixdorf and by the Deutsche Forschungsgemeinschaft under the Leibniz program. It is based on results worked out in the Sonderforschungsbereich 342 “Werkzeuge und Methoden für die Nutzung paralleler Rechnerarchitektur”.

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. J.R. Abrial: On Constructing Large Software Systems. In: J. van Leeuwen (ed.): Algorithms, Software, Architecture, Information Processing 92, Vol. I, North-Holland/Elsevier Science Publ., Amsterdam, 1992, pp. 103–119.

    Google Scholar 

  2. G. Booch: Object Oriented Design with Applications. Benjamin Cummings, Redwood City, CA, 1991.

    Google Scholar 

  3. M. Broy: Towards a Formal Foundation of the Specification and Description Language SDL. Formal Aspects of Computing 3 (1991) 21–57.

    Article  Google Scholar 

  4. M. Broy: (Inter-)Action Refinement: The Easy Way. In: M. Broy (ed.): Program Design Calculi. Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 118, Springer-Verlag, Berlin, 1993, pp. 121–158.

    Google Scholar 

  5. M. Broy: Advanced Component Interface Specification. In: Takayasu Ito, Akinori Yonezawa (Eds.). Theory and Practice of Parallel Programming, Proc's International Workshop TPPP'94, Sendai, Japan, Lecture Notes in Computer Science, Vol. 907, Springer-Verlag, Berlin, 1995.

    Google Scholar 

  6. P. Coad, E. Yourdon: Object-oriented Analysis. Prentice-Hall Int. Editions, Englewood Cliffs, NJ, 1991.

    Google Scholar 

  7. T. DeMarco: Structured Analysis and System Specification. Yourdan Press, New York, NY, 1979

    Google Scholar 

  8. E. Denert: Software-Engineering. Springer-Verlag, Berlin, 1991.

    Google Scholar 

  9. E. Downs, P. Clare, I. Coe: Structured Analysis and System Specifications. Prentice-Hall, Englewood Cliffs, NJ, 1992.

    Google Scholar 

  10. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, R. Weber: The Design of Distributed Systems — an Introduction to Focus. Technical University Munich, Institute of Computer Science, TUM-I9203, Januar 1992, see also: Summary of Case Studies in Focus — a Design Method for Distributed Systems. Technical University Munich, Institute for Computer Science, TUM-I9203, Januar 1992.

    Google Scholar 

  11. D. Garlan, M. Shaw: An Introduction to Software Architecture. In: Advances in Software Engineering and Knowledge Engineering. 1993.

    Google Scholar 

  12. R. Hettler: Zur übersetzung von E/R-Schemata nach Spectrum. Technischer Bericht TUM-I9409, TU München, 1994.

    Google Scholar 

  13. H. Hußmann: Formal foundation of pragmatic software engineering methods. In: B. Wolfinger (ed.), Innovationen bei Rechen-und Kommunikationssystemen, Informatik aktuell, Springer-Verlag, Berlin, 1994, pp. 27–34

    Google Scholar 

  14. H. Hußmann: Formal Foundations for SSADM. Technische Universität München, Fakultät für Informatik, Habilitationsschrift 1995.

    Google Scholar 

  15. C.B. Jones: Systematic Program Development Using VDM. Prentice-Hall, 1986.

    Google Scholar 

  16. H. Mills, M. Dyer, R. Linger: Cleanroom Software Engineering. IEEE Software Engineering 4 (1987) 19–24.

    Google Scholar 

  17. W. Reisig: Petrinetze — Eine Einführung. Studienreihe Informatik; 2. überarbeitete Auflage (1986).

    Google Scholar 

  18. B. Rumpe, C. Klein, M. Broy: Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme — Syslab-Systemmodell. Technischer Bericht TUM-I9510, Technische Universität München, Institut für Informatik, 1995.

    Google Scholar 

  19. M. Wirsing: Algebraic Specification. In: J. van Leeuwen (Ed.): Handbook of Theoretical Computer Science, Volume B, chapter 13, Elsevier Science Publ., Amsterdam, 1990, pp. 675–788.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Arcisstr. 21, D-80290, München, Germany

    Manfred Broy

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jan van Leeuwen

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Broy, M. (1995). Mathematical system models as a basis of software engineering. In: van Leeuwen, J. (eds) Computer Science Today. Lecture Notes in Computer Science, vol 1000. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015250

Download citation

  • DOI: https://doi.org/10.1007/BFb0015250

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49435-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation