This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedure

Understand the big picture of the software development process. We use software every day – operating systems, applications, document editing programs, home b

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.

This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and it