19
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: not found

      Using formal specifications in the design of a human-computer interface

      1
      Communications of the ACM
      Association for Computing Machinery (ACM)

      Read this article at

      ScienceOpenPublisher
      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

          Formal specification techniques are valuable in software development because they permit a designer to describe the external behavior of a system precisely without specifying its internal implementation. Although formal specifications have been applied to many areas of software systems, they have not been widely used for specifying user interfaces. In the Military Message System project at the Naval Research Laboratory, the user interfaces as well as the other components of a family of message systems are specified formally, and prototypes are then implemented from the specifications. This paper illustrates the specification of the user interface module for the family of message systems. It then surveys specification techniques that can be applied to human-computer interfaces and divides the techniques into two categories: those based on state transition diagrams and those based on BNF. Examples of both types of specifications are given. Specification notations based on state transition diagrams are preferable to those based on BNF because the former capture the surface structure of the user interface more perspicuously. In either notation, a high-level abstraction for describing the semantics of the user interface is needed, and an application-specific one is used here.

          Related collections

          Most cited references13

          • Record: found
          • Abstract: not found
          • Article: not found

          Design of a separable transition-diagram compiler

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Transition network grammars for natural language analysis

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Formal Grammar and Human Factors Design of an Interactive Graphics System

              P Reisner (1981)
                Bookmark

                Author and article information

                Journal
                Communications of the ACM
                Commun. ACM
                Association for Computing Machinery (ACM)
                0001-0782
                1557-7317
                April 1983
                April 1983
                : 26
                : 4
                : 259-264
                Affiliations
                [1 ]Naval Research Lab, Washington, DC
                Article
                10.1145/2163.358093
                7c0f43fa-37dc-48ec-b8bd-b7ba9f2586e0
                © 1983
                History

                Molecular medicine,Neurosciences
                Molecular medicine, Neurosciences

                Comments

                Comment on this article