245
views
0
recommends
+1 Recommend
1 collections
    7
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      The formal development of a Windows interface

      proceedings-article
      3rd BCS-FACS Northern Formal Methods Workshop (NFM)
      BCS-FACS Northern Formal Methods Workshop
      14-15 September 1998
      Bookmark

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

            Content

            Author and article information

            Conference
            September 1998
            September 1998
            : 1-22
            Affiliations
            [0001]Adelard
            Article
            10.14236/ewic/NFM1998.6
            ddf4d22c-767c-4239-bd39-eb02e16ea782
            © Tim Clement. Published by BCS Learning and Development Ltd. 3rd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

            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/

            3rd BCS-FACS Northern Formal Methods Workshop
            NFM
            3
            Ilkley, UK
            14-15 September 1998
            Electronic Workshops in Computing (eWiC)
            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
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article