Z : an introduction to formal methods / Antoni Diller.
By: Diller, Antoni.
Material type: BookPublisher: Chichester [England]. New York : J. Wiley, c1990Description: xxi, 309 p. : ill. ; 25 cm. + pbk.ISBN: 047192489X.Subject(s): Z (Computer program language)DDC classification: 005.12Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Store Item | 005.12 (Browse shelf(Opens below)) | 1 | Available | 00155232 | ||
General Lending | MTU Bishopstown Library Lending | 005.12 (Browse shelf(Opens below)) | 1 | Available | 00032909 |
Browsing MTU Bishopstown Library shelves, Shelving location: Store Item Close shelf browser (Hides shelf browser)
005.12 Object-oriented software construction / | 005.12 Real-time software / | 005.12 Designing object-oriented user interfaces / | 005.12 Z : an introduction to formal methods / | 005.12 The craft of software engineering / | 005.12 Specification case studies / | 005.12 Z in practice / |
Enhanced descriptions from Syndetics:
Offers a thorough and comprehensive tutorial introduction to Z, taking as its starting point the practical use of this formal specification language. After briefly explaining what Z is and why it is a good method for specifying software components, covers Z's basic mathematical toolkit, the fundamental ideas of the schema calculus, and the methods of reasoning. Specific case studies illustrate all aspects of Z and the mathematical notations that must be covered. Also discusses how Z specifications can be animated using a high-level modern functional programming language and Prolog. Standard notation is used throughout, and many proofs and fully explained exercises are included. With its helpful appendices and an annotated bibliography that contains many pointers to the ever-increasing literature on Z, this work will serve as a ready reference manual of the most frequently used Z notations
Bibliography: (pages 357-362) and index.
I: Tutorial -- Introduction -- First-order logic -- Set theory -- Internal telephone directory -- More about relations and schemas -- functions -- Sequences -- Bags -- Free types -- II: Methods of Reasoning -- Formal proof -- Rigorous proof -- Immanent reasoning -- Reification and decomposition -- Floyd-Hoare logic -- Getting to program code -- III: Case Studies -- Two small case studies -- Wing's library problem -- Partial specification of a text-editor -- IV: Specification Animation -- Animation using Miranda -- V: Reference Manual -- Methods of Definition -- Formal Definitions -- Rules and Obligations.
Table of contents provided by Syndetics
- Tutorial
- First-Order Logic
- Set Theory
- Internal Telephone Directory
- More About Relations and Schemas
- Functions
- Sequences
- Bags
- Free Types
- Methods of Reasoning
- Formal Proof
- Rigorous Proof
- Immanent Reasoning
- Reification and Decomposition
- Floyd-Hoare Logic
- Getting to Program Code
- Case Studies
- Two Small Case Studies
- Wing's Library Problem
- Partial Specification of a Text-Editor
- Specification Animation
- Animation Using Miranda
- Reference Manual
- Methods of Definition
- Formal Definitions
- Rules and Obligations
- Appendices
- Bibliography
- Index