Introducing Specification Using Z
A Practical Case Study Approach
Published on 1. March 1994
Book
Paperback/Softback
320 pages
978-0-07-707965-9 (ISBN)
Description
Offering an introduction to formal specification using the "Z" notation, this practical text makes use of a series of case studies, of varying complexity, to illustrate the construction of good specifications in "Z". These case studies serve to describe the most frequently used features of "Z", the relevant discrete mathematics and the various techniques used. The text also includes an introduction to specification validation, theorem proving and refinement. The importance of formal methods within software engineering is stressed throughout and there are a large number of exercises with solutions.
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Illustrations
23ill.
Dimensions
Height: 246 mm
Width: 189 mm
Weight
620 gr
ISBN-13
978-0-07-707965-9 (9780077079659)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Software engineering - why formal methods?; aspects of specification; the digital watch; predicate logic; the van hire system (part 1); the van hire system (part 2); supporting system description; the online monitor; after specification - what else?