Conference preview: HCI 2000: usability or else!

From the Publisher: If you are interested in understanding how the systematic use of task models in the design, development, and usability evaluation of interactive software applications can open new opportunities and possibilities then this book will help you do just that. Fabio Paterno also discusses related issues relevant to designing user interfaces and provides a state-of-the-art review of the field, including recently developed methods, current results and problems and trends." "Software Engineers will also find Model-Based Design and Evaluation of Interactive Applications a great help when developing projects.

[1]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[2]  John C. Thomas,et al.  Putting it all together: pattern languages for interaction design , 1997, CHI Extended Abstracts.

[3]  Jürgen Ziegler,et al.  Generating user interfaces from data models and dialogue net specifications , 1993, INTERCHI.

[4]  James D. Foley,et al.  Controlling user interface objects through pre- and postconditions , 1992, CHI.

[5]  William Buxton,et al.  Lexical and pragmatic considerations of input structures , 1983, COMG.

[6]  Janusz Zalewski,et al.  Object-oriented software engineering. A use case driven approach , 1993 .

[7]  Wayne D. Gray,et al.  Damaged Merchandise? A Review of Experiments That Compare Usability Evaluation Methods , 1998, Hum. Comput. Interact..

[8]  Ray Waddington,et al.  Task-Related Knowledge Structures: Analysis, Modelling and Application , 1988, BCS HCI.

[9]  Anthony J. Hornof,et al.  GLEAN: a computer-based tool for rapid GOMS model usability evaluation of user interface designs , 1995, UIST '95.

[10]  F. Paterno,et al.  Engineering task models , 1997, Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168).

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

[12]  Fabio Paternò,et al.  A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications , 1995, DSV-IS.

[13]  Fabio Paternò,et al.  Deriving Presentations from Task Models , 1998, EHCI.

[14]  H. Rex Hartson,et al.  Temporal Aspects of Tasks in the User Action Notation , 1992, Hum. Comput. Interact..

[15]  Robin Jeffries,et al.  User interface evaluation in the real world: a comparison of four techniques , 1991, CHI.

[16]  James D. Foley,et al.  Coupling a UI framework with automatic generation of context-sensitive animated help , 1990, UIST '90.

[17]  Gregory D. Abowd,et al.  A formal technique for automated dialogue development , 1995, Symposium on Designing Interactive Systems.

[18]  Steven F. Roth,et al.  Data characterization for intelligent graphics presentation , 1990, CHI '90.

[19]  Noi Sukaviriya,et al.  Automatic generation of textual, audio, and animated help in UIDE: the User Interface Design , 1994, AVI '94.

[20]  Ben Shneiderman,et al.  Designing The User Interface , 2013 .

[21]  Jock D. Mackinlay,et al.  Automating the design of graphical presentations of relational information , 1986, TOGS.

[22]  Ping Luo,et al.  Facilitating the exploration of interface design alternatives: the HUMANOID model of interface design , 1992, CHI.

[23]  David Maulsby,et al.  U-TEL: a tool for eliciting user task models from domain experts , 1998, IUI '98.

[24]  Fabio Paternò,et al.  Design of multimedia semantic presentation templates: options, problems and criteria of use , 1998, AVI '98.

[25]  Bob Fields,et al.  Analysing User Deviations in Interactive Safety-Critical Applications , 1999, DSV-IS.

[26]  Joseph F. Dumas,et al.  A Practical Guide to Usability Testing , 1993 .

[27]  Judy Brown,et al.  The Vista environment for the coevolutionary design of user interfaces , 1998, CHI.

[28]  Fabio Paternò,et al.  Automatic Support for Usability Evaluation , 1998, IEEE Trans. Software Eng..

[29]  Kee Yong Lim,et al.  The MUSE Method for Usability Engineering , 1997, INTERACT.

[30]  Fabio Paternò,et al.  An Approach to the Formal Specification of the Components of an Interaction , 1990, Eurographics.

[31]  Peter Johnson,et al.  Beyond Hacking: a Model Based Approach to User Interface Design , 1993 .

[32]  Egbert Schlungbaum,et al.  Automatic User Interface Generation from Declarative Models , 1996, CADUI.

[33]  Alistair G. Sutcliffe,et al.  Task-related information analysis , 1997, Int. J. Hum. Comput. Stud..

[34]  Andrew Sears,et al.  AIDE: a step toward metric-based interface development tools , 1995, UIST '95.

[35]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[36]  Philip J. Barnard,et al.  Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge , 1994, DSV-IS.

[37]  Jock D. Mackinlay,et al.  Cone Trees: animated 3D visualizations of hierarchical information , 1991, CHI.

[38]  Jean Vanderdonckt,et al.  Visual techniques for traditional and multimedia layouts , 1994, AVI '94.

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

[40]  Richard M. Young,et al.  Introduction to This Special issue on Cognitive Architectures and Human-Computer , 1997, Hum. Comput. Interact..

[41]  Kari Systä.  Adding user interface to a behavioural specification , 1995, EHCI.

[42]  Alistair G. Sutcliffe,et al.  Designing presentation in multimedia interfaces , 1994, CHI '94.

[43]  Andrew Sears,et al.  Layout Appropriateness: A Metric for Evaluating User Interface Widget Layout , 1993, IEEE Trans. Software Eng..

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

[45]  Phyllis Reisner,et al.  Formal Grammar and Human Factors Design of an Interactive Graphics System , 1981, IEEE Transactions on Software Engineering.

