Introduction to Formal Specification with Z and VDM
Published on 1. November 1994
Book
Paperback/Softback
398 pages
978-0-07-707907-9 (ISBN)
Description
Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Illustrations
24ill.
Dimensions
Height: 247 mm
Width: 174 mm
Weight
840 gr
ISBN-13
978-0-07-707907-9 (9780077079079)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Part 1 Contemporary software engineering: the nature of software; the definition phase; development and maintenance phases. Part 2 Formal approaches to software development: specification, verification and correctness. Part 3 Discrete maths for the software engineer: logic; set theory; case study; relations and functions; case study; sequences; bags; case study; recursive specification; strengthening our specifications. Part 4 The specification language Z: essential Z; Z schema and the schema calculus. Part 5 Z case studies: generic stacks and queues; the symbol table; a drinks dispenser machine. Part 6 VDM-SL: essential VDM; the mathematics of VDM; abstract states and operations in VDM. Part 7 VDM-SL case studies: generic stacks and queues; the symbol table; a drinks dispenser machine. Part 8 Epilogue.