| |
Damn C.H., Hansen, K.M, Thomsen, M. 2000. Tool support
for co-operative object-oriented design: Gesture based modelling
on an electronic whiteboard. In, Proceedings of CHI
2000. ACM Press.
A. M. Dearden & M. D. Harrison, 1997a. Abstract
Models for HCI. International Journal of Human-Computer
Studies, 46 (1), 153 - 178.
Ehn, P. & Kyng, M., 1991. Cardboard Computers:
Mocking-it-up or Hands-on the Future. In, Greenbaum,
J. & Kyng, M. (Eds.) Design at Work, pp. 169 - 196. Hillsdale,
New Jersey: Laurence Erlbaum Associates.
Fuchs, N.E., 1992. Specifications are (preferably)
executable. Software Engineering Journal, 7(5), pp.323
- 334.
Johnson, C.W., 1995. The Economics Of Interface Development.
In Human Computer Interaction - Interact '95. K.
Landay, J., 1996. Interactive Sketching for the Early
Stages of User Interface Design. Technical Report
CMU-CS-96-201, Carnegie Mellon University, Pittsburgh, PA.
1996.
Lin, J., Newman, M.W., Hong, J.I. & Landay J.A., 2000.
DENIM: Finding a tighter fit between tools and practice
for web site design. In proceedings of CHI 2000, pp.
510 - 517. The Hague, Netherlands: ACM Press.
Özcan, M. B., Parry, P.W., Morrey, I. and Siddiqi, J.,
1998. Visualisation of Executable Formal Specifications
for User Validation, Lecture Notes in Computer Science,
Vol 1385, 142-157, Springer-Verlag.
Preece, J., Sharp, H. & Rogers, Y., 2002. Interaction
Design. John Wiley & Sons.
Wilson, S., Bekker, M., Johnson, P. & Johnson, H., 1997.
Helping and Hindering User Involvement - A Tale of
Everyday Design, Human Factors in Computing Systems,
Proceedings of CHI97 pp. 178 - 185. Atlanta, GA. USA: ACM
Press.
|
| |
Johnson, C.W., 1995. The Economics Of Interface Development.
In Human Computer Interaction - Interact '95. K. Nordby and
P. H. Helmersen and D.
McCarthy, J.2000. The paradox of understanding work
for design. To appear in Int. J. of Human Computer
Studies.
O'Neill, E., J. 1998. User-developer co-operation in
software development. Building common ground and usable systems.
PhD Thesis, Queen Mary & Westfield College, University
of London.
Özcan, M.B., 1998. Use of Executable Formal Specifications
in User Validation. Software Practice & Experience,
28(3), pp. 1359 - 1385.
Shipman F.M. & McCall, R.J., 1999. Supporting Incremental
Formalization in the Hyper Object Substrate. ACM Transactions
on Information Systems 17(2), pp. 199 - 227.
Siddiqi, J.I.A. Morrey, I. Ozcan, M. Roast, C. Towards
Quality Requirements via Animated Formal Specifications
Annals of Software Engineering Vol 3 Sept 1997, 131 - 155
|
