A theory and practice of program development /

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 forma...

Full description

Bibliographic Details

Main Author:	Andrews, D. (Derek)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [1997]
Series:	Formal approaches to computing and information technology.
Subjects:	Computer software > Development. Computer programming. Programmatuurtechniek. VDM. Spezifikationssprache. Softwareentwicklung. Formale Spezifikationstechnik. Electronic books.
Online Access:	Connect to the full text of this electronic book