The Computer Journal
The Z notation: a reference manual
The Z notation: a reference manual
Journal of the American Society for Information Science
User interface design
Specification, analysis and refinement of interactive processes
Formal methods in human-computer interaction
Programming from specifications
Programming from specifications
Report on a development project use of an issue-based information system
CSCW '90 Proceedings of the 1990 ACM conference on Computer-supported cooperative work
Introducing the GRASPIN specification language SEGRAS
Journal of Systems and Software - Special issue on GRASPIN software
Using temporal logic to support the specification and prototyping of interactive control systems
International Journal of Man-Machine Studies
A probabilistic logic for the development of safety-critical, interactive systems
International Journal of Man-Machine Studies
Petri net objects for the design, validation and prototyping of user-driven interfaces
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
A task centered approach to analysing human error tolerance requirements
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Human-computer interaction in aerospace
The human-computer interaction handbook
INTERACT'07 Proceedings of the 11th IFIP TC 13 international conference on Human-computer interaction - Volume Part II
Hi-index | 0.00 |
The design of safety-critical user interfaces is typically very different from that of many other applications. Reactor control systems and aircraft cockpits are complex and dynamic, open to input from many different users and devices. A number of formal notations, including Z and temporal logic, have been developed to address these problems. They provide precise and concise means of representing a potential design before designers incur the expense of implementation. Consequently, government bodies and commercial organizations have recommended that these techniques be used when tendering for their contracts. However, there are a number of limitations that restrict the use of mathematical specifications for interface development in large scale projects. In particular, formal notations cannot easily be used to coordinate the activities of human factors and systems engineering teams. This creates particular difficulties if some group members have only a limited understanding of discrete mathematics. A further problem is that the development of a safety-critical application may take many months, or even years, to complete. This creates difficulties because abstract mathematical specifications cannot be used easily by new members of a development team to understand past design decisions. To avoid these limitations I have developed a literate approach to interface specification. This technique uses a formal development language and a semiformal design rationale to support the design of safety-critical user interfaces.