This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Maße
Höhe: 234 mm
Breite: 156 mm
Dicke: 17 mm
Gewicht
ISBN-13
978-0-201-62757-2 (9780201627572)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
1. Introduction 2. A Simple Z Specification 3. Sets and Predicates 4. Relations and Functions 5. Schemas and Specifications 6. Data Design 7. Algorithm Design
