Formal Methods Fact File
VDM and Z
Andrew Harry(Author)
Wiley (Publisher)
Published on 26. September 1996
Book
Hardback
402 pages
978-0-471-94006-7 (ISBN)
Description
This introductory text demonstrates how formal methods allow the more accurate specification and design of software systems. The book explains what formal methods are; why we need them; what should motivate our choice of methods; and how to use them effectively. Its overview of the different styles of formal notation is used as a framework for a more detailed discussion of VDM and Z, based on the latest draft standards of these languages. Exercises (and their solutions) and an extensive glossary are also included as teaching aids.
More details
Series
Language
English
Place of publication
Chichester
United Kingdom
Publishing group
John Wiley and Sons Ltd
Target group
College/higher education
Professional and scholarly
Illustrations
glossary
Dimensions
Height: 242 mm
Width: 195 mm
Weight
980 gr
ISBN-13
978-0-471-94006-7 (9780471940067)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
PART I - Why Do We Need Formal Methods?: Why Formal Methods Were Developed; Natural Language Specifications; Formal Vs Informal Programming; PART II - Background Material: Elementary Set Theory; Types; Formal Logic; PART III - Formal Specification Styles: Model Orientated Specifications; PART IV - Introduction To Model Based Languages: PART V - VDM: User Defined Identifiers; PART VI - The Z Notation: The Interchange Language; User Defined Identifiers; Datatypes; Basic Types; Compound Types; SCHEMAS; PART VII - Formal Semantics: Operational Semantics; Denotational Semantics; Axiomatic Semantics; PART VIII - Tool Support: Editors; Proof Analyzers; Executable Subsets; PART IX - The Future Of Formal Methods.