VDM Workshop 2 - in conjunction with ZB 2000

This workshop was held on the 2nd of September 2000

Workshop Programme

• 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

Workshop Chairs

• JuanBicarregui, CLRC Rutherford Appleton Laboratory
• JohnFitzgerald, Centre for Software Reliability

-- PeterGormLarsen - 12 Aug 2007