The 1st Pre-Overture Workshop

VDM Workshop 1: VDM in Practice!

This workshop was held on the 21st and 22nd of September 1999.

Day 1: Methods, Training and Tools

• VDM Modules by Yves Ledru, Marie-Laure Potet & Rémy Sanlaville
• Invariants as Design Templates in Object-based Systems by S. J. Goldsack & K. Lano
• 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:
  • Applications of VDM in Banknote Processing by P. Smith and P. G. Larsen
  • A formalization of a Home Banking Protocol using VDM by S. Zwölfer and B. Fröhlich
  • Formal Specification of an Auctioning System using VDM and UML by M. Verhoef and M. van den Berg
• VDM in Information Systems:
  • Formal Specification and Development of a Mission-critical Data Handling Subsystem by M. van den Berg, M. Verhoef and M. Wigmans
  • Converting Informal Meta-data to VDM-SL: a Reverse Calculation Approach by F.L. Neves, J.C. Silva and J.N. Oliveira
  • Database Development of a Work-Flow Planning and Tracking System using VDM-SL by R. Schlatte and B. K. Aichernig
• VDM in Space:
  • Application of VDM-SL to the development of the SPOT4 Programming Messages Generator by A. Puccetti and J. Y. Tixadou
  • Analyzing SAFER using UML and VDM by S. Agerholm and W. Shafer

Workshop Chairs

• JohnFitzgerald, Centre for Software Reliability, Newcastle University
• PeterGormLarsen, IFAD