Blog
About

160
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

      3rd BCS-FACS Northern Formal Methods Workshop (NFM)

      BCS-FACS Northern Formal Methods Workshop

      14-15 September 1998

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

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

          Related collections

          Author and article information

          Conference
          September 1998
          September 1998
          : 1-22
          Affiliations
          Adelard
          Article
          10.14236/ewic/NFM1998.6
          © 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 (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article