derrierloisirs.fr
» » The Way of Z: Practical Programming with Formal Methods

Download The Way of Z: Practical Programming with Formal Methods ePub

by Jonathan Jacky

Download The Way of Z: Practical Programming with Formal Methods ePub
  • ISBN 0521550416
  • ISBN13 978-0521550413
  • Language English
  • Author Jonathan Jacky
  • Publisher Cambridge University Press (November 28, 1996)
  • Pages 367
  • Formats mbr mobi lrf azw
  • Category Technology
  • Subcategory Programming
  • Size ePub 1361 kb
  • Size Fb2 1975 kb
  • Rating: 4.1
  • Votes: 159

This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

Jacky does a great job of showing the reader why Z might be useful, gently introducing the concepts, and showing . I cannot say that I have come accross a book even approaching The Way of Z in both clarity and completeness.

Jacky does a great job of showing the reader why Z might be useful, gently introducing the concepts, and showing how they can be translated into real code. While this book is not a comprehensive Z reference, it is certainly a wonderful introduction that will give the reader most of the tools they might need (and a great background for learning any of Z's more obscure corners). 2 people found this helpful. Dr. Jacky has left nothing out of this text and it reads extremely smoothly (without the sacrifice of complexity).

It motivates the use of formal methods and discusses practical issues concerning how to apply them in real .

It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects.

It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects

It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming.

Details (if other): Cancel. Thanks for telling us about the problem. The Way of Z: Practical Programming with Formal Methods.

Pedersen, Leif and Reza, Hassan 2006. Yu, Jun and Hu, Zhi-yi 2008. Using Formal Methods to Design a Class Scheduling System. Liu, Caixia and Zhang, Yingqi 2010. Observer-Based H8 Control of Fuzzy Systems with Quantized Feedback.

Formal methods are useful when problems are novel or difficult, or systems must meet requirements for safety . The way of Z : Practical programming with formal methods, Jonathan Jacky.

Formal methods are useful when problems are novel or difficult, or systems must meet requirements for safety, security, accuracy or other critical properties. This book is a self-contained tutorial on Z and formal methods for experienced professionals and serious students in programming, software engineering and computer science. p. cm. ISBN 0-521-55041-6 (hb. - ISBN 0-521-55976-6 (pb.

The Way of Z: Practical Programming with Formal Methods Jonathan Jacky, Cambridge University Press, 1997 ISBN 0-521-55976-6 (pbk . Some lecture notes based on the book

Some lecture notes based on the book: Lecture notes.

This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering.

Description: By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods (FM) via Z, case studies, tutorial, glossary.

The Way of Z: Practical Programming with Formal Methods, Jonathan Jacky. An announcement of the availability of this and other formal methods WWW pages was made at the meeting. Cambridge University Press, 1997. It was noted that the availability of coffee can be checked at Cambridge↑. ZUM'92) have been published by Springer-Verlag in their Workshops in Computing series since the 1989 meeting.

Talk about The Way of Z: Practical Programming with Formal Methods


Lightbinder
For some reason, there are about a million books on the market describing the Z specification notation. It isn't that widely used or popular a notation (although it should be); it just seems to generate books.

Among all of the Z books, this one stands out as unique. Written by a professional in radiology who is not primarily a mathematician or software engineer, The Way of Z (prounounced as the British "zed", hence the title pun) describes how to write formal specifications in Z for a reader that may not know any significant amount of formal logic or advanced mathematics. This is a huge challenge, and Jacky meets it admirably. I have taught a dozen college classes using this text, usually to industry software engineers with rusty math skills. This book really does help them "get it". It is especially good at communicating why formal specifications are so important, and how to construct them in such a way that they are useful without extraordinary effort.

If you're interested in formal specifications, and especially if you're interested in Z, start here.
Qumen
Book description was correct and it arrived on time as promised.
GEL
The thing I found most helpful about this book is that the author presents Z in comparison to things that we are already (probably) familiar with: data flow diagrams, state charts, etc. He shows the difference between Z and these things, and walks you through a comparison of one system using all 4 different methods.
Nagor
Probably the most readable introduction to the Z formal method that I have seen. Jacky does a great job of showing the reader why Z might be useful, gently introducing the concepts, and showing how they can be translated into real code. While this book is not a comprehensive Z reference, it is certainly a wonderful introduction that will give the reader most of the tools they might need (and a great background for learning any of Z's more obscure corners).
Cointrius
There are many good books on how to construct, verify, and establish actual program code using Z. I have read bits and pieces of many in an attempt to gain a general understanding of the whole development process and a breadth of approaches taken to it. I cannot say that I have come accross a book even approaching The Way of Z in both clarity and completeness. Dr. Jacky has left nothing out of this text and it reads extremely smoothly (without the sacrifice of complexity). I recommend it to any Formal Methods student, programmer and anyone interested in the formal specification, verification, and implementation process.
Goll
This book is the first book I've read on Z or formal methods. It's very easy to read and understand, and replete with Z examples. I recommend it to anyone who's interested in learning Z.