ERIC Number: EJ541521
Record Type: Journal
Publication Date: 1996
Reference Count: N/A
Literate Specification: Using Design Rationale To Support Formal Methods in the Development of Human-Machine Interfaces.
Johnson, Christopher W.
Human-Computer Interaction, v11 n4 p291-320 1996
The development of safety-critical systems (aircraft cockpits and reactor control rooms) is qualitatively different from that of other interactive systems. These differences impose burdens on design teams that must ensure the development of human-machine interfaces. Analyzes strengths and weaknesses of formal methods for the design of user interfaces and describes and assesses a literate approach. (PEN)
Publication Type: Reports - Descriptive; Journal Articles
Education Level: N/A
Authoring Institution: N/A