Formal Foundations for Software Engineering Methods

Formal Foundations for Software Engineering Methods

4.11 - 1251 ratings - Source

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.... refinement, using technical steps like definition of abstraction function, and the procedural guidelines are high- level explanations ... In the pragmatic method SSADM, a piece of notation is a dataflow diagram, a typical technique ... point during a requirements analysis, a current physical data flow diagram must be logicalized into a current logical data flow diagram. ... pragmatic techniques will take place mainly on the level of notations and techniques, and less on the procedural level.

Title:Formal Foundations for Software Engineering Methods
Author: Heinrich Hußmann
Publisher:Springer Science & Business Media - 1997-09-23

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA