The 2nd Pre-Overture Workshop

VDM Workshop 2 - in conjunction with ZB 2000

This workshop was held on the 2nd of September 2000

Invited Speaker: Cliff B Jones
vdmML: using XML to represent VDM on the Web. Some initial thoughts by Brian Matthews
Exploring Timing Properties using VDM on an Industrial Application by Paul Mukherjee, Fabien Bousquet, Jerome Delabre, Stephen Paynter and Peter Gorm Larsen
Towards a Compositional Semantics for Modular VDM Specifications: Contextual Structuring by Theo Dimitrakos, Juan Bicarregui, Brian Matthews and Brian Ritchie
Irish School of the VDM : Mathematical Structures for Formal Methods by Andrew Butterfield
Supporting Co-Use of VDM and B by Translation by Juan Bicarregui, Matthew Bishop, Theo Dimitrakos, Kevin Lano, Tom Maibaum, Brian Matthews and Brian Ritchie