Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    The Formal Development of a Windows Interface

    3rd BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 14th - 15th September 1998


    T. Clement


    This paper describes an approach to the use of the formal method VDM in the design and implementation of Microsoft WindowsTM interfaces.

    This approach evolved during the development of Dust-ExpertTM, 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).

    The approach we have adopted is deliberately conservative: we have aimed to see how we can take guidance in the design of the system from the standard Vienna Development Method rather than inventing new language constructs or new proof obligations.

    One advantage of this is that we can continue to use the tools that are available for supporting the standard language.


    PDF filePDF Version of this Paper (278kb)