Browse by author
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.
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
URL: http://dx.doi.org/10.1007/978-3-540-70569-7_6
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