[46]  Jeannette M. Wing,et al.  A formal specification of a visual language editor , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.

[47]  Cathleen Wharton,et al.  Cognitive Walkthroughs: A Method for Theory-Based Evaluation of User Interfaces , 1992, Int. J. Man Mach. Stud..

[48]  James D. Foley,et al.  Providing high-level control and expert assistance in the user interface presentation design , 1993, INTERCHI.

[49]  Sidney L. Smith,et al.  Guidelines for Designing User Interface Software , 1986 .

[50]  Fabio Paternò,et al.  Model-aided Remote Usability Evaluation , 1999, INTERACT.

[51]  Ping Luo,et al.  Beyond interface builders: model-based interface tools , 1993, INTERCHI.

[52]  Shijian Lu,et al.  Toward the Automatic Construction of Task Models from Object-Oriented Diagrams , 1998, EHCI.

[53]  H. C. Wilson,et al.  Hazop and Hazan: Identifying and Assessing Process Industry Hazards, 4th edition , 2001 .

[54]  Jacob Eisenstein,et al.  Towards a general computational framework for model-based interface development systems , 1998, IUI '99.

[55]  Gregory D. Abowd,et al.  The context toolkit: aiding the development of context-enabled applications , 1999, CHI '99.

[56]  K. D. Duncan,et al.  TASK ANALYSIS AND TRAINING DESIGN. , 1967 .

[57]  Jeff A. Johnson.  Selectors: going beyond user-interface widgets , 1992, CHI '92.

[58]  Stephen J. Payne,et al.  Task-Action Grammars: A Model of the Mental Representation of Task Languages , 1987, SGCH.

[59]  Saul Greenberg,et al.  Building real-time groupware with GroupKit, a groupware toolkit , 1996, TCHI.

[60]  James D. Foley,et al.  The human factors of computer graphics interaction techniques , 1984, IEEE Computer Graphics and Applications.

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

[62]  Eric Cheng,et al.  MOBILE: user-centered interface building , 1999, CHI '99.

[63]  Fabio Paternò,et al.  Developing task models from informal scenarios , 1999, CHI EA '99.

[64]  Fabio Paternò,et al.  On the use of LOTOS to describe graphical interaction , 1993 .

[65]  John T. Kelso,et al.  Remote evaluation: the network as an extension of the usability laboratory , 1996, CHI.

[66]  Jade Goldstein-Stewart,et al.  Interactive graphic design using automatic presentation knowledge , 1994, CHI Conference Companion.

[67]  Antonio C. Siochi,et al.  Computer analysis of user interfaces based on repetition in transcripts of user sessions , 1991, TOIS.

[68]  Dan R. Olsen,et al.  SYNGRAPH: A graphical user interface generator , 1983, SIGGRAPH.

[69]  Pablo Castells,et al.  Declarative interface models for user interface construction tools: the MASTERMIND approach , 1995, EHCI.

[70]  Guy Durrieu,et al.  Helping the automated validation process of user interfaces systems , 1998, Proceedings of the 20th International Conference on Software Engineering.

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

[72]  Wolfgang Prinz,et al.  Supporting Cooperative Awareness with Local Event Mechanisms: The GroupDesk System , 1995, ECSCW.

[73]  Gerrit C. van der Veer,et al.  An Ontology for Task World Models , 1998, DSV-IS.

[74]  Bob Fields,et al.  A task centered approach to analysing human error tolerance requirements , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[75]  Francis Jambon,et al.  Using the B Formal Approach for Incremental Specification Design of Interactiv Systems , 1998, EHCI.

[76]  Michael D. Byrne,et al.  A tool for creating predictive performance models from user interface demonstrations , 1999, UIST '99.

[77]  Fabio Paternò,et al.  RemUSINE: a bridge between empirical and model-based evaluation when evaluators and users are distant , 2000, Interact. Comput..

[78]  Joëlle Coutaz,et al.  Plasticity of User Interfaces: Framework and Research Agenda , 1999, INTERACT.

[79]  Michael J. Tauber,et al.  ETAG: Extended task action grammar. A language for the description of the user's task language , 1990, INTERACT.

[80]  David Benyon,et al.  Adaptive Systems : from intelligent tutoring to autonomous agents 1 , 1993 .

[81]  Fabio Paternò.  Formal Reasoning about Dialogue Properties with Automatic Support , 1997, Interact. Comput..

[82]  H. Rex Hartson,et al.  Remote evaluation for post-deployment usability improvement , 1998, AVI '98.

[83]  Fabio Paternò.  A Theory of User-interaction Objects , 1994, J. Vis. Lang. Comput..

[84]  David Maulsby,et al.  Management of interface design knowledge with MOBI-D , 1997, IUI '97.

[85]  Angel R. Puerta,et al.  A Model-Based Interface Development Environment , 1997, IEEE Softw..

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

[87]  Fabio Paternò,et al.  Automatic generation of task-oriented help , 1995, UIST '95.

[88]  Fabio Paternò,et al.  A Semantics‐based Approach for the Design and Implementation of Interaction Objects , 1994, Comput. Graph. Forum.

[89]  Fabio Paternò,et al.  Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control , 1998, DSV-IS.

[90]  K. T. Narayana,et al.  Formal Specification of a Look Manager , 1990, IEEE Trans. Software Eng..