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.