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.

Bibliographic Information

Book Title: Formal Foundations for Software Engineering Methods
Editors: Heinrich Hußmann
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-63613-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-63613-7Published: 23 September 1997
eBook ISBN: 978-3-540-69610-0Published: 15 September 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 293
Topics: Software Engineering/Programming and Operating Systems, Software Engineering

Publish with us

Policies and ethics

Formal Foundations for Software Engineering Methods

Overview

Access this book

Other ways to access

Table of contents (12 chapters)

Front Matter

Back Matter

Keywords

About this book

Bibliographic Information

Publish with us

Search

Navigation