The 1st Pre-Overture Workshop
VDM Workshop 1: VDM in Practice!
This workshop was held on the 21st and 22nd of September 1999.
- VDM Modules by Yves Ledru,
Marie-Laure Potet & Rémy Sanlaville
- Invariants as Design Templates in Object-based
Systems by S. J. Goldsack & K.
- The VDM B Project: Objectives and
Progress by J. C. Bicarregui, Th.
Dimitrakos, K. Lano, T. Maibaum, B.M Matthews and B. Ritchie
- Design and Application of a Test Cases Generator for
VDM-SL by G. Droschl
- Automated Black-box testing with Abstract VDM
Oracles by B. K. Aichernig
- Education & Training in VDM, Panel session including presentations
by V. S. Alagar, Concordia University, Montreal, Canada, Janusz
Laski, Oakland University, Michigan, USA, and Ludwik Kuzniarz,
Technical University of Wroclaw, Poland.
Day 2: VDM at Work - industrial applications
- VDM in Finance and Banking:
- VDM in Information Systems:
- VDM in Space: