Software development with Z : a practical approach to formal methods in software engineering
Author(s)
Bibliographic Information
Software development with Z : a practical approach to formal methods in software engineering
(International computer science series)
Addison-Wesley Pub. Co., 1992
Available at / 14 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 321-324) and index
Description and Table of Contents
Description
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.
Table of Contents
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
by "Nielsen BookData"