References

ABCM89

J. J. Almeida, J. B. Barros, P. M. Castro, and F. C. Madeira. Pré-processador para YARPT. Relatório jnict:pmct:87/66:jja1, Departamento de Informática, Universidade do Minho, Outubro 1989.

Abo92

Gregory D. Abowd. Using formal methods for the specification of user interfaces. In Proceedings of the Second Irivine Software Symposium - ISS'92, Março 1992.

AR93

José João Almeida and Jorge Gustavo Rocha. Interface C XMETOO: manual de utilização. Technical report, Universidade do Minho, Junho 1993.

BA91

L. Barbosa and J. J. Almeida. CAMILA by Example. Relatório interno, DI/INESC, Universidade do Minho, 1991.

BCMR90

M. Bordegoni, U. Cugini, M. Motta, and C. Rizzi. An Environment for User Interface Development Based on the ATN and Petri Nets Notations. In Eurographics/Esprit User Interface Management Systems and Environments, pages 177-192, Junho 1990.

BP81

H. G. Borufka and G. Pfaff. The design of a general-purpose command interpreter for a graphical man-machine communication. In T. Sata and E. Warman, editors, Man-Machine Communication in CAD/CAM. North-Holland, 1981.

BW84

I. Benbasat and I. Wand. A structured approach to designing human-computer dialogs. Int. Journal of Man-Machine Studies, 21:105-126, 1984.

Cam93

J. Creissac Campos. GAMA-X Manual de Utilização (NYAGSL). Technical report, Universidade do Minho/Departamento de Informática, 1993.

CC90

Niels Vejrup Carlsen and Niels Jørgen Christensen. Modelling User Interface Software. In Eurographics/Esprit User Interface Management Systems and Environments, pages 21-35, Junho 1990.

CM92

J. Creissac Campos and F. Mário Martins. IAPF - Interfaces Assistidas para Protótipos Funcionais. Technical report, Universidade do Minho/INESC, 1992.

Dig87

Digitalk Inc. Smalltalk/V Tutorial and Programming Handbook, Agosto 1987.

DR85

Alan Dix and Colin Runciman. Abstract Models of Interactive Systems. In People and Computers: Designing the Interface - Proc. of the BCS-HCI Spec. Group, pages 13-22, Setembro 1985.

FN85

A. J. Fountain and M. A. Norman. Modelling User Behaviour with Formal Grammar. In People and Computers: Designing the Interface - Proceedings of the BCS-HCI Spec. Group, pages 3-12, Setembro 1985.

GR90

Joachim Grollmann and Christoph Rumpf. Some Comments on the Future of User Interface Tools. In Eurographics/Esprit User Interface Management Systems and Environments, pages 3-20, Junho 1990.

Gre86

Mark Green. A Survey of Three Dialogue Models. ACM Transactions on Graphics, 5(3):243-275, Julho 1986.

Gro90

The CAMILA Group. XMETOO - User's Manual. Technical report, DI/INESC, Universidade do Minho, 1990.

Hay90

Clive Hayball. Dialogue Specification for Knowledge Based Systems. In Eurographics/Esprit User Interface Management Systems and Environments, pages 107-117, Junho 1990.

HH89

H. Rex Hartson and Deborah Hix. Human-Computer Interface Development: Concepts and Systems for Its Management. ACM Computing Surveys, 21(1):5-92, Março 1989.

Hoa85

C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, UK, Ltd., 1985.

HS90

P. J. W. ten Hagen and D. Soede. Assembling a User Interface out of Communicating Processes. In Eurographics/Esprit User Interface Management Systems and Environments, pages 81-86, Junho 1990.

Jac83

Robert J. K. Jacob. Using Formal Specifications in the Design of a Human-Computer Interface. Communications of the ACM, 26(4):259-264, Abril 1983.

Jac86

Robert J. K. Jacob. A Specification Language for Direct-Manipulation User Interfaces. ACM Transactions on Graphics, 5(4):283-317, Outubro 1986.

LJBS78

Harold W. Lawson Jr., Miquel Bertran, and Javier Sanagustin. The Formal Definition Of Human/Machine Communication. Software-Practice and Experience, 8:51-58, 1978.

