%0 Conference Paper
%B 15th International Workshop on the Design, Verification and Specification of Interactive Systems - DSV-IS
%D 2008
%T Systematic analysis of control panel interfaces using formal tools
%A José Creissac Campos
%A Michael Harrison
%C Ontario, Canada
%I Springer-Verlag
%P 72-85
%S Lecture Notes in Computer Science
%X <p>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.</p>
%8 July
%> https://haslab.uminho.pt/sites/default/files/jccampos/files/2012-dsvis08-ch.pdf