Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
| Hi-index | 0.00 |
From the Publisher:A Theory and Practice of Program Development provides a comprehensive introduction to a formal software development method based on the specification language VDM-SL. The method starts with an abstract formal specification of a software system and uses a series of development steps that preserve correctness to produce an executable program. The development steps involve strategies and transformations to change an abstract specification into executable code - the method is both justified and explained mathematically. A Theory and Practice of Program Development is specifically designed for use by 3rd/4th year undergraduate and postgraduate students taking courses in formal methods as part of a computer science or a software engineering degree. It is also relevant to software developers involved in the production of provably correct computer systems who need an understanding of the theory of and practice of formal methods. A package of teaching material in LaTeX source is available from the author.