Abstract
This paper discusses the use of systematic software development methods in designing interactive systems, in particular in designing the user interfaces of interactive systems. The paper discusses justification of transformation of functional specifications into user interface specification, and the use of a verification tool for verifying system properties. We will demonstrate how some properties can be formulated, so they can be used together with a system specification in a justification.
Chapter PDF
Similar content being viewed by others
References
Abowd, G. D. (1991) Formal Aspects of Human-Computer Interaction. Ph.D Thesis. Oxford University Computing Laboratory, Oxford.
Brock, S. and George, C. (1990) RAISE Method Manual. Computer Resources International A/S.
Coutaz, J. (1987) PAC, an object oriented model for dialog design. In Human-Computer Interaction INTERACT’87. North-Holland, Amsterdam, 431–6.
Dix, A. J. 1991 Formal Methods for Interactive systems. Academic Press.
Dix, A., Finlay, J., Abowd, G. and Beale, R. (1993) Human Computer Interaction. Prentice-Hall.
Duke, D. and Harrison, M. (1993) Rigorous Development of Interactive Systems. Technical Report SM/WP16, ESPRIT BRA 7040 Amodeus-2.
IFIP WG2.7 (1995) Design Principles for Interactive Software. Tobe published by Chapman &Hall.
Jones, C.B. (1986) Systematic Software Development Using VDM Prentice-Hall International.
Krasner, G.E. and Pope, S.T. (1988) A cookbook for using the model-view-controller user interface paradigm in Smalltalk-80. Journal of Object Oriented Programming, 1 (3).
Palanque, P.A., Bastide, R., Dourte, L. and Sibertin-Blanc, C. (1993) Design of user-Driven Interfaces Using Petri Nets and Objects. Proceedings of Conference on Advanced Information Systems Engineering: CAISE’93, Lecture Notes in Computer Science no 685, Springer Verlag, 569–85.
Roast, C. (1994) Modelling Interaction using Template Abstractions. People and Computers IX, Proceedings of HCI’94, 273–84.
The RAISE Language Group (1992) The RAISE Specification language. Prentice Hall.
Systii, K. (1994) Specifying User Interfaces in DisCo. SIGCHI Bulletin 26 (2), 53–8.
UIMS Tool Developers Workshop (1992) A Metamodel for the Runtime Architecture of an Interactive System. SIGCHI Bulletin, 24 (1), 32–7.
Vanderdonckt, J.M. and Bodart, F. (1993) Encapsulating Knowledge for Intelligent Au- tomatic Interaction Object Selection. INTERCHI’93 Conference Proceedings, 424–9.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Lauridsen, O. (1996). Systematic methods for user interface design. In: Bass, L.J., Unger, C. (eds) Engineering for Human-Computer Interaction. EHCI 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34907-7_10
Download citation
DOI: https://doi.org/10.1007/978-0-387-34907-7_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2935-0
Online ISBN: 978-0-387-34907-7
eBook Packages: Springer Book Archive