A theory and practice of program development /
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 cor...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London : New York :
Springer,
c1997.
|
| Series: | Formal approaches to computing and information technology.
|
| Subjects: |
| Summary: | 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. |
|---|---|
| Physical Description: | xvii, 405 p. : ill. ; 24 cm. |
| Bibliography: | Includes bibliographical references (p. [401]-402) and index. |
| ISBN: | 3540761624 |