Development and Specification of Virtual Environments

This thesis concerns the issues involved in the development of virtual environments (VEs). VEs are more than virtual reality. We identify four main characteristics of them: graphical interaction, multimodality, interface agents, and multi-user. These characteristics are illustrated with an overview of different classes of VE-like applications, and a number of state-of-the-art VEs. To further define the topic of research, we propose a general framework for VE systems development, in which we identify five major classes of development tools: methodology, guidelines, design specification, analysis, and development environments. Of each, we give an overview of existing best practices.

[1]  Lance A. Ramshaw A Three-Level Model for Plan Exploration , 1991, ACL.

[2]  Guruduth Banavar,et al.  Responsiveness and consistency tradeoffs in interactive groupware , 1998, PODC '98.

[3]  Keith Stenning,et al.  Formal methods and human communication , 1996 .

[4]  Bertrand Meyer,et al.  On Formalism in Specifications , 1985, IEEE Software.

[5]  W.C.A. Wijngaards,et al.  Agent-Based Modelling of Dynamics: Biological and Organisational Applications , 2002 .

[6]  Peter Boncz,et al.  UvA-DARE ( Digital Academic Repository ) Monet ; a next-Generation DBMS Kernel For Query-Intensive Applications , 2007 .

[7]  Philippe Bretier,et al.  ARTIMIS: Natural Dialogue Meets Rational Agency , 1997, IJCAI.

[8]  Chris Greenhalgh,et al.  Extending locales: awareness management in MASSIVE-3 , 2000, Proceedings IEEE Virtual Reality 2000 (Cat. No.00CB37048).

[9]  C. J. Date A Guide to the SQL Standard , 1987 .

[10]  Bonnie E. John,et al.  Comparison of GOMS analysis methods , 1998, CHI Conference Summary.

[11]  Deri Sheppard An introduction to formal specification with Z and VDM , 1995, McGrawhill international series in software engineering.

[12]  Bertrand Meyer The Nature of Programming , 1999 .

[13]  Michelle Cartwright,et al.  An Empirical Investigation of an Object-Oriented Software System , 2000, IEEE Trans. Software Eng..

[14]  SubareaEast Carolina UniversityGreenville INITIATIVE-DEPENDENT FEATURES OF HUMAN-COMPUTER DIALOGS IN A TASK-ASSISTANCE DOMAIN , 1996 .

[15]  Elisabeth Andr,et al.  AiA: Adaptive Communication Assistant for Effective Infobahn Access , 1997 .

[16]  Jim Buckley,et al.  An Open-Source Analysis Schema for Identifying Software Comprehension Processes , 2001, PPIG.

[17]  Johanna D. Moore,et al.  Planning Text for Advisory Dialogues , 1989, ACL.

[18]  Mauricio Cortes,et al.  DCWPL: a programming language for describing collaborative work , 1996, CSCW '96.

[19]  Søren Lauesen,et al.  Dialogue Design Through Modified Dataflow and Data Modelling , 1993, HCI.

[20]  Sacha Krakowiak,et al.  Support for Distributed CSCW Applications , 1999, Advances in Distributed Systems.

[21]  Michael Wooldridge,et al.  Verifiable semantics for agent communication languages , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[22]  Saul Greenberg,et al.  Building groupware with GroupKit , 1997 .

[23]  David A. Carrington,et al.  Assessing usability from formal user-interface designs , 2001, Proceedings 2001 Australian Software Engineering Conference.

[24]  Gerard Jounghyun Kim,et al.  Design for Presence: A Structured Approach to Virtual Reality System Design , 2002, Presence: Teleoperators & Virtual Environments.

[25]  Udo Kelter,et al.  Do We Need 'Agile' Software Development Tools? , 2002, NetObjectDays.

[26]  James Glass,et al.  Evaluation methodology for a telephone-based conversational system , 1998 .

[27]  Tim Ritchings,et al.  Virtual Agent Societies with the mVITAL Intelligent Agent System , 2001, IVA.

[28]  A. Hussey,et al.  Using Object-Z to specify a web browser interface , 1996, Proceedings Sixth Australian Conference on Computer-Human Interaction.

