3rd BCS-FACS Northern Formal Methods Workshop (NFM)
BCS-FACS Northern Formal Methods Workshop
14-15 September 1998
This paper describes an approach to the use of the formal method VDM in the design and implementation of Microsoft Windows TM interfaces. This approach evolved during the development of Dust-Expert TM, a Windows-based system for providing design advice on the prevention and control of dust explosions, developed for the Health and Safety Executive (HSE) and now being marketed by the Institution of Chemical Engineers (IChemE).