Abstract
In this paper we report on a research project in which the user interface for a research nuclear reactor was specified using a combination of formal notations. The goal of the project was to evaluate the use of a combination of techniques and to assess their utility in specifying a user interface for a non-trivial safety-critical application. We conclude that the techniques worked well and scale up easily to the size of the application studied.
Cite
CITATION STYLE
Knight, J. C., & Brilliant, S. S. (1997). Preliminary evaluation of a formal approach to user interface specification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1212, pp. 329–346). Springer Verlag. https://doi.org/10.1007/bfb0027296
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