[29]  Robert D. Bjornson Linda on distributed memory multiprocessors , 1993 .

[30]  Sharon L. Oviatt,et al.  Unification-based Multimodal Integration , 1997, ACL.

[31]  Chris Roast,et al.  The Usability of Formal Specification Representations , 2001, PPIG.

[32]  François Pachet,et al.  On the Embeddability of Production Rules in Object-Oriented Languages , 1995, J. Object Oriented Program..

[33]  Thierry Declerck,et al.  Natural Language Dialogue Service for Appointment Scheduling Agents , 1997, ANLP.

[34]  Arthur J. Riel,et al.  Object-Oriented Design Heuristics , 1996 .

[35]  W. Lewis Johnson,et al.  Pedagogical agents on the Web , 1999, AGENTS '99.

[36]  Philippe Bretier,et al.  A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction , 1996, ATAL.

[37]  R. A. Steele,et al.  Task Analysis in Design of a Human-Computer Interface for a Ward Based System , 1993, HCI.

[38]  T.R.G. Green,et al.  Programming Languages as Information Structures , 1990 .

[39]  Michael D. Harrison,et al.  Formally verifying interactive systems: A review , 1997, DSV-IS.

[40]  Gustavo Rossi,et al.  Web Application Models Are More Than Conceptual Models , 1999, ER.

[41]  Lynette Hirschman,et al.  Overview of evaluation in speech and natural language processing , 1997 .

[42]  Michael Stumm,et al.  A Computer Engineer's Perception of Software Engineering , 1993 .

[43]  Marc Evers A case study on adaptability problems of the separation of user interface and application semantics , 1999 .

[44]  Cristiano Castelfranchi,et al.  No More Cooperation, Please! In Search of the Social Structure of Verbal Interaction , 1992 .

[45]  Marilyn A. Walker,et al.  Limited Attention and Discourse Structure , 1995, CL.

[46]  Richard N. Taylor,et al.  A framework for classifying and comparing architecture description languages , 1997, ESEC '97/FSE-5.

[47]  David E. Kieras,et al.  Automating interface evaluation , 1994, CHI '94.

[48]  Roelof van Zwol Modelling and searching web-based document collections , 2002 .

[49]  Peter Moulding PHP Black Book , 2001 .

[50]  Frank Dignum,et al.  Dialogue in team formation: a formal approach , 1999 .

[51]  Anton Nijholt,et al.  Towards Communicating Agents and Avatars in Virtual Worlds , 2000, Eurographics.

[52]  A. Fleischmann Distributed Systems , 1994, Springer Berlin Heidelberg.

[53]  K. A. Ericsson,et al.  Verbal reports as data. , 1980 .

[54]  Jean Vanderdonckt,et al.  Towards Uniformed Task Models in a Model-Based Approach , 2001, DSV-IS.

[55]  Anton Nijholt,et al.  Developing a virtual piano playing environment , 2002 .

[56]  B. W. van Schooten,et al.  Building a framework for developing interaction models: Overview of current research in dialogue and interactive systems , 1999 .

[57]  Morena Danieli,et al.  Dialogos: a robust system for human-machine spoken dialogue on the telephone , 1996, 1997 IEEE International Conference on Acoustics, Speech, and Signal Processing.

[58]  Jorma Sajaniemi,et al.  Visualizing Roles of Variables to Novice Programmers , 2002, PPIG.

[59]  Kenneth Wauchope Multimodal Interaction with a Map-Based Simulation System , 1996 .

[60]  Jakob Nielsen,et al.  Usability engineering , 1997, The Computer Science and Engineering Handbook.

[61]  Gerrit C. van der Veer,et al.  GTA: Groupware task analysis — Modeling complexity , 1996 .

[62]  Alistair Cockburn,et al.  Agile Software Development: The Business of Innovation , 2001, Computer.

[63]  Anton Nijholt,et al.  Navigation Assistance in Virtual Worlds , 2003, Informing Sci. Int. J. an Emerg. Transdiscipl..

[64]  Andreas Girgensohn,et al.  Prototyping considered dangerous , 1995, INTERACT.

