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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering 8, 275–310 (2001)
Campos, J.C., Harrison, M.D.: Considering context and users in interactive systems analysis. In: van de Veer, G., Palanque, P., Wesson, J. (eds.) Engineering Interactive Systems (accepted for publication, 2007)
Cimatti, A., Roveri, M., Olivetti, E., Keighren, G., Pistore, M., Roveri, M., Semprini, S., Tchaltsev, A.: NuSMV 2.3 user manual. Technical report, ITC-IRST, Trento, Italy (2007)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
Degani, A.: Taming HAL: designing interfaces beyond 2001. Macmillan, Palgrave (2003)
Duke, D.J., Harrison, M.D.: Abstract interaction objects. Computer Graphics Forum 12(3), 25–36 (1993)
Fowler, M.: UML Distilled: a brief guide to the standard object modelling language, 3rd edn. Addison-Wesley, Reading (2004)
Gow, J., Thimbleby, H., Cairns, P.: Automatic critiques of interface modes. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol. 3941, pp. 201–212. Springer, Heidelberg (2006)
Gow, J., Thimbleby, H.W.: MAUI: An interface design tool based on matrix algebra. In: Jacob, R.J.K., Limbourg, Q., Vanderdonckt, J. (eds.) Computer Aided Design of User Interfaces IV, CADUI 2004, pp. 81–94 (2004)
Harrison, M.D., Kray, C., Campos, J.C.: Exploring an option space to engineer a ubiquitous computing system. Electr. Notes in Theoretical Computer Science 208C, 41–55 (2008)
Heymann, M., Degani, A.: Formal analysis and automatic generation of user interfaces: Approach, methodology, and an algorithm. Human Factors: The Journal of the Human Factors and Ergonomics Society 49(2), 311–330 (2007)
Loer, K., Harrison, M.D.: An integrated framework for the analysis of dependable interactive systems (IFADIS): its tool support and evaluation. Automated Software Engineering 13(4), 469–496 (2006)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual (UML). Addison-Wesley, Reading (1999)
Thimbleby, H.W.: Press on: principles of interaction programming. MIT Press, Cambridge (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70569-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-70569-7_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70568-0
Online ISBN: 978-3-540-70569-7
eBook Packages: Computer ScienceComputer Science (R0)