A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is ri

The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team wh

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specification

The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so f