VDM Workshop 3 in conjunction with FME 2002

This workshop was held on the 20th and 21st of July 2002.

Workshop Programme

• Introduction
• Invited Lecture: On the Design of a Periodic Table of VDM Specifications, José Nuno Oliveira
• Using TOBIAS for the automatic generation of VDM test cases by Olivier Maury, Yves Ledru, Pierre Bontron and Lydie du Bousquet
• VDM++ TesK: Testing VDM++ programs by Alexander A. Koptelov, Victor V. Kuliamin and Alexnader K. Petrenko
• Towards Dynamic Population Management in Model Oriented Specifications by Nazareno M. Aguirre, Juan Bicarregui, Theodosis Dimitrakos and Thomas S.E. Maibaum
• Integrity analysis of digital ATC track database with automatic proofs by Natsuki Terada
• Formal methods in Japan: Current state, problems and challenges by Keijiro Araki and Han-Myung Chang
• Tutorial on VDM++ by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee and Nico Plat
  • VDM++ Tutorial: Overview by John Fitzgerald
  • VDM++ Tutorial: Architecture by Nico Plat
  • VDM++ Tutorial: Demonstration of VDMTools by Peter Gorm Larsen
  • VDM++ Tutorial: Concurrency by Paul Mukherjee
  • VDM++ Tutorial: Model Quality by John Fitzgerald
  • VDM++ Tutorial: Implementing in Java by Paul Mukherjee
  • VDM++ Tutorial: Industrial Experience with VDM++ by Peter Gorm Larsen

Workshop Chairs

• JuanBicarregui, CLRC Rutherford Appleton Laboratory
• JohnFitzgerald, Transitive Technologies
• PeterGormLarsen, Systematic Software Engineering

-- JohnFitzgerald - 23 Oct 2006