From the BlogSubscribe Now

Using Formal Specifications in the Design of a Human-Computer Interface

Access to new resource related to ICT system design added to PM World Library

 Resource provided by
Venkata Srikanth Varma Datla

16th July 2018 – Rome, Italy – Access to a new resource has been added to the PM World Library on the subject of Human-Computer Interaction. The new resource is titled “Using Formal Specifications In The Design Of A Human-Computer Interface”. Resource is a 1983 paper by Robert J.K. Jacob of the Naval Research Laboratory.

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

To access this resource, go to the Industries and Organizations section of the PMWL at, scroll down and click on “Information and Communication Technologies”, scroll down to papers – system planning and design. Must be registered as Free Trial, Professional or Scholar member and logged in to access.

This new resource provided through the PMWL university research internship program; to learn more, click here