Abstract
It is widely recognised that design quality is influenced by the perspective adopted by developers. In the case of formal methods such perspectives are frequently offered by identifying and/or developing appropriate models, from which requirements and systems can be expressed and even verified. In addition, to this there is a growing recognition that selecting and employing a model is an activity which is less dependent upon formal adequacy and more dependent upon ease of use. In this paper we examine and assess factors relevant to design quality that are apparent in comparing two alternative modelling approaches. The specific case study used is that of a system for visualising and manipulating a logical tree.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. Austin and G I Parkin. Formal methods: a survey. Technical report, 1993. National Physical Laboratory, UK.
Jonathan P. Bowen and M. Hinchey. Ten commandments of formal methods. IEEE Computer, April 1995.
C. Britton, S. Jones, and W. Lam. Separating the system interface from its internal state: an alternate structure for Z specifications. In Siddiqi [15], pages 87 — 102. ISBN 0 86339 7948.
B. Cohen. A rejustification of the need for formal notations. IEEE Software Engineering Journal, 1989.
D. Craigen, S. Gerhart, and T. Ralston. An international survey of industrial application of formal methods. Technical report, 1993. NISTGCR 93 626.
A. M. Dearden and M. D. Harrison. Abstract models for HCI. The International Journal of Human-Computer Studies, (46): 151–177, 1997.
A. J. Dix. Formal Methods for Interactive Systems. Academic Press, 1991.
D. Duke, G. Faconti, M. Harrison, and Paterno F. Unifying views of interactors. In Advanced Visual Interfaces ’84, pages 143–152. ACM Press, 1994.
D. J. Duke and M. D. Harrison. Mapping user requirements to implementations. Software Engineering Jounal, 10 (1): 13–20, 1995.
P. Kotze. A generic modeling framework for interactive authoring support environments. In Siddiqi [15], pages 14 — 31. ISBN 0 86339 7948.
N. G. Leveson. Intent specification: An approach to building human-centered specification. In ICRE’98, pages 204–213. 1998.
P. Markopoulos. Comparing non deterministic models of tasks and devices. In Siddiqi [15], pages 70 — 85. ISBN 0 86339 7948.
A. F. Monk, M. B. Curry, and P. C. Wright. Why industry doesn’t use the wonderful notations we researchers have given them to reason about their design. In D. J. Gilmore, R.L. Winder, and F. Detienne, editors, User-centred requirements for software engineering, pages 185–188. Springer-Verlag, 1994.
C. R. Roast and J. I. Siddiqi. Using the template model to analyse directory visualisation. Interacting with Computers, 9 (2): 155–172, 1997.
J. I. Siddiqi, editor. BCS-FRCS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 1998. SHU Press, 1998. ISBN 0 86339 7948.
J. I. Siddiqi and C. R. Roast. Formally assessing visual and textual notations for supporting program modification. Technical report, Sheffield Hallam University, 1998.
B. Sufrin and J. He. Specification, refinement and analysis of interactive processes. In M. D. Harrison and H. W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 153–200. Cambridge University Press, 1990.
H. W. Thimbleby. Delaying commitment. Technical Report YCS 90, University of York, Computer Science Dept., 1987.
J.M. Wing. A specifier’s introduction to formal methods. IEEE Computer, pages 8–22, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag/Wien
About this paper
Cite this paper
Roast, C., Siddiqi, J. (1999). Contrasting Models for Visualisation (Seeing the wood through the trees). In: Duke, D., Puerta, A. (eds) Design, Specification and Verification of Interactive Systems ’99. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6815-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6815-8_5
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83405-3
Online ISBN: 978-3-7091-6815-8
eBook Packages: Springer Book Archive