Anais do IHC'2001 - Departamento de Informática e Estatística - UFSC

60
Anais do IHC’2001 - IV Workshop sobre Fatores Humanos em Sistemas Computacionais
16. RUBIN, J. Handbook of Usability Testing: How to plan, Design, and Conduct
Effective Tests. New York : John Wiley, 1994. 330 p.
17. SANO, D. Designing large-scale web sites: a visual design methodology. John Wiley
& Sons, New York. 1996. 288 P.
18. SCAPIN, D.; et al. Transfering Knowledge of User Interfaces Guidelines to the Web.
In. Tools for Working with Guidelines. London: Springer; 2001.
19. SCHWABE, D.; ROSSI, G. Developing Hypermedia Applications using OOHDM,
Workshop on Hypermedia Development Processes, Methods and Models,
Hypertext'98, Pittsburgh, USA. 1998.
20. STOTTS, D. P.; FURUTA, R. Petri-net-based hypertext: document structure with
browsing semantics. ACM Trans. Inf. Syst. 7, 1 (Jan. 1989), pp. 3-29.
21. VIRZI, R. A.; SOKOLOV, J. L.; KARIS, D. Usability Problem Identification Using
Both Low- and High-Fidelity Prototype. Proceedings of CHI'96 Human Factors in
Computing Systems, April 13 - 18, 1996, Vancouver Canada.
22. ZHENG, Y.; PONG, M. Using statecharts to model hypertext. In. Proceedings of the
ACM conference on Hypertext. Milan, Italy. 1992.
23. WINCKLER, M.; FARENC, C.; PALANQUE, P. BASTIDE, R. Designing
Navigation for Web Interfaces. Submetido para publicação à conferência IHM-
HCI2000, Lille, França. 2001.
24. EMERSON, E. A.; SRINIVASAN, J. Branching Time Temporal Logic. In.: Lecture
Notes in Computer Science (354) - Linear Time, Branching Time and Partial Order in
Logics and Models for Concurrency. Spring-Verlag, Berlin. 1988.