Description
For software developers who have studied Z in academic or industrial courses or are familiar with the mathematics of some other model-oriented formal specification language, explains how to apply the concepts and notation to actual projects. Presents five extended case studies, discussing the models chosen, alternatives, and the underlying thought processes. Includes a glossary without pronunciation. Annotation copyright Book News, Inc. Portland, Or.
Read More
This is the first book aimed at people who already understand the basics of the Z notation and now wish to become users of it. Written in a clear manner, this practical book demonstrates how Z should be used to solve real problems.Key features: includes five large case studies and many smaller examples of using Z, each illustrating different features of the language; each specification includes detailed discussions of the models chosen, alternative approaches, and leads the reader through the thought processes of the specifier and contains a comprehensive glossary with links into examples in the main text that illustrate the definitions in use.Z in Practice is aimed at the practitioner wanting to find out about current practice of formal methods, and provides an excellent short guide for non-technical project managers and team leaders.
Read Less