[65]  Henk Ernst Blok Database Optimization Aspects for Information Retrieval , 2002 .

[66]  Richard J. Koubek,et al.  The Implementation of Knowledge Structures in Cognitive Simulation Environments , 1993, HCI.

[67]  Justine Cassell,et al.  Embodied Conversational Agents: Representation and Intelligence in User Interfaces , 2001, AI Mag..

[68]  Morena Danieli,et al.  Metrics for Evaluating Dialogue Strategies in a Spoken Language System , 1996, ArXiv.

[69]  Jean Vanderdonckt,et al.  QTk: An Integrated Model-Based Approach to Designing Executable User Interfaces , 2000 .

[70]  Gary M. Olson,et al.  The Growth of Cognitive Modeling in Human-Computer Interaction Since GOMS , 1990, Hum. Comput. Interact..

[71]  Alan F. Blackwell,et al.  Mental imagery in program design and visual programming , 1999, Int. J. Hum. Comput. Stud..

[72]  Fabio Paternò,et al.  Verification of properties of human-computer dialogues with an infinite number of states , 1996 .

[73]  Niels Ole Bernsen,et al.  Towards a tool for predicting speech functionality , 1997, Speech Commun..

[74]  Heinrich Hußmann,et al.  Modular architecture for a toolset supporting OCL , 2000, Sci. Comput. Program..

[75]  Kent L. Beck,et al.  Extreme programming explained - embrace change , 1990 .

[76]  Eric Braude Software Engineering: An Object-Oriented Perspective , 2000 .

[77]  Chris R. Douce Long Term Comprehension of Software Systems: A Methodology for Study , 2001, PPIG.

[78]  B. Nardi Studying context: a comparison of activity theory, situated action models, and distributed cognition , 1995 .

[79]  John F. Patterson,et al.  Notification servers for synchronous groupware , 1996, CSCW '96.

[80]  Jakob Zwiers,et al.  Modelling interaction in virtual environments using process algebra , 1999 .

[81]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .

[82]  Ben Shneiderman,et al.  Designing the User Interface: Strategies for Effective Human-Computer Interaction , 1998 .

[83]  Philippe A. Palanque,et al.  Contextual Help for Free with Formal Dialogue Design , 1993, HCI.

[84]  Gerald M. Weinberg,et al.  Psychology of computer programming , 1971 .

[85]  Philippe A. Palanque,et al.  Structuring Interactive Systems Specifications for Executability and Prototypability , 2000, DSV-IS.

[86]  Thomas Rist,et al.  The automated design of believable dialogues for animated presentation teams , 2001 .

[87]  Jakob Nielsen,et al.  Getting usability used , 1995, INTERACT.

[88]  Amanda Stent,et al.  TRAINS-96 System Evaluation , 1997 .

[89]  Miriam Reiner,et al.  Tools for Collaborative Learning in Optics , 1995 .

[90]  Corin A Gurr Human Supporting Formal Reasoning for Safety Critical Systems , 1994 .

[91]  Philippe A. Palanque,et al.  Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism , 1995, BCS HCI.

[92]  Deri Sheppard Introduction to Formal Specifications with Z and VDM , 1994 .

[93]  Barbara Hayes-Roth,et al.  An intelligent guide for virtual environments , 1997, AGENTS '97.

[94]  Thomas R. G. Green,et al.  Structuring the programmer's task , 1977 .

[95]  Anton Nijholt,et al.  Dialogue Act Recognition with Bayesian Networks for Dutch Dialogues , 2002, SIGDIAL Workshop.

[96]  David Benyon,et al.  Displays as data structures: entity-relationship models of information artefacts , 1995, INTERACT.

[97]  Hiroaki Kitano,et al.  Toward a Plan-Based Understanding Model for Mixed-Initiative Dialogues , 1991, ACL.

[98]  Kee Yong Lim,et al.  Structured Notations for Human Factors Specification of Interactive Systems , 1993, HCI.

[99]  Jan Broersen Modal Action Logics for Reasoning about Reactive Systems , 2003 .

[100]  Stephen C. Levinson,et al.  Minimization and conversational inference , 1987 .

