Systematic analysis of control panel interfaces using formal tools

Citation:

Campos, J.C., Harrison, M.D. (2008). Systematic Analysis of Control Panel Interfaces Using Formal Tools. In: Graham, T.C.N., Palanque, P. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2008. Lecture Notes in Computer Science, vol 5136. Springer.

DOI: 10.1007/978-3-540-70569-7_6
Abstract

The paper explores the role that formal modeling may play in aiding the visualization and implementation of usability requirements of a control panel. We propose that this form of analysis should become a systematic and routine aspect of the development of such interfaces. We use a notation for describing the interface that is convenient to use by software engineers, and describe a set of tools designed to make the process systematic and exhaustive.

Related Models