Zusammenfassung
Software-Engineering umfaßt technische wie organisatorische Aspekte. Aus technischer Sicht arbeiten wir beim Software-Engineering mit einer Entwicklungsmethode und Beschreibungsformalismen, mit Modellierungs- und Implementierungstechniken. Die Entwicklung eines Softwaresystems ist als Entwicklungsprozeß organisiert und wird durch CASE- Werkzeuge unterstützt. Wir zeigen im folgenden, wie geeignete Mathematik das Software-Engineering auf eine wissenschaftliche Grundlage stellen kann. Dadurch werden ein gründlicheres Verständnis für die Disziplin und auch eine mächtigere zielgerichtetere Werkzeugunterstützung für den Entwicklungsprozeß möglich. Um zu einer angemessenen mathematischen Fundierung zu gelangen, muß der wirtschaftliche und technische Nutzen mathematischer Konzepte im Bereich Software-Engineering klar identifiziert werden. Dazu ist es erforderlich, die Rolle von Mathematik und Logik im Software-Engineering sorgfältig zu analysieren. Wir beschreiben, wie Methoden des Software-Engineering durch die Mathematik fundiert werden können. Wir erläutern den Nutzen einer solchen mathematischen Grundlage. Dieser Nutzen geht weit über die sogenannten formalen Methoden für die Spezifikation und Verifikation von Software hinaus.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Schriftenverzeichnis
J.R. Abrial (1982). On constructing large software systems. In: J. van Leeuwen (ed.): Algorithms, Software, Architecture, Information Processing 92, Vol. I, 103–119.
F.L. Bauer und H. Wössner (1982). Algorithmic Language and Program Development, Berlin: Springer.
M. v. d. Beeck (1994). A comparison of state charts variants. In: H. Langmaack, W.-P. de Roever und J. Vytopil (eds.): Formal Techniques in Real Time and Fault-Tolerant Systems. Lecture Notes in Computer Science 863, 128–148.
D. Björner, H. Langmaack und C.A.R. Hoare (1992). Provably Correct Systems. ProCoS I Final Delivery.
G. Booch (1991). Object Oriented Design with Applications. Benjamin Cummings, Redwood City, CA.
M. Broy (1984). Algebraic methods for program construction: The project CIP. SOFSEM 82, also in: P. Pepper (ed.): Program Transformation and Programming Environments. NATO ASI Series. Series F: 8. Berlin-Heidelberg-New York-Tokyo: Springer, 199–222.
M. Broy (1991). Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing 3, 21–57.
M. Broy (1991). Formalisation of distributed, concurrent, reactive systems. In: E.J. Neuhold und M. Paul (eds.): Formal Description of Programming Concepts. IFIP W.G. 2.2 advanced seminar, Rio de Janeiro 1989. Berlin: Springer, 319–361.
M. Broy (1993). (Inter-)action refinement: the easy way. In: Broy, M. (ed.): Program Design Calculi. Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 118, 121–158, Berlin, Heidelberg, New York: Springer.
M. Broy (1995). Equations for describing dynamic nets of communicating systems. In: E. Astesiano, G. Reggio und A. Tarlecki (eds.): Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types Joint Workshop, S.Margher, Italy, May/June 1994, Lecture Notes in Computer Science 906, 170–187. Springer.
M. Broy (1995). Advanced component interface specification. In: T. Ito und A. Yonezawa (eds.). Theory and Practice of Parallel Programming, International Workshop TPPP’94, Sendai, Japan, November 7–9, 1994, Lecture Notes in Computer Science 907, Springer.
M. Broy und S. Jähnichen ( Hrsg. ) (1993). Korrekte Software durch formale Methoden. GMD Karlsruhe.
P. Coad und E. Yourdon (1991). Object-oriented Analysis. Prentice Hall International Editions.
T. DeMarco (1979). Structured Analysis and System Specification. Yourdan Press, New York, NY.
E. Denert (1991). Software-Engineering. Springer.
E.W. Dijkstra (1976). A Discipline of Programming. Englewood Cliffs: Prentice-Hall.
D. Garlan und M. Shaw (1993). An introduction to software architecture. In: V. Ambrioala und G. Tortora (eds.): D. Garlan und M. Shaw, 1–39. World Scientific Publishing Company. Singapore.
GRAPES-Referenzmanual, DOMINO, Integrierte Verfahrenstechnik (1990). Siemens AG, Bereich Daten-und Informationstechnik.
R. Grosu (1994). A formal foundation for concurrent object-oriented programming. Dissertation, Fakultät für Informatik, Technische Universität München.
R. Grosu, K. Stolen und M. Broy: A Denotational Model for Mobile Data Flow Networks. Erscheint.
R. Hettler (1994). Zur übersetzung von E/R-Schemata nach SPECTRUM. Technischer Bericht TUM-19409, TU München.
C.A.R. Hoare (1969). An axiomatic approach to computer programming. Comm. ACM 12, 576–580, 583.
H. Hußmann (1995). Formal foundations for SSADM. Technische Universität München, Fakultät für Informatik, Habilitationsschrift.
C.B. Jones (1986). Systematic Program Development Using VDM. Prentice Hall.
D. L. Parnas und J. Madrey (1991). Functional Documentation for Computer Systems Engineering (Version 2). CRL Report 237. McMaster University, Hamilton Ontario, Canada.
W. Reisig (1986). Petrinetze — Eine Einführung. Studienreihe Informatik; 2. überarbeitete Auflage.
Specification and Description Language (SDL), Recommendation Z.100 (1988). Technical report, CCITT.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Broy, M. (1996). Mathematik des Software-Engineering. In: Wegener, I. (eds) Highlights aus der Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61012-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-61012-7_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64656-0
Online ISBN: 978-3-642-61012-7
eBook Packages: Springer Book Archive