Systematic analysis of control panel interfaces using formal tools

Citation:
Campos JC, Harrison M.  2008.  Systematic analysis of control panel interfaces using formal tools. 15th International Workshop on the Design, Verification and Specification of Interactive Systems - DSV-IS. :72-85. copy at www.tinyurl.com/y5plzxaq

Tertiary Title:

Lecture Notes in Computer Science

Date Presented:

July

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.

Citation Key:

CamposH:08a

DOI:

10.1007/978-3-540-70569-7_6

PreviewAttachmentSize
2012-dsvis08-ch.pdf524.54 KB