Modelling status and event behaviour of interactive systems

Software Engineering Journal

Volumn 11, Issue 6, 1996, Pages 334-346

  Dix, Alan ^a   Abowd, Gregory ^b  

^a STAFFORDSHIRE UNIVERSITY   (United Kingdom)

^b Georgia Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; INTERACTIVE DEVICES; MATHEMATICAL MODELS; USER INTERFACES;

INTERACTIVE SYSTEMS BEHAVIOR;

INTERACTIVE COMPUTER SYSTEMS;

EID: 0030288519     PISSN: 02686961     EISSN: None     Source Type: Journal    
DOI: 10.1049/sej.1996.0044     Document Type: Article

References (35)

1. GRUDIN, J.: 'Why CSCW applications fail: problems in the design and evaluation of organizational interfaces'. CSCW '88: Proc. Conf. on Computer Supported Cooperative Work, ACM, 1988, pp. 85-94
2. ABOWD, G.D., and DIX, A.J.: 'Integrating status and event phenomena in formal specifications of interactive systems'. SIGSOFT '94, WILE, D. (Ed.) (ACM Press, 1994), pp. 44-52
3. DIX, A., FINLAY, J., ABOWD, G., and BEALE, R.: 'Human-computer interaction' (Prentice Hill International, 1993)
4. DIX, A.J.: 'Formal methods for interactive systems' (Academic press, 1991)
5. DIX, A.J.: 'Status and events: static and dynamic properties of interactive systems'. Proc. Eurographics Seminar: Formal Methods in Computer Graphics, DuCE, DA (Ed.). Marina di Carrara, Italy, 1991
6. DIX, A.J., and BREWSTER, S.A.: 'Causing trouble with buttons'. J Ancillary Proc. HCI '94, Glasgow, UK, 1994
7. BREWSTER, S.A., WRIGHT, P.C., DIX, A.J., and EDWARDS, A.D.N.: 'The sonic enhancement of graphical buttons' in 'Human-computer interaction - Interact '95', Lillehammer, Norway, 1990, pp. 43-48
8. ABOWD, G.D.: 'Formal aspects of human-computer interaction'. DPhil Thesis, Oxford University Programming Research Group, 1991
9. DUKE, D.J., and HARRISON, M.D.: 'Abstract interaction objects', Computer Graphics Forum, 1993, 12, (3), pp. 25-36
10. REISNER, P.: 'Formal grammar and human factors design of an interactive system', IEEE Trans., 1981, SE-7, (2), pp. 229-240
11. SCHIELE, F., and GREEN. T.: 'HCI formalisms and cognitive psychology: the case of task-action grammars' In HARRISON, M.D., and THIMBLEBY, H.W. (Eds.): 'Formal methods in human-computer interaction' (Cambridge University Press, 1990) Chap. 2
12. JACOB, R.J.K.: 'Using formal specification in the design of a human-computer interface', Commun. ACM, 1983, 26, (4), pp. 259-264
13. PFAFF, G. (Ed.): 'User interface management systems' (Springer-Verlag, 1985)
14. GRAM, C., and COCKTON, G. (Eds.): 'Design principles for interactive software' (Chapman and Hall, 1996)
15. AGHA, G.A.: 'Actors: a model of concurrent computation in distributed systems' (MIT Press, 1986)
16. HOARE, C.A.R.: 'Communicating Sequential Processes' (Prentice-Hall International, 1985)
17. MILNER, R.: 'A calculus of communicating systems', Lect. Notes Comput. Sci., 1980, 92, pp. 36-59
18. ALEXANDER, H.: 'Executable specifications as an aid to dialogue design' in Human-computer interaction - INTERACT '87 (North Holland, 1987) pp. 739-744
19. ABOWD, G. D. 'Agents: communicating interactive processes' in 'Human-computer interaction - INTERACT '90' (Elsevier Science Publishers, 1990) pp. 143-148
20. SUFRIN, B., and HE., J.: 'Specification, refinement and analysis of interactive processes' in HARRISON, M.D., and THIMBLEBY, H.W. (Eds.): 'Formal methods in human-computer interaction' (Cambridge University Press, 1990) Chap. 9
21. PATERNÓ, F., and FACONTI, G.: 'On the LOTOS use to describe graphical interaction' in 'HCI '92: people and computers VII' (Cambridge University press, 1992), pp. 153-155
22. PATERNÓ, F., SCHIACCHITANO, M.S., and LOWGRE, J.: 'A user interface evaluation mapping physical user actions to task-driven formal specifications' in PALANQUE, P., and BASTIDE, R. (Eds.): 'Design, specification and verification of interactive systems '95' (Springer-Verlag, 1995) pp. 155-173
23. HAREL, D.: 'Statecharts: a visual formalism for complex systems', Sci. Computer Programming, 1987, 8, (3), pp. 231-274
24. DIX, A.J., and RUNCIMAN, C.: 'Abstract models of interactive systems' in 'People and computers: designing - the interface - HCI '87' (Cambridge University Press, 1987), pp. 13-22
25. SUFRIN, B.: 'Formal specification of a display editor', Sci. Computer Programming, 1982, 1, pp. 157-202
26. GROSSMAN, R.L., NERODE, A., RAVN, A.P., and RISCHEL, H. (Eds.): 'Hybrid systems', Lect. Notes Comput. Sci., 736, 1993
27. CHAOCHEN, Z., RAVN, A.P., and HANSEN, M. R.: 'An extended duration calculus for hybrid real-time systems' in GROSSMAN, R.L., NERODE, A., RAVN, A.P., and RISCHEL, H. (Eds.): 'Hybrid systems', LINCS, 736, (Springer-Verlag, 1993), pp. 36-59
28. CHAOCHEN, Z., HOARE, C.A.R., and RAVN, A.P.: 'A calculus of durations', Inf. Process. Lett., 1991, 40, (5), pp. 269-276
29. MOFFET, J., HALL, J., COOMBES, A., and MCDERMID, J.: 'A model for a casual logic for requirements engineering', Requirements Eng., 1996, 1, (1), pp. 27-46
30. DIX, AJ.: 'Dynamic pointers and threads', Collaborative Computing, 1995, 1, (3), pp. 191-216
31. DIX, A.J., and ABOWD, G.: 'Delays and temporal incoherence due to mediated status-status mappings', SIGCHI Bull., 1996, 28, (2), pp. 47-49
32. MYERS, B.A., GUISE, D.A., DANNENBERG, R.B., VANDER ZANDEN, B., KOSBIE, D.S., PERVIN, E., MICKISH, A., and MARCHAL, P.: 'Garnet: comprehensive support for graphical, highly interactive user interfaces', IEEE Computer, 1990, 23, (11), pp. 71-85
33. HILL, R.D.: The Rendevous constraint management system'. UIST '93: Proc. ACM Symp. on User Interface Software and Technology, ACM, 1993, pp. 225-234
34. DEWAN, P.: 'A tour of the Suite user interface software', UIST '90: Proc. 3rd ACM SIGGRAPH Symp. on User Interface Software and Technology, ACM, 1990, pp. 57-65
35. DEWAN, P., and CHOUDHARY, R.: 'A high-level, and flexible framework for implementing multiuser interfaces', ACM Trans. Inf. Syst., 1992, 10, (4), pp. 345-380