A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) by Derek J. Andrews
English | Aug 8, 1997 | ISBN: 3540761624 | 405 Pages | PDF | 29 MB
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement.