A task model-based approach for the design and evaluation of innovative user interfaces
暂无分享,去创建一个
[1] Alistair G. Sutcliffe,et al. Task-related information analysis , 1997, Int. J. Hum. Comput. Stud..
[2] Philippe A. Palanque,et al. A Visual and Formal Glue between Application and Interaction , 1999, J. Vis. Lang. Comput..
[3] Fabio Paternò,et al. Design and development of multidevice user interfaces through multiple logical descriptions , 2004, IEEE Transactions on Software Engineering.
[4] James D. Foley,et al. History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation , 1994, DSV-IS.
[5] John Rushby,et al. Using model checking to help discover mode confusions and other automation surprises , 2002, Reliab. Eng. Syst. Saf..
[6] Karsten Loer,et al. Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? , 2000, DSV-IS.
[7] Mary Beth Rosson,et al. Scenario-based design , 2002 .
[8] Ann Blandford,et al. Detecting Multiple Classes of User Errors , 2001, EHCI.
[9] Rocco De Nicola,et al. An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems , 1991, CAV.
[10] David E. Kieras,et al. The GOMS family of user interface analysis techniques: comparison and contrast , 1996, TCHI.
[11] R. Aho,et al. Pruning Duplicate Nodes in Depth-First Search , 1993 .
[12] Erik Hollnagel,et al. Human Reliability Analysis: Context and Control , 1994 .
[13] Gerrit C. van der Veer,et al. An Ontology for Task World Models , 1998, DSV-IS.
[14] Cathleen Wharton,et al. Cognitive Walkthroughs: A Method for Theory-Based Evaluation of User Interfaces , 1992, Int. J. Man Mach. Stud..
[15] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[16] John A. McDermid,et al. A development of hazard analysis to aid software design , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.
[17] Peter Johnson,et al. Beyond Hacking: a Model Based Approach to User Interface Design , 1993 .
[18] Jakob Nielsen,et al. Usability engineering , 1997, The Computer Science and Engineering Handbook.
[19] Waldemar Karwowski. Goals Operators Methods and Selection Rules (GOMS) , 2006 .
[20] K. D. Duncan,et al. TASK ANALYSIS AND TRAINING DESIGN. , 1967 .
[21] Fabio Paternò,et al. Automatic Support for Usability Evaluation , 1998, IEEE Trans. Software Eng..
[22] Fabio Paternò,et al. A Semantics‐based Approach for the Design and Implementation of Interaction Objects , 1994, Comput. Graph. Forum.
[23] Charles Radley,et al. Safeware: System safety and computers. A guide to preventing accidents and losses caused by technology , 1996 .
[24] Ivar Jacobson,et al. Object-Oriented Software Engineering , 1991, TOOLS.
[25] Chris W. Johnson,et al. Using Reason’s Model of Organisational Accidents in Formalising Accident Reports , 1999, Cognition, Technology & Work.
[26] G. E. Pfaff,et al. User Interface Management Systems , 1985, Eurographic Seminars.
[27] Jacob Eisenstein,et al. Towards a general computational framework for model-based interface development systems , 1998, IUI '99.
[28] Radu Mateescu,et al. An overview of CADP 2001 , 2001 .
[29] Gregory D. Abowd,et al. A formal technique for automated dialogue development , 1995, Symposium on Designing Interactive Systems.
[30] Alberto Del Bimbo,et al. A Visual Formalism for Computational Tree Logic , 1999, J. Vis. Lang. Comput..
[31] Fabio Paternò,et al. Designing Distributed Task Performance in Safety-Critical Systems Equipped With Mobile Devices , 2004, Human Error, Safety and Systems Development.
[32] David V. Beard,et al. QGOMS: a direct-manipulation tool for simple GOMS models , 1996, CHI Conference Companion.
[33] Michael D. Harrison,et al. Model Checking Interactor Specifications , 2001, Automated Software Engineering.
[34] Philippe A. Palanque,et al. Validating interactive system design through the verification of formal task and system models , 1995, EHCI.
[35] Angel R. Puerta,et al. A Model-Based Interface Development Environment , 1997, IEEE Softw..
[36] Richard Sharp. 2. Related Work , 2004 .
[37] Kimberly C. Parsons,et al. Work with display units1215 May 1986, Stockholm , 1986 .
[38] Ping Luo,et al. Beyond interface builders: model-based interface tools , 1993, INTERCHI.
[39] Mik Lamming,et al. Interactive system design , 1995 .
[40] Michael D. Harrison,et al. Folding Human Factors into Rigorous Development , 1994, DSV-IS.
[41] Allen Newell,et al. The psychology of human-computer interaction , 1983 .
[42] John R. Lee,et al. User Interface Management and Design , 1991, EurographicSeminars.
[43] H B TIMMERMAN,et al. What is task analysis? , 1951, Bulletin of the Medical Library Association.
[44] Nancy G. Leveson. Intent Specifications: An Approach to Building Human-Centered Specifications , 2000, IEEE Trans. Software Eng..
[45] Fabio Paterno. Design, specification, verification of interactive systems: an international workshop sponsored by EUROGRAPHICS, ERCIM and CNUCE-CNR , 1994, SGCH.
[46] Marti A. Hearst,et al. Comparing Performance and Usability Evaluation : New Methods for Automated Usability Assessment , 1999 .
[47] Philippe A. Palanque,et al. Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism , 1994, DSV-IS.
[48] Michael D. Byrne,et al. A comparison of tools for building GOMS models , 2000, CHI.
[49] Kevin Mullet,et al. Designing Visual Interfaces , 1996, SGCH.
[50] Jean Vanderdonckt,et al. A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype , 1994, DSV-IS.
[51] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[52] Fabio Paternò. A Theory of User-interaction Objects , 1994, J. Vis. Lang. Comput..
[53] R. M. Pitblado,et al. A Modified Hazop Methodology For Safety Critical System Assessment , 1993 .
[54] Gerrit C. van der Veer,et al. Euterpe - Tool support for analyzing cooperative environments , 1998 .
[55] Fabio Paternò,et al. Formal verification of undesired behaviours in the CERD case study , 1995, EHCI.
[56] Fabio Paternò,et al. User Interface Evaluation When User Errors May Have Safety-Critical Effects , 2001, INTERACT.
[57] Rocco De Nicola,et al. An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems , 1993, Comput. Networks ISDN Syst..
[58] Enrico Vicario,et al. Engineering the usability of visual formalisms: a case study in real time logics , 1998, AVI '98.
[59] Grady Booch,et al. Object-Oriented Analysis and Design with Applications , 1990 .
[60] Marc Rettig,et al. Prototyping for tiny fingers , 1994, CACM.
[61] Norman W. Paton,et al. The Teallach Tool: Using Models for Flexible User Interface Design , 1999, CADUI.
[62] Tom Carey,et al. Human-computer interaction , 1994 .
[63] Arthur Dainley-Neeles,et al. The Approach , 1925 .
[64] W. Buxton. Human-Computer Interaction , 1988, Springer Berlin Heidelberg.
[65] Fabio Paternò,et al. CTTE: Support for Developing and Analyzing Task Models for Interactive System Design , 2002, IEEE Trans. Software Eng..
[66] Philippe A. Palanque,et al. Petri net objects for the design, validation and prototyping of user-driven interfaces , 1990, INTERACT.
[67] Fabio Paternò,et al. Towards a UML for Interactive Systems , 2001, EHCI.
[68] Fabio Paternò,et al. Model-Based Design of Speech Interfaces , 2003, DSV-IS.
[69] Roland S. Burns,et al. 2 – System modelling , 2001 .
[70] Radu Mateescu,et al. Vérification des propriétés temporelles des programmes parallèles , 1998 .
[71] Philippe A. Palanque,et al. Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques , 1997, Interact. Comput..
[72] Shailey Minocha,et al. An impact analysis method for safety-critical user interface design , 1999, TCHI.
[73] Michael D. Harrison,et al. The Role of Verification in Interactive Systems Design , 1998, DSV-IS.
[74] H. Rex Hartson,et al. Temporal Aspects of Tasks in the User Action Notation , 1992, Hum. Comput. Interact..
[75] Birgit Bomsdorf,et al. Specification and simulation of task models with VTMB , 1999, CHI EA '99.
[76] Fabio Paternò,et al. Deriving Presentations from Task Models , 1998, EHCI.
[77] Alain Kerbrat,et al. CADP - A Protocol Validation and Verification Toolbox , 1996, CAV.
[78] Chin-Laung Lei,et al. Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) , 1986, LICS.
[79] Fabio Paternò,et al. Tool support for designing nomadic applications , 2003, IUI '03.
[80] Fabio Paternò,et al. Using information in task models to support design of interactive safety-critical applications , 2000, AVI '00.
[81] Ray Waddington,et al. Task-Related Knowledge Structures: Analysis, Modelling and Application , 1988, BCS HCI.
[82] M. van Welie,et al. Task-based User Interface Design , 2001 .
[83] Panagiotis Markopoulos,et al. A compositional model for the formal specification of user interface software , 2013 .
[84] Philippe A. Palanque,et al. Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems , 1997, INTERACT.
[85] Stephen Travis Pope,et al. A cookbook for using the model-view controller user interface paradigm in Smalltalk-80 , 1988 .
[86] Joëlle Coutaz,et al. PAC, an Object Oriented Model for Dialog Design , 1987 .
[87] A J McKnight,et al. TASK ANALYSIS METHODS , 1970 .