Abstract
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we argue that a change of emphasis may be necessary as the field matures. We argue that real projects with specific objectives for formal methods are more likely to employ a range of diverse, lightweight modelling techniques. We explore this view by showing how, on one example, several quite different kinds of analysis can be performed using different models.
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.
References
Abowd, G., H.-M. Wang, and A. Monk (1995, August). A formal technique for automated dialogue developments. In Proceedings, First Symposium on Designing Interactive Systems — DIS’95, Ann Arbor, MI.
Arnold, A., M.-C. Gaudel, and B. Marre (1995, September). An experiment on the validation of a specification by heterogeneous formal means: The transit node. In 5th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5), Urbana-Champaign, USA, pp. 24 – 34.
Barnard, P. and J. May (1995). Interactions with advanced graphical interfaces and the deployment of latent human knowledge. See Paterno (1995), pp. 15 – 48.
Blandford, A., M. Harrison, and P. Barnard (1995). Using interaction framework to guide the design of interactive systems. International Journal of Human- Computer Studies 43, 101 - 130.
Bodart, F. and J. Vanderdonckt (Eds.) (1996). Design, Specification, Verification of Interactive Systems’96, Springer Computer Science. Springer Wien New York.
Bramwell, C. (1995). Formal aspects of the Design Rationale of Interactive Systems. Ph. D. thesis, Dept. of Computer Science, University of York.
Bramwell, C., B. Fields, and M. Harrison (1995). Exploring design options rationally. See Palanque and Bastide (1995a), pp. 134 – 148.
Dix, A. (1991). Formal Methods for Interactive Systems. Computers and People Series. Academic Press.
Dix, A., J. Finlay, G. Abowd, and R. Beale (1993). Human-Computer Interaction. Prentice-Hall International.
Faconti, G. P. and D. J. Duke (1996). Device models. See Bodart and Vanderdonckt (1996), pp. 73 – 91.
Fields, B., M. Harrison, and P. Wright (1995). Modelling interactive systems and providing task relevant information. See Paterno (1995), pp. 253 – 266.
Green, T. R. G. (1989). Cognitive dimensions of notations. In A. Sutcliffe and L. Macaulay (Eds.), Proceedings of the Fifth Conference of the BCS HCI Special Interest Group, pp. 443–460. Cambridge University Press.
Harrison, M., A. Blandford, and P. Barnard (1995). The requirements engineering of user freedom. See Paterno (1995), pp. 181 – 194.
Harrison, M., C. Roast, and P. Wright (1989). Complementary methods for the iterative design of interactive systems. In G. Salvendy and M. Smith (Eds.), Designing and Using Human-Computer Interfaces and Knowledge-Based Systems, pp. 651–658. Elsevier.
Hooper, K. (1986). Archtectural Design: An analogy. In D. Norman and S. Draper (Eds.), User-Centered System Design: New Perspectives on Human Computer Interaction, Chapter 1, pp. 9–23. Lawrence Erlbaum Associates Inc.
Hutchins, E. (1995). Cognition in the Wild. MIT Press.
May, J., S. Scott, and P. Barnard (1995). Structuring Displays: A Psychological Guide. Eurographics Tutorial Notes Series. EACG: Geneva. Appeared as Amodeus report B04.
Monk, A. and M. Curry (1994). Discount dialogue modelling with Action Simulator. In G. Cockton, S. Draper, and G. Weir (Eds.), Proceedings, HCI’94, Number IX in People and Computers, pp. 327 – 338. BCS HCI Specialist Group: Cambridge University Press.
Nuseibeh, B. (1996). To be And not to be: On managing inconsistency in software development. In Proceedings of 8th International Workshop on Software Specification and Design (IWSSD-8), pp. 164-169. IEEE CS Press.
Olsen, D., A. Monk, and M. Curry (1995). Algorithms for automatic dialogue analysis using propositional production systems. Human Computer Interaction 10, 39 – 78.
Palanque, P. and R. Bastide (Eds.) (1995a). Design, Specification, Verification of Interactive Systems ’95, Springer Computer Science. Springer Wien New York.
Palanque, P. and R. Bastide (1995b). Petri net-based design of user-driven interfaces using the interactive cooperative objects formalism. See Paterno (1995), pp. 383– 400.
Palanque, P., F. Paternò, R. Bastide, and M. Mezzanote (1996). Towards and integrated proposal for interactive systems design based in TLIM and ICO. See Bodart and Vanderdonckt (1996), pp. 162 – 187.
Parnas, D. L. (1996, April). Mathematical methods: What we need and don’t need. IEEE Computer, 28 – 29.
Paterno, F. (Ed.) (1995). Interactive Systems: Design, Specification and Verification, Focus on Computer Graphics Series. Springer-Verlag.
Paterno, F., M. Sciacchitano, and J. Lowgren (1995). A user interface evaluation mapping physical user actions to task-driven formal specifications. See Palanque and Bastide (1995a), pp. 35 – 53.
Szwillus, G. and K. Kespohl (1996). Prototyping device interfaces with DSN/2. See Bodart and Vanderdonckt (1996), pp. 123 – 140.
Wang, H.-M. and G. Abowd (1994, July). A tabular interface for automated verification of event-based dialogues. Technical Report CMU-CS-94-189, School of Computer Science, Carnegie Mellon University.
Wright, P., B. Fields, and M. Harrison (1996). Distributed information resources: A new approach to interaction modelling. In T. Green, J. Canas, and C. Warren (Eds.), Proceedings ofECCE8: European Conference on Cognitive Ergonomics, pp. 5-10. EACE. URL: http://www.cs.york.ac.uk/~bob/papers.html.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag/Wien
About this paper
Cite this paper
Fields, B., Merriam, N., Dearden, A. (1997). DMVIS: Design, Modelling and Validation of Interactive Systems. In: Harrison, M.D., Torres, J.C. (eds) Design, Specification and Verification of Interactive Systems ’97. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6878-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6878-3_3
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83055-0
Online ISBN: 978-3-7091-6878-3
eBook Packages: Springer Book Archive