U.Minho VDM++ Crash Course - 1999/2000
[ DI/UM ]

Lecturer

Dr. P.G. Larsen (IFAD )

Course Schedule

1.
Introduction and Overview of VDMTOOLS®

2.
Alarm Example

3.
Object-Oriented Modelling in VDM++

4.
Types, functions and expressions

5.
Statements

6.
Further Examples

7.
Test Environment

8.
Advanced functions

9.
VDM to C++ Code Generator

10.
Conclusions

Bibliography

FL98
J. Fitzgerald and P.G. Larsen.
Modelling Systems: Practical Tools and Techniques in Software Development .
Cambridge University Press, 1st edition, 1998.

Jon86
C. B. Jones.
Systematic Software Development Using VDM .
Series in Computer Science. Prentice-Hall International, 1986.
C. A. R. Hoare.

Da-
John Dawes.
The VDM-SL Reference Guide.

AD-
Derek Andrews, Darrel Ince.
Practical Formal Methods with VDM.

L*-
John Lathan, Vicky Bush, Ian Cottam.
The Programming Process.

Ca-
Chris Casey.
A Programming Approach to Formal Methods.

B*-
Bicarregui, Fitzgerald, Lindsay, Moore, Ritchie.
Proof in VDM: A Practitioner's Guide.


Return to EDFS 's main page.
Outras disciplinas leccionadas pelo DIUM

12/23/1999
Jose Nuno Oliveira