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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Booch, G.: Object Oriented Design with Applications. Benjamin Cummings, Redwood City, CA (1991)
Broy, M., Deißenböck, F., Pizka, M.: A Holistic Approach to Software Quality at Work. In: 3rd World Congress for Software Quality (3WCSQ)
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
Broy, M., Rausch, A.: Das Neue V-Modell XT, Informatik Spektrum, Band 28, Heft 3, Juni (2005)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. INRIA, Research Report 842 (1988)
Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)
Hettler, R.: Zur Übersetzung von E/R-Schemata nach Spectrum. Technischer Bericht TUM-I9409, TU München (1994)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
Jacobsen, I.: Object-Oriented Software Engineering. Addison-Wesley, ACM Press, Reading (1992)
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)
Milner, R. (ed.) A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
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)
ITU-T. Recommendation Z.120, Annex B: Algebraic Semantics of Message Sequence Charts. ITU-Telecommunication Standardization Sector, Geneva, Switzerland (1995)
Selic, B., Gullekson, G., Ward, P.T.: Real-time Objectoriented Modeling. Wiley, New York (1994)
Rumbaugh, J.: Object-Oriented Modelling and Design. Prentice Hall, Englewood Cliffs: New Jersey (1991)
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)
Specification and Description Language (SDL), Recommendation Z.100. Technical Report, CCITT (1988)
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)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language for Object-Oriented Development, Version 1.0, RATIONAL Software Cooperation
Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology (1997)
Author information
Authors and Affiliations
Editor information
Rights 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)