Skip to main content
SpringerLink
Log in
Book cover

Formal Methods and Hybrid Real-Time Systems pp 24–44Cite as

From “Formal Methods” to System Modeling

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4700))

Abstract

When engineering software intensive systems the quality of the resulting product depends strictly on the quality of the models used explicitly or implicitly in the engineering process. A rich family of such models has been developed in recent years. We discuss some of these models and describe the requirements for system modeling theories.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baeten, J.C.M., Bergstra, J.: Process Algebras with Signals and Conditions. In: Broy, M. (ed.) Programming and Mathematical Method. Springer NATO ASI Series, Series F: Computer and System Sciences, vol. 88, pp. 273–324. Springer, Heidelberg (1992)

    Google Scholar 

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

    Google Scholar 

  3. Broy, M., Deißenböck, F., Pizka, M.: A Holistic Approach to Software Quality at Work. In: 3rd World Congress for Software Quality (3WCSQ)

    Google Scholar 

  4. Broy, M.: Refinement of Time. In: Bertran, M., Rus, T. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol. 1231, pp. 44–63. Springer, Heidelberg (1997) Also in TCS

    Google Scholar 

  5. Broy, M., Rausch, A.: Das Neue V-Modell XT, Informatik Spektrum, Band 28, Heft 3, Juni (2005)

    Google Scholar 

  6. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  7. Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. INRIA, Research Report 842 (1988)

    Google Scholar 

  8. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)

    Article  MATH  Google Scholar 

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

    Google Scholar 

  10. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

  11. Jacobsen, I.: Object-Oriented Software Engineering. Addison-Wesley, ACM Press, Reading (1992)

    Google Scholar 

  12. Kahn, G.: The Semantics of a Simple Language for Parallel Processing. In: Rosenfeld, J.L. (ed.) Information Processing 74. Proc. of the IFIP Congress 74, pp. 471–475. North Holland, Amsterdam (1974)

    Google Scholar 

  13. Milner, R. (ed.) A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)

    Google Scholar 

  14. ITU-T (previously CCITT) Criteria for the Use and Applicability of Formal Description Techniques. Recommendation Z. 120, Message Sequence Chart (MSC), p. 35 (March 1993)

    Google Scholar 

  15. ITU-T. Recommendation Z.120, Annex B: Algebraic Semantics of Message Sequence Charts. ITU-Telecommunication Standardization Sector, Geneva, Switzerland (1995)

    Google Scholar 

  16. Selic, B., Gullekson, G., Ward, P.T.: Real-time Objectoriented Modeling. Wiley, New York (1994)

    Google Scholar 

  17. Rumbaugh, J.: Object-Oriented Modelling and Design. Prentice Hall, Englewood Cliffs: New Jersey (1991)

    Google Scholar 

  18. Rumpe, B.: Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Ph.D. Thesis Technische Universität München, Fakultät für Informatik. Published by Herbert Utz Verlag (1996)

    Google Scholar 

  19. Specification and Description Language (SDL), Recommendation Z.100. Technical Report, CCITT (1988)

    Google Scholar 

  20. Broy, M., Facchi, C., Hettler, R., Hußmann, H., Nazareth, D., Regensburger, F., Slotosch, O., Stølen, K.: The Requirement and Design Specification Language Spectrum. An Informal Introduction. Version 1.0. Part I/II Technische Universität München, Institut für Informatik, TUM-I9311 / TUM-I9312 (May 1993)

    Google Scholar 

  21. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language for Object-Oriented Development, Version 1.0, RATIONAL Software Cooperation

    Google Scholar 

  22. Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, 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

Cliff B. Jones Zhiming Liu Jim Woodcock

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Broy, M. (2007). From “Formal Methods” to System Modeling. In: Jones, C.B., Liu, Z., Woodcock, J. (eds) Formal Methods and Hybrid Real-Time Systems. Lecture Notes in Computer Science, vol 4700. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75221-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75221-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75220-2

  • Online ISBN: 978-3-540-75221-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation