By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. It makes a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL. The final chapter contains a number of studies in Z style, showing that Z can be used for a wide variety of specification tasks.
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Editorial Reviews
Review
"The book is very well written and accurate, and the graphics are good." Computing Reviews
"The reader finds a well written book on a special rather technical topic...As such it is valuable for those who seek to understand the language Z in more detail..." Zentralblatt fur Mathematik
"The reader finds a well written book on a special rather technical topic...As such it is valuable for those who seek to understand the language Z in more detail..." Zentralblatt fur Mathematik
Book Description
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
The problems of producing reliable software quickly and economically have been widely discussed in recent years, and initial experience has indicated that the use of mathematical methods of specifying and designing software can contribute towards a solution. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
characteristic tuple, formal generic parameters, schema calculus, schema expressions, signature morphisms, axiom part, global part, applied occurrence, referential transparency, semantic equations, schema bodies, schema body, nested scopes, denotational semantics, schema name, structural induction, formal parameters New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
The problems of producing reliable software quickly and economically have been widely discussed in recent years, and initial experience has indicated that the use of mathematical methods of specifying and designing software can contribute towards a solution. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
characteristic tuple, formal generic parameters, schema calculus, schema expressions, signature morphisms, axiom part, global part, applied occurrence, referential transparency, semantic equations, schema bodies, schema body, nested scopes, denotational semantics, schema name, structural induction, formal parameters New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
Citations (learn more)
This book cites 14
books:
See all 14 books this book cites
- Semantics of Data Types (Lecture Notes in Computer Science) by Kahn in Back Matter (1), and Back Matter (2)
- Mathematical Logic and Programming Languages (Prentice-Hall International Series in Computer Science) by C. A. R. Hoare in Back Matter (1), and Back Matter (2)
- Computer Science by Richard Jones in Back Matter (1), and Back Matter (2)
- Theoretical Foundations of Programming Methodology (NATO Science Series C: (closed)) by M. Broy in Back Matter
- Elements of Set Theory by Herbert B. Enderton in Back Matter
See all 14 books this book cites
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > Science & Math > Mathematics
