Formal Foundations for Software Engineering Methods

✍ Scribed by Heinrich Hußmann (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1997
• Tongue: English
• Leaves: 288
• Series: Lecture Notes in Computer Science 1322
• Edition: 1
• Category: Library

✦ Synopsis

In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.

✦ Table of Contents

Introduction....Pages 1-12
Terminology....Pages 13-17
SSADM — a pragmatic requirements engineering method....Pages 19-26
Spectrum — a formal specification framework....Pages 27-36
Alternative ways to an integration of SSADM and spectrum ....Pages 37-60
A semantic reference specification for SSADM....Pages 61-74
The SSADM technique “logical data modelling”....Pages 75-97
The SSADM technique “entity-event modelling”....Pages 99-160
Logical consistency of SSADM-F....Pages 161-183
Formal extensions for SSADM-F....Pages 185-206
The SSADM technique “data flow modelling”....Pages 207-223
Summary and outlook....Pages 225-232

✦ Subjects

Software Engineering