Abstract
Research into methods for the systematic construction of well-structured and adequate software currently comprises two mainly independent fields. Both fields are separate worlds using their own notion and having their own tradition. We will call these separate worlds the formal and the pragmatic world.
This work was partially sponsored by the BMFT through the compound project “KORSO”.
New address valid after June 1994.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bittner, U., W. Hesse, J. Schnath, Untersuchungen zum Methodeneinsatz in Software-Entwicklungsprojekten (in German). Softwaretechnik-Trends 12 (1992) 48–60.
Broy, M., C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, O. Slotosch, K. StOIen, The requirement and design specification language SPECTRUM, An informal introduction. Reports TUM I9311+I9312, Technische Universität München, Munich 1993.
Chen, P., The entity-relationship model–Toward a unified view of data. ACM Trans. on Database Systems 1 (1976) 9–36.
Downs, E., P. Clare, I. Coe, Structured systems analysis and design method (2nd ed). Prentice-Hall 1992.
DeMarco, T., Structured analysis and systems specification. Prentice-Hall 1979.
Hussmann, H.: Synergy between formal and pragmatic software engineering methods. Technical Report TUM-I9323, Technische Universität München, 1993.
Hussmann, H.: Formal foundations for SSADM. Habilitation Thesis, Technische Universität München, To appear 1994.
Naur, P. Formalization in program development. BIT 22 (1982), 437–451.
Polack, F., M. Whiston, K. Mander, The SAZ project: Integrating SSADM and Z. In: F. C. P. Woodcock, P. G. Larsen (eds), FME’ 93, Lecture Notes in Computer Science Vol. 670, Springer 1993, pp. 541–557.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hussmann, H. (1994). Formal Foundations for Pragmatic Software Engineering Methods. In: Wolfinger, B. (eds) Innovationen bei Rechen- und Kommunikationssystemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-51136-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-51136-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58313-4
Online ISBN: 978-3-642-51136-3
eBook Packages: Springer Book Archive