[101]  Jennifer Chu-Carroll,et al.  Tracking Initiative in Collaborative Dialogue Interactions , 1997, ACL.

[102]  Bertrand Meyer,et al.  Object-oriented software construction (2nd ed.) , 1997 .

[103]  Thomas S. Tullis Is User Interface Design Just Common Sense? , 1993, HCI.

[104]  Robert D. Tortora,et al.  INFLUENCE OF PLAIN VS. FANCY DESIGN ON RESPONSE RATES FOR WEB SURVEYS , 1999 .

[105]  David Chenho Kung,et al.  Change impact identification in object oriented software maintenance , 1994, Proceedings 1994 International Conference on Software Maintenance.

[106]  Gerrit C. van der Veer,et al.  Modeling complex work systems - method meets reality , 1996 .

[107]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[108]  Barbara Kitchenham,et al.  Software Metrics: Measurement for Software Process Improvement , 1996 .

[109]  Anthony F. Norcio,et al.  Spoken Language Interaction: Effects of Vocabulary Size and Experience on User Efficiency and Acceptability , 1993, HCI.

[110]  John Long,et al.  Applying a Structured Method for Usability Engineering to Domestic Energy Management User Requirements: A Successful Case-study , 1995, BCS HCI.

[111]  Jorg P. Muller,et al.  The Design of Intelligent Agents: A Layered Approach , 1996 .

[112]  David E. Kieras,et al.  Predictive engineering models based on the EPIC architecture for a multimodal high-performance human-computer interaction task , 1997, TCHI.

[113]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[114]  Anthony Jameson,et al.  How to Juggle Discourse Obligations , 1995 .

[115]  Gary M. Olson,et al.  The growth of cognitive modeling in human-computer interaction since GOMS , 1990 .

[116]  Panagiotis Markopoulos,et al.  A compositional model for the formal specification of user interface software , 2013 .

[117]  Philippe Palanque,et al.  Software Architecture Modelling: Bridging Two Worlds Using Ergonomics and Software Properties , 1998 .

[118]  Jacob Lenting Informed gambling : conception and analysis of a multi-agent mechanism for discrete reallocation , 1999 .

[119]  Rob Miller,et al.  The Amulet Environment: New Models for Effective User Interface Software Development , 1997, IEEE Trans. Software Eng..

[120]  Arne Jönsson,et al.  Dialogue management for natural language interfaces - an empirical approach , 1993, Linköping studies in science and technology dissertations.

[121]  L. Mommers,et al.  Applied legal epistemology. Building a knowledge-based ontology of the legal domain , 2002 .

[122]  Edsger W. Dijkstra,et al.  Go To Statement Considered Harmful , 2022, Software Pioneers.

[123]  Jean Scholtz,et al.  The Roles Beacons Play in Comprehension for Novice and Expert Programmers , 2002, PPIG.

[124]  Jr. Frederick P. Brooks,et al.  The mythical man-month (anniversary ed.) , 1995 .

[125]  Linda Rising,et al.  The Scrum Software Development Process for Small Teams , 2000, IEEE Softw..

[126]  Marilyn A. Walker,et al.  Standards for Dialogue Coding in Natural Language Processing , 1997 .

[127]  Paul M. Sharkey,et al.  Distortion in Distributed Virtual Environments , 1998, Virtual Worlds.

[128]  Jaap Gordijn,et al.  Value-based requirements engineering: exploring innovative e-commerce ideas , 2003, Requirements Engineering.

[129]  Philippe A. Palanque,et al.  Verification of an interactive software by analysis of its formal specification , 1995, INTERACT.

[130]  James C. Lester,et al.  Deictic and emotive communication in animated pedagogical agents , 2001 .

[131]  Antinus Nijholt,et al.  Speech and language interaction in a (virtual) cultural theatre , 1998 .

[132]  Alan F. Blackwell,et al.  See What You Need: Helping End-users to Build Abstractions , 2001, J. Vis. Lang. Comput..

[133]  Klaus-Dieter Schewe,et al.  UML: A Modern Dinosaur? A Critical Analysis of the Unified Modelling Language , 2000, EJC.

