An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
By: Potter, Ben
.
Contributor(s): Sinclair, Jane | Till, David.
Material type: 
BookSeries: Prentice-Hall international series in computer science.Publisher: New York : Prentice Hall, 1991Description: xiii, 304 p. : ill. ; 24 cm. + pbk.ISBN: 0134787021.Subject(s): Computer software -- Development | Z (Computer program language)DDC classification: 005.133 POT | Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Store | 005.133 POT (Browse shelf(Opens below)) | 1 | Available | ||
| General lending | MTU Bishopstown Library Store | 005.133 POT (Browse shelf(Opens below)) | 1 | Available | 00020375 |
Browsing MTU Bishopstown Library shelves, Shelving location: Store Close shelf browser (Hides shelf browser)
|
No cover image available |
|
|
|
|
|
||
| 005.133 PAR Object-oriented programming with C++ / | 005.133 PER Beginning COBOL : an interactive and structured approach / | 005.133 POT An introduction to formal specification and Z / | 005.133 POT An introduction to formal specification and Z / | 005.133 PRI A Prolog primer / | 005.133 PRI Introduction to Ada / | 005.133 PUR C programming guide / |
Includes bibliographical references and index.
Formal specification in the context of software engineering -- An informal introduction to logic and set theory -- A first specification -- The z notation:the mathematical language -- The z notation:relations and functions -- The z notation:schemes and specification structures -- A first specification revisited -- Formal reasoning -- From specification to program:data and operation refinement --From specification to program:operartion decomposition -- From theory to practice.
Table of contents provided by Syndetics
- Introduction
- Formal Specification within Software Engineering
- An informal introduction to Logic and Set Theory
- The Z Notation: Mathematical Language
- The Z Notation: Relations and Functions
- The Z Notation:Schemas and Specification Structure
- A First Specification.Formal Reasoning
- From Specification to Program
- From Theory to Practice
- Appendices
- Bibliography
- Index