Toggle Main Menu Toggle Search

Open Access padlockePrints

Systematic analysis of control panel interfaces using formal tools

Lookup NU author(s): Professor Michael HarrisonORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.

Publication metadata

Author(s): Campos JC, Harrison MD

Editor(s): Graham, T.C.N., Palanque, P.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Interactive Systems: Design, Specification and Verification. 15th International Workshop (DS-VIS)

Year of Conference: 2008

Pages: 72-85

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer


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

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540705680