[134]  Michael E. Atwood,et al.  GOMS meets the phone company: Analytic modeling applied to real-world problems , 1990, INTERACT.

[135]  Niels Ole Bernsen,et al.  Designing interactive speech systems - from first ideas to user testing , 1998 .

[136]  William Phillips Architectures for Synchronous Groupware , 1999 .

[137]  Simon Smith,et al.  Is maintenance ready for evolution? , 1995, Proceedings of International Conference on Software Maintenance.

[138]  Jan P. H. van Santen,et al.  Review of Handbook of standards and resources for spoken language systems by Dafydd Gibbon, Roger Moore, and Richard Winski. Mouton de Gruyter 1997. , 1998 .

[139]  J.S.J.H. Penders,et al.  The practical art of moving physical objects , 1999 .

[140]  Gregory D. Abowd,et al.  Human-Computer Interaction. Second Edition. , 1998 .

[141]  Tomás Isakowitz,et al.  RMM: a methodology for structured hypermedia design , 1995, CACM.

[142]  Akikazu Takeuchi,et al.  Speech Dialogue With Facial Displays: Multimodal Human-Computer Conversation , 1994, ACL.

[143]  Philippe Palanque,et al.  From Formal Models to Empirical Evaluation and Back Again , 1998 .

[144]  Bonnie E. John,et al.  Tracking the effectiveness of usability evaluation methods , 1997, Behav. Inf. Technol..

[145]  W. Buxton Human-Computer Interaction , 1988, Springer Berlin Heidelberg.

[146]  Siobhan Chapman Logic and Conversation , 2005 .

[147]  S. N. K. Watt,et al.  Artificial Societies and Psychological Agents , 1997, Software Agents and Soft Computing.

[148]  Themis Panayiotopoulos,et al.  SimHuman: A Platform for Real-Time Virtual Agents with Planning Capabilities , 2001, IVA.

[149]  D. Carrington,et al.  Specifying the UQ* editor user-interface with Object-Z , 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.

[150]  W. Johnson,et al.  Task-oriented collaboration with embodied agents in virtual worlds , 2001 .

[151]  Norman W. Paton,et al.  UMLi: The Unified Modeling Language for Interactive Applications , 2000, UML.

[152]  Philippe A. Palanque,et al.  Formal Methods in Human-Computer Interaction , 1997, Formal Approaches to Computing and Information Technology (FACIT).

[153]  Victor Kaptelinin,et al.  Activity Theory: Basic Concepts and Applications , 1995, EWHCI.

[154]  David M. Beazley,et al.  Python Essential Reference , 1999 .

[155]  David E. Kieras,et al.  A Guide to GOMS Model Usability Evaluation using NGOMSL , 1997 .

[156]  Kevin Mills An Experimental Evaluation of Specification Techniques for Improving Functional Testing , 1996, J. Syst. Softw..

[157]  Richard N. Taylor,et al.  A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.

[158]  Timothy W. Finin,et al.  A Proposal for a new KQML Specification , 1997 .

[159]  W. Minker Evaluation Methodologies for Interactive Speech Systems , 1998 .

[160]  Karen Sparck Jones,et al.  Book Reviews: Evaluating Natural Language Processing Systems: An Analysis and Review , 1996, CL.

[161]  Catholijn M. Jonker,et al.  Agents negotiating for load balancing of electricity use , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[162]  B. W. van Schooten,et al.  Structuring Distributed Virtual Environments Using a Relational Database Model , 2001 .

[163]  Bonnie E. John,et al.  A GOMS analysis of a graphic machine-paced, highly interactive task , 1992, CHI.

[164]  Wolfgang Wahlster,et al.  SmartKom: Towards Multimodal Dialogues with Anthropomorphic Interface Agents , 2001 .

[165]  Valérie Issarny,et al.  Component-Based Programming of Distributed Applications , 1999, Advances in Distributed Systems.

[166]  Ritu Agarwal,et al.  The role of prior experience and task characteristics in object-oriented modeling: an empirical study , 1996, Int. J. Hum. Comput. Stud..

[167]  Nancy Wogrin,et al.  Rule-Based Programming With Ops 5 , 1988 .

[168]  Donald A. Norman,et al.  How might people interact with agents , 1994, CACM.