MAH90

F. Mário Martins, J. João Almeida, and Pedro R. Henriques. Mecanismos para a Especificação e Prototipagem de Interfaces Utilizador-Sistema. Universidade do Minho, 1990.

Mar92

F. Mário Martins. Interacção Homem-Máquina. Universidade do Minho, 1992.

May90

Niels P. Mayer. The WINTERP Widget INTERPreter - An application prototyping and extension environment for OSF/Motif. Hewlett-Packard Laboratories, Outubro 1990.

MCCM90

Filipe C. Madeira, J. Creissac Campos, Pedro M. Castro, and F. Mário Martins. GAMA - Geração Automática de Modo Assistido. Relatório interno, DI/INESC, Universidade do Minho, 1990.

MF93

F. Mário Martins and Adalberto G. Ferreira. GAIA - Gerador Automático de Interfaces Adaptativas. In 5 Encontro Português de Computação Gráfica, pages 211-225, Fevereiro 1993.

MO90

F. Mário Martins and J. Nuno Oliveira. Archetype Oriented User Interfaces. Computer & Graphics, 14(1):17-28, 1990.

MVM90

Margarita Martínez, Bonifacio Villalobos, and Pedro de Miguel. GMENUS: an Ada Concurrent User Interface Managment System. In Eurographics/Esprit User Interface Management Systems and Environments, pages 37-48, Junho 1990.

OJ86

Dan R. Olsen Jr. MIKE: The Menu Interaction Kontrol Environment. ACM Transactions on Graphics, 5(1):318-344, Outubro 1986.

Oli90

J. N. Oliveira. A Reification calculus for Model-Oriented Software. Technical report, Universidade do Minho/INESC, Março 1990.

QO90a

Valerie Quercia and Tim O'Reilly. X Toolkit Intrinsics Programming Manual. O'Reilly & Associates, Inc., 2.rd edition, Setembro 1990.

QO90b

Valerie Quercia and Tim O'Reilly. X Window System User's Guide. O'Reilly & Associates, Inc., 3.rd edition, Maio 1990.

Rad90

Mark J. C. Radcliffe. DESQview/X Extending DOS into de 21st Century - A Technical Perspective. Technical report, Quarterdeck Office Systems, Agosto 1990.

Rei

W. Reisig. Petri Nets - An Introduction. Springer-Verlag.

Rei81

Phyllis Reisner. Formal Grammar and Human Factors Design of an Interactive Graphics System. IEEE Transactions on Software Engineering, 7(2):229-240, Março 1981.

Roc91

Jorge Gustavo Rocha. CAMILA Modular - Um Pré-processador para YARPTC. Universidade do Minho, 1991.

Roc93

Fernando Rocha. Um Editor/Compilador de Guiões de Interacção. Relatório de estágio, Universidade do Minho/Departamento de Informática, 1993.

Ros87

David S. H. Rosenthal. Window System Implementations. In EUROGRAPHICS (UK) - The 5 Annual Conference, Abril 1987. Notes for Tutorial A.

Shn82

Ben Shneiderman. Multiparty Grammars and Related Features for Defining Interactive Systems. IEEE Transactions on Systems, Man and Cybernetics, 12(2):148-154, Março/Abril 1982.

Ste87

Hal L. Stern. Comparison of Window Systems. BYTE, pages 265-272, Novembro 1987.

Stu90

Peter Sturm. IUICE An Interactive User Interface Construction Environment. In Eurographics/Esprit User Interface Management Systems and Environments, pages 89-106, Junho 1990.

Sun90

Sun Microsystems, Inc. SunView Programmer's Guide, Maio 1990.

Too91

Roger Took. The Active Medium: A Reference Architecture for Direct Manipulation. In A Collection of Papers on HCI. University of York - Department of Computer Science, 1991.

Wal87

David Walker. Introduction to a Calculus of Communicating Systems. Department of Computer Science, University of Edinburgh, 1987.

Was85

Anthony J. Wasserman. Extending State Transition Diagrams for the Specification of Human-Computer Interaction. IEEE Transactions on Software Engineering, 11(8):699-713, Agosto 1985.