Z.
A Beginner's Guide
Published in July 1994
Book
Paperback/Softback
208 pages
978-0-412-55660-9 (ISBN)
Description
Aimed primarily at first year students studying for degrees and HNDs in computing, second year students and others interested in more advanced aspects of the subject, this book aims to provide a thorough introduction to the specification language Z. The emphasis is on the practical application of this language to the modelling, specification and implementation of systems. Various case studies are explored and their specifications explained. The book aims to be "student-friendly", with many examples and a full set of exercises and answers for each chapter.
Aimed primarily at first year students studying for degrees and HNDs in computing, second year students and others interested in more advanced aspects of the subject, this book aims to provide a thorough introduction to the specification language Z. The emphasis is on the practical application of this language to the modelling, specification and implementation of systems. Various case studies are explored and their specifications explained. The book aims to be "student-friendly", with many examples and a full set of exercises and answers for each chapter.
Aimed primarily at first year students studying for degrees and HNDs in computing, second year students and others interested in more advanced aspects of the subject, this book aims to provide a thorough introduction to the specification language Z. The emphasis is on the practical application of this language to the modelling, specification and implementation of systems. Various case studies are explored and their specifications explained. The book aims to be "student-friendly", with many examples and a full set of exercises and answers for each chapter.
More details
Series
Language
English
Place of publication
London
United Kingdom
Target group
College/higher education
Dimensions
Height: 246 mm
Width: 189 mm
ISBN-13
978-0-412-55660-9 (9780412556609)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Part 1 Sets: Set Notation, Cardinality and Membership. Sets With Changing Membership. Visualising Sets - Venn diagrams. Union, Intersection, and Set Difference. Predicate Definition of a Set. Sets Used To Describe Types. Pattern Definition of a Set. Combining Predicate and Pattern Definitions. Exercises. Answers. Part 2 Propositions and Further Sets: Propositions. Combining Propositions. Truth Tables. Priorities of Logical Connectives. Set Equality and Subsets. Power Set. Cartesian Product. Types Extended. Two More Local Connectives - Implication and Equivalence. Some Useful Laws. Rearranging Propositions. Exercises. Answers. Part 3 SCHEMAS: Formal Specifications. The Tape Collection. Types. Axiomatic Descriptions. Schemas. The Hotel Room Problem. Exercises. Answers. Part 4 Predicates: Predicates. For All Members Of A Set - Universal Quantification. There Exists - Existential Quantification. There Exists Exacty One. Propositions and Predicates in Use. Exercises. Answers. Part 5 Relations: Relations. Relations and the Cartesian Product. More Complex Relations. The Domain and Range of Relations. Domain Restriction. Domain Anti-restriction (Subtraction). Range Restriction. Range Anti-restriction. Relational Composition. Inverse of a Relation. Exercises. Answers. Part 6 Functions: Functions. Partial and Total Functions. Injective Functions. Surjective Functions. Bijective Functions. Function Inverse. Function Overwrite. Functions in Schemas. Exercises. Answers. Part 7 Sequences: Sequence Basics. Functions on Sequences. QUEUE Case Study. Exercises. Answers. Part 8 Specifying Functions: Format. Types of Specifications. Generic Functions. Example Function Specifications. Exercises. Answers. Part 9 Modelling: Models. Paper Model. Z Model. Exercises. Answers. Part 10 Case Study: The Case. State Specification. Operations. Exercises. Answers. Part 11 Schema Operators: Inclusion. Disjunction. Conjunction. Decoration Delta. xi E. Renaming. Hiding. Exercises. Answers. Part 12 Pre-condition analysis: Need for Pre-condition Analysis. Informally Determining the Pre-conditions of a Schema. Formally Determining the Pre-conditions of a Schema. Exercises. Answers. Part 13 Implementation: Stages of Implementation. Implementing Types. Refinement. Using Abstract Data Types. Exercises. Answers. Part 14 Epilogue: Multichoice Multichoice. Answers.