Author:
Fields Bob,Merriam Nick,Dearden Andy
Reference29 articles.
1. 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.
2. 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.
3. Barnard, P. and J. May (1995). Interactions with advanced graphical interfaces and the deployment of latent human knowledge. See Paterno (1995), pp. 15 – 48.
4. 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.
5. Bodart, F. and J. Vanderdonckt (Eds.) (1996). Design, Specification, Verification of Interactive Systems’96, Springer Computer Science. Springer Wien New York.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献