Programming with VDM
This text aims to provide a practical programmer's introduction to VDM (Vienna Development Method) - one of the leading methods of formal methods for program development. Adopts an object-oriented approach to software design and includes many examples of target programs written in Modula-2. Alt...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Macmillan Education UK
1992, 1992
|
| Edition: | 1st ed. 1992 |
| Series: | Computer Science Series
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
| Summary: | This text aims to provide a practical programmer's introduction to VDM (Vienna Development Method) - one of the leading methods of formal methods for program development. Adopts an object-oriented approach to software design and includes many examples of target programs written in Modula-2. Although intended for readers with some experience of programming, no prior knowledge of mathematics is assumed: the contents include a chapter on the mathematics required for VDM. The final chapter contains a prototype electronic mail system, specified using VDM, and implemented in Modula-2 |
|---|---|
| Physical Description: | VIII, 122 p online resource |
| ISBN: | 9781349126927 |