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

This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to imple

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