Formal Foundations for Software Engineering Methods

Formal Foundations for Software Engineering Methods
Author : Heinrich Hußmann
Publisher : Springer Science & Business Media
Total Pages : 286
Release : 1997-09-23
ISBN 10 : 3540636137
ISBN 13 : 9783540636137
Language : EN, FR, DE, ES & NL

Formal Foundations for Software Engineering Methods Book Description:

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.


RELATED BOOKS:
Formal Foundations for Software Engineering Methods
Language: en
Pages: 286
Authors: Heinrich Hußmann
Categories: Computers
Type: BOOK - Published: 1997-09-23 - Publisher: Springer Science & Business Media

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,
Formal Description Techniques IX
Language: en
Pages: 518
Authors: R. Gotzhein, J. Bredereke
Categories: Technology & Engineering
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
Requirements Targeting Software and Systems Engineering
Language: en
Pages: 357
Authors: Manfred Broy, Bernhard Rumpe
Categories: Computers
Type: BOOK - Published: 2005-06-30 - Publisher: Springer

This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering, RTSE '97, held in Bernried, Germany in October 1997. The 15 revised full papers presented in the book were carefully revised and reviewed for inclusion in the book. Among the authors
Agent-Oriented Software Engineering
Language: en
Pages: 326
Authors: Paolo Ciancarini, Michael Wooldridge
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

One of the most important reasons for the current intensity of interest in agent technology is that the concept of an agent, as an autonomous system capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. Just as we can
Rewriting Techniques and Applications
Language: en
Pages: 346
Authors: Tobias Nipkow
Categories: Computers
Type: BOOK - Published: 2006-06-08 - Publisher: Springer

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees.