The Way of Z: Practical Programming with Formal Methods

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