+612 9045 4394
Formal Foundations for Software Engineering Methods : Lecture Notes in Artificial Intelligence - Heinrich Husmann

Formal Foundations for Software Engineering Methods

Lecture Notes in Artificial Intelligence

Paperback Published: 23rd September 1997
ISBN: 9783540636137
Number Of Pages: 293

Share This Book:


or 4 easy payments of $31.24 with Learn more
Ships in 5 to 9 business days

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.

Introductionp. 1
Terminologyp. 13
SSADM - A Pragmatic Requirements Engineering Methodp. 19
SPECTRUM - A Formal Specification Frameworkp. 27
Alternative Ways to an Integration of SSADM and SPECTRUMp. 37
A Semantic Reference Specification for SSADMp. 61
The SSADM Technique "Logical Data Modelling"p. 75
The SSADM Technique "Entity Event Modelling"p. 99
Logical Consistency of SSADM-Fp. 161
Formal Extensions for SSADM-Fp. 185
The SSADM Technique "Data Flow Modelling"p. 207
Summary and Outlookp. 225
App. A: Glossaryp. 233
"Hotel Agency" - An SSADM-F Specificationp. 241
SPECTRUM Translation of the "Hotel Agency" Specificationp. 253
Basic SPECTRUM Specificationsp. 265
Bibliographyp. 271
Subject Indexp. 279
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540636137
ISBN-10: 3540636137
Series: Lecture Notes in Artificial Intelligence
Audience: General
Format: Paperback
Language: English
Number Of Pages: 293
Published: 23rd September 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.63
Weight (kg): 0.43