Subject Area: Formal Methods in CIDEC Library.

INTRODUCTION TO FORMAL SPECIFICATION AND Z
2nd ed

Jane SINCLAIR, Open University

David TILL, City University, London.

Series: Prentice-Hall International Series in Computer Science

Publisher : Prentice Hall - London ; New York

Bibliographic :

• Paperback
• ISBN: 0-13-242207-7
• July, 1996, © 1996
• xiv, 434 p. : ill. ; 24 cm.
• Dewey No.: 005.1/2 20

• Computer software -- Development. * Z (Computer program language)
• Software Engineering: Requirements/Specifications

KEY BENEFIT: Introduces developers to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented.

KEY TOPICS: Covers the role of formal specification in software engineering, and presents an informal introduction to logic and set theory. Introduces the Z notation as a mathematical language. Presents Z notation relations, functions, schemas and specifications structure. Presents a completed specification in Z notation, and shows how that specification can be transformed into a working program.

FEATURES:

• Describes the relationship between Z, object-orientation, and other current analysis and design methods.
• Covers many features omitted from the first edition, including theta, free types, schema normalization and schema promotion.
• Includes many case studies and exercises.

AUDIENCE: Software engineers and students of advanced software engineering.