![Programming with VDM [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
Programming with VDM [electronic resource] /
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.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
London : Macmillan Education UK : Imprint: Palgrave,
1992
|
| Subjects: | Computer science., Software engineering., Computer Science., Software Engineering/Programming and Operating Systems., |
| Online Access: | http://dx.doi.org/10.1007/978-1-349-12692-7 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|