[169]  Marian Petre,et al.  When Visual Programs are Harder to Read than Textual Programs , 1992 .

[170]  Deborah Hix,et al.  A Model of Behavioral Techniques for Representing User Interface Designs , 1993, HCI.

[171]  Barbara Kitchenham,et al.  Research and Practice: Software Design Methods and Tools , 1990 .

[172]  Wolfgang Minker,et al.  Evaluation methodologies for interactive speech system , 1998, LREC.

[173]  Ian Horrocks,et al.  Constructing the User Interface with Statecharts , 1999 .

[174]  Bart Kuijpers,et al.  Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases , 2003, ICDT.

[175]  Michèle Courant,et al.  Grounding Agents in EMud Artificial Worlds , 1998, Virtual Worlds.

[176]  Chris Baber,et al.  Modelling Error Recovery and Repair in Automatic Speech Recognition , 1993, Int. J. Man Mach. Stud..

[177]  Michel Beaudouin-Lafon,et al.  A Taxonomy and Evaluation of Formalisms for the Specification of Interactive Systems , 1995, BCS HCI.

[178]  A. J. Lehmann Causation in artificial intelligence and law : a modelling approach , 2003 .

[179]  B. W. van Schooten A specification technique for building interface agents in a web environment , 2000 .

[180]  Lynn Lambert,et al.  Modeling Negotiation Subdialogues , 1992, ACL.

[181]  John Zukowski Mastering Java 2 , 1998 .

[182]  Rik Eshuis,et al.  Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .

[183]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[184]  David Benyon,et al.  The skull beneath the skin: entity-relationship models of information artifacts , 1996, Int. J. Hum. Comput. Stud..

[185]  Jiajie Zhang,et al.  Representations in Distributed Cognitive Tasks , 1994, Cogn. Sci..

[186]  Stefan Manegold,et al.  Understanding, modeling, and improving main-memory database performance , 2002 .

[187]  Anthony Hall,et al.  Do interactive systems need specifications? , 1997, DSV-IS.

[188]  Markus Lepper,et al.  Using use cases in Executable Z , 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.

[189]  R. J. Beun,et al.  Dialogue and Instruction: Modelling Interaction in Intelligent Tutoring Systems , 1995 .

[190]  Marilyn A. Walker,et al.  PARADISE: A Framework for Evaluating Spoken Dialogue Agents , 1997, ACL.

[191]  Neerincx,et al.  Human-computer interaction and presence in virtual reality exposure therapy , 2003 .

[192]  Michael D. Harrison,et al.  Formal methods in human-computer interaction , 1990 .

[193]  Frédéric Boussinot,et al.  Distributed reactive machines , 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).

[194]  John W. Daly,et al.  The effect of inheritance on the maintainability of object-oriented software: an empirical study , 1995, Proceedings of International Conference on Software Maintenance.

[195]  Thomas C. Nicholas Graham Declarative development of interactive systems , 1995 .

[196]  Alexandre Topol Immersion of Xwindow applications into a 3D workbench , 2000, CHI Extended Abstracts.

[197]  Joëlle Coutaz,et al.  PAC-ing the architecture of your user interface , 1997, DSV-IS.

[198]  Kate Ehrlich,et al.  Empirical Studies of Programming Knowledge , 1984, IEEE Transactions on Software Engineering.

[199]  David Carrington,et al.  Using object-Z to compare the MVC and PAC architectures , 1996 .

[200]  Arthur C. Graesser,et al.  Teaching Tactics and Dialog in AutoTutor , 2001 .

[201]  Richard R. Muntz,et al.  COCA: collaborative objects coordination architecture , 1998, CSCW '98.

[202]  David J. Gilmore,et al.  Interface design: have we got it wrong? , 1995, INTERACT.

[203]  Jim Webber,et al.  Gotos Considered Harmful and Other Programmers' Taboos , 2000, PPIG.

[204]  Philippe Codognet,et al.  The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars , 2001, IVA.

[205]  Catholijn M. Jonker,et al.  Agent-Based Simulation of Reactive, Pro-active and Social animal Behaviour , 1998, IEA/AIE.

