The formal development of a Windows interface

Abstract

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).

Conference

Publication date: September 1998

Publication date (Print): September 1998

Pages: 1-22

Affiliations

Adelard

Article

DOI: 10.14236/ewic/NFM1998.6

Copyright statement: © Tim Clement. Published by BCS Learning and Development Ltd. 3rd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 3rd BCS-FACS Northern Formal Methods Workshop

Conference acronym: NFM

Conference number: 3

Conference location: Ilkley, UK

Conference date: 14-15 September 1998

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: BCS-FACS Northern Formal Methods Workshop

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/NFM1998.6

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing