Abstract models for HCI

International Journal of Human Computer Studies

Volumn 46, Issue 1, 1997, Pages 151-177

  Dearden, Andrew M ^a   Harrison, Michael D ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DESIGN; INTERACTIVE COMPUTER SYSTEMS; MATHEMATICAL MODELS; OPTIMIZATION;

GENERIC MODELS;

HUMAN COMPUTER INTERACTION;

EID: 0030785912     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1996.0087     Document Type: Article

References (48)

1. ABOWD, G. D. (1991). Formal aspects of human-computer interaction. Ph.D. Thesis, University of Oxford, Oxford, UK.
2. ASHLEY, K. D. & RISSLAND, E. L. (1988). A case-based approach to modeling legal expertise. IEEE Expert, 3, 70-77.
3. BLANDFORD, A. E., HARRISON, M. D. & BARNARD, P. J. (1995). Using interaction framework to guide the design of interactive systems. International Journal of Human-Computer Studies, 43, 101-130.
4. COWAN, D. D. & LUCENA, C. J. P. (1995). Abstract data views: an interface specification concept to enhance design for re-use. IEEE Transactions on Software Engineering, 21.
5. CRAIGEN, D., GERHART, S. & RALSTON, T. (1993). An international survey of industrial applications of formal methods. Technical Report NISTGCR 93/626, US Department of Commerce, National Institute of Standards and Technology, Computer Systems Laboratory.
6. DEARDEN, A. M. (1995a). The use of formal models in the design of interactive case memories. Ph.D. thesis, Department of Computer Science, University of York, York, UK.
7. DEARDEN, A. M. (1995b). Improving the interfaces to interactive case memories. In I. D. WATSON, Ed. Proceedings of the First UK Case Based Reasoning Workshop, No. 1020 in Lecture Notes in Artificial Intelligence, pp. 73-85. Berlin: Springer Verlag.
8. DEARDEN, A. M. & HARRISON, M. D. (1995). Modelling interaction properties for interactive case memories. In F. PATERNO', Ed. Interactive Systems: Design, Specification and Verification, 301-316. Berlin: Springer Verlag.
9. DIX, A. J. (1991). Formal Methods for Interactive Systems. London: Academic Press.
10. DUKE, D. J. & HARRISON, M. D. (1993). Abstract interaction objects. Computer Graphics Forum, 12, 23-36.
11. DUKE, D. J. & HARRISON, M. D. (1994). Connections from A(V) to Z. Technical Report System Modelling/WP21, AMODEUS II project, ESPRIT Basic Research Action 7040.
12. FACONTI, G. P. & PATERNO', F. (1994). A GIO view of AV Connections. Technical Report SM/IR5, AMODEUS II project, ESPRIT Basic Research Action 7040.
13. FOLEY, J. D. & SUKAVIRIYA, P. N. (1995). History, results and bibliography of the user interface design environment (UIDE), an early model-based system for user interface design and development. In F. PATERNO', Ed. Interactive Systems: Design, Specification and Verification, pp. 3-14. Berlin: Springer Verlag.
14. GARLAN, D. & DELISLE, N. (1990). Formal specifications as reusable frameworks. In B. BJORNER, C. A. R. HOARE & H. LANGMAACK, Eds. VDM and Z: Formal Methods in Software Development, No. 428 in LNCS, pp. 150-163. Berlin: Springer Verlag.
15. GARLAN, D. & NOTKIN, D. (1991). Formalizing design spaces: implicit invocation mechanisms. In S. PREHN & W. J. TOETENEL, Eds. VDM, 91, in LNCS, pp. 31-44. Berlin: Springer Verlag.
16. GOODWIN, R. (1995). Formalizing properties of agents. Journal of Logic in Computer Science, 5, 763-781.
17. HARRISON, M. & THIMBLEBY, H., Eds. (1990). Formal Methods in Human-Computer Interaction. Cambridge: Cambridge University Press.
18. HARRISON, M. D., ROAST, C. R. & WRIGHT, P. C. (1989). Complementary methods for the iterative design of interactive systems. In G. SALVENDY & M. J. SMITH, Eds. Designing and Using Human-Computer Interfaces and Knowledge Based Systems, pp. 651-659. Amsterdam: Elsevier.
19. HAYES, I., Ed. (1987). Specification Case Studies. London: Prentice-Hall.
20. JACOB, J. (1991). The varities of refinement. In J. M. MORRIS & R. C. SHAW, Eds. 4th Refinement Workshop, pp. 441-455. Berlin: Springer Verlag.
21. KERAVNON, E. T. & WASHBROOK, J. (1989). What is a deep expert system: an analysis of the architectural requirements of second-generation expert systems. Knowledge Engineering Review, 4, 205-233.
22. KLAHR, P. & VROOMAN, G. (1991). Commercialising case based reasoning technology. In I. M. GRAHAM & R. W. MILNE, Eds. Research and Development in Expert Systems VIII, pp. 18-24. Cambridge: Cambridge University Press.
23. KOLODNER, J. L. (1993). Case-Based Reasoning. San Mateo, CA: Morgan Kaufmann.
24. KOTZÉ, P. (1993). Using a formal model for the evaluation of the human-computer interface properties of authoring systems. In P. BRNA, S. OHLSSON & H. PAIN, Eds. AI in Education: 93. Charlottesville, VA: Association for the Advancement of Computing in Education (AACE).
25. LANE, T. G. (1990). Studying software architecture through design spaces and rules. Technical Report CMU/SEI-90-TR-18, Software Engineering Institute, Carnegie Mellon University.
26. LONG, J. & DOWELL, J. (1989). Conceptions of the discipline of HCI: craft, applied science, and engineering. In A. SUTCLIFFE & L. MACAULAY, Eds. People and Computers V, pp. 9-32. Cambridge: Cambridge University Press.
27. MACLEAN, A., YOUNG, R. M., BELLOTTI, V. & MORAN, T. (1991). Questions options and criteria: elements of design space analysis. Human-Computer Interaction, 6, 201-250.
28. MANAGO, M. & CONRUYT, N. (1992). Using information technology to solve real world problems. In F. SCHMALHOFER, G. STRUBE & T. WETTER, Eds. Contemporary Knowledge Acquisition and Cognition, No. 622 in Lecture Notes in Artificial Intelligence. Berlin: Springer Verlag.
29. MERRIAM, N. A. & HARRISON, M. D. (1996). Evaluating the interfaces of three theorem proving assistants. In F. BODART & J. VANDERDONCKT, Eds. Design Specification and Verification of Interactive Systems '96, pp. 330-346. Wein: Springer.
30. MORGAN, C. (1994). Programming from Specification, 2nd Edn. New York: Prentice Hall.
31. NAFTALIN, M., DENVIR, T. & BERTRAN, M., Eds. (1994). FME '94: Industrial Benefit of Formal Methods. No. 873 in LNCS. Berlin: Springer Verlag.
32. PALANQUE, P. A. & BASTIDE, R. (1995). Petri net based design of user-driven interfaces using the interactive cooperative objects formalism. In F. PATERNO', Eds. Interactive Systems: Design, Specification and Verification, pp. 383-400. Berlin: Springer Verlag.
33. PATERNO', F., Ed. (1995). Interactive Systems: Design, Specification and Verification. Berlin: Springer Verlag.
34. POTTER, B., SINCLAIR, J. & TILL, D. (1991). An Introduction to Formal Specification and Z. New York: Prentice Hall.
35. RICHTER, M. M. & WESS, S. (1991). Similarity, uncertainty and case-based reasoning in patdex. In R. S. BOYER, Ed. Automated Reasoning: Essays in honour of Woody Bledsoe, pp. 249-265. Dordrecht: Kluwer Academic Publishing.
36. ROAST, C. R. (1993). Executing Models in Human-Computer Interaction. Ph.D. thesis, Department of Computer Science, University of York, York, UK.
37. ROTH, E. M., BENNETT, K. B. & WOODS, D. D. (1988). Human interaction with an "intelligent" machine. In E. HOLLNAGEL, G. MANCINI & D. D. WOODS, Eds. Cognitive Engineering in Complex Dynamic Worlds, pp. 23-69. London: Academic Press.
38. RUSHBY, J. (1993). Formal methods and the certification of critical systems. Technical Report CLS-93-7, Computer Science Laboratory, SRI International.
39. SCHREIBER, S. (1995). The BOSS-System: coupling visual programming with model based user interface design. In F. PATERNO', Ed. Interactive Systems: Design, Specification and Verification, pp. 161-180. Berlin: Springer-Verlag.
40. SPIVEY, J. M. (1992). The Z Notation: A Reference Manual, 2nd Edn. New York: Prentice Hall.
41. SUFRIN, B. & HE, J. (1990). Specification, refinement and analysis of interactive processes. In M. D. HARRISON & H. W. THIMBLEBY, Eds. Formal Methods in Human-Computer Interaction, Chapter 6. Cambridge: Cambridge University Press.
42. SZEKELY, P., LUO, P. & NECHES, R. (1993). Beyond interface builders: model-based interface tools. In S. ASHLAND, K. MULLET, A. HENDERSON, E. HOLLNAGEL & T. WHITE, Eds. Proceedings of InterCHI 93, Amsterdam, The Netherlands, pp. 383-390. New York: ACM.
43. THIMBLEBY, H. (1990). User Interface Design. New York: ACM Press.
44. TOOK, R. (1990). Putting design into practice: formal specification and the user interface. In M. HARRISON & H. THIMBLEBY, Eds. Formal Methods in Human-Computer Interaction, pp. 63-96. Cambridge: Cambridge University Press.
45. TORRES, J. C. & CLARES, B. (1995). Using an abstract model for the formal specification of interactive graphics systems. In F. PATERNO', Ed. Interactive Systems: Design, Specification and Verification, pp. 275-292. Berlin: Springer Verlag.
46. VINCKE, P. (1992). Multicriteria Decision-Aid. Chichester: John Wiley and Sons.
47. WESS, S. (1993). PATDEX - ein Ansatz zur wissenbasierten und inkrementellen Verbesserung von Ähnlichskeitsbewertungen in der fallbasierten Diagnostik. In G. PUPPE, Ed. Expertensysteme XPS-93, pp. 42-55. Berlin: Springer Verlag.
48. WOODCOCK, J. & LOOMES, M. (1988). Software Engineering Mathematics. London: Pitman.