[206]  D. Richard Hipp,et al.  Spoken Natural Language Dialog Systems: A Practical Approach , 1994 .

[207]  Thomas R. G. Green,et al.  Cognitive dimensions of notations , 1990 .

[208]  G. de Haan,et al.  Formal modelling techniques in human-computer interaction , 1991 .

[209]  Alan Cooper,et al.  The Inmates Are Running the Asylum: Why High Tech Products Drive Us Crazy and How to Restore the Sanity (2nd Edition) , 1999 .

[210]  Joëlle Coutaz,et al.  From single-user architectural design to PAC*: a generic software architecture model for CSCW , 1997, CHI.

[211]  Peter Thanisch,et al.  Natural language interfaces to databases – an introduction , 1995, Natural Language Engineering.

[212]  James F. Allen,et al.  Intonational Boundaries, Speech Repairs, and Discourse Markers: Modeling Spoken Dialog , 1997, ACL.

[213]  P R Cohen,et al.  The role of voice input for human-machine communication. , 1995, Proceedings of the National Academy of Sciences of the United States of America.

[214]  Sape J. Mullender Distributed Systems (2nd edition) , 1993 .

[215]  James F. Allen,et al.  TRAINS-95 System Evaluation , 1996 .

[216]  Anton Nijholt,et al.  Jacob - An Animated Instruction Agent in Virtual Reality , 2000, ICMI.

[217]  Marcia C. Linn,et al.  Supporting Pascal Programming with an On-Line Template Library and Case Studies , 1993, Int. J. Man Mach. Stud..

[218]  Rikk Carey,et al.  The annotated VRML 2.0 reference manual , 1997 .

[219]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[220]  Anker Helms Jørgensen,et al.  Perceptions of design rationale , 1995, INTERACT.

[221]  Marilyn A. Walker,et al.  Evaluating competing agent strategies for a voice email agent , 1997, EUROSPEECH.

[222]  Guruduth Banavar,et al.  Rapidly building synchronous collaborative applications by direct manipulation , 1998, CSCW '98.

[223]  Tamara Munzner,et al.  Visualizing the structure of the World Wide Web in 3D hyperbolic space , 1995, VRML '95.

[224]  Ans A. G. Steuten A contribution to the linguistic analysis of business conversations within the language/action perspective , 1998 .

[225]  Adelheit Stein,et al.  Structuring collaborative information-seeking dialogues , 1995, Knowl. Based Syst..

[226]  R. V. D. Pol Knowledge-based query formulation in information retrieval , 2000 .

[227]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[228]  Juan Roberto Castelo Valdueza,et al.  The Discrete Acyclic Digraph Markov Model in Data Mining , 2002 .

[229]  Patrick Th. Eugster,et al.  Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction , 2000, ECOOP.

[230]  Richard Mark Eastgate,et al.  The structured development of virtual environments : enhancing functionality and interactivity , 2001 .

[231]  Thilo Kielmann,et al.  Designing a Coordination Model for Open Systems , 1996, COORDINATION.

[232]  Paulo Pinheiro,et al.  User Interface Declarative Models and Development Environments: A Survey , 2000, DSV-IS.

[233]  Gerrit van der Hoeven,et al.  Corpus-based Approaches to Dialogue Modelling (TWLT9) , 1995 .

[234]  John B. Raley Factors Affecting the Programming Performance of Computer Science Students , 1996 .

[235]  B. W. van Schooten Process- and agent-based modelling techniques for dialogue systems and virtual environments , 2000 .

[236]  F. J. Wiesman,et al.  Information retrieval by graphically browsing meta-information , 1998 .

[237]  M. Roper,et al.  Object-oriented inspection in the face of delocalisation , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[238]  Alan F. Blackwell,et al.  Investment of attention as an analytic approach to cognitive dimensions , 1999, PPIG.

[239]  Tom Rodden,et al.  Exploring the design space for notification servers , 1998, CSCW '98.

[240]  Frank S. de Boer,et al.  Operational Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[241]  Eugueni Smirnov,et al.  Conjunctive and Disjunctive Version Spaces with Instance-based Boundary Sets , 2001 .