The formal development of a Windows interface

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

Content

Author and article information

Conference

Publication date: September 1998

Publication date (Print): September 1998

Pages: 1-22

Affiliations

[0001]Adelard

Article

DOI: 10.14236/ewic/NFM1998.6

SO-VID: ddf4d22c-767c-4239-bd39-eb02e16ea782

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

History

Product

1477-9358 BCS 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/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

The formal development of a Windows interface

Abstract