Interaction Objects (AIOs) and Concrete Interaction Objects (CIOs). Though Trident does not contain an explicit task model, its representations are derived from a TKS[57] specified hierarchical task model. The melding of methodology and model representation in Trident is impressive. In [15], Bodart et al. demonstrate how TKS models suggest entities and relationships, from which the data model can be derived, and temporal ordering cues from which the Activity Chaining Graph can be derived. Furthermore, these models suggest candidate abstract interaction objects that constitute the presentation of an interactive system[14].
|
3853
|
Design Patterns: Elements of Reusable Object-Oriented Software
– Gamma, Helm, et al.
- 1995
|
|
2870
|
Introduction to automata theory, languages and computation
– Hopcroft, Ullman
- 1979
|
|
2751
|
Communicating sequential processes
– Hoare
- 1978
|
|
2701
|
Communication and Concurrency
– Milner
- 1989
|
|
1751
|
Statecharts: A visual formalism for complex systems
– Harel
- 1987
|
|
1577
|
Model checking
– Clarke, Grumberg, et al.
- 1999
|
|
1044
|
Structural approach to operational semantics
– Plotkin
- 1981
|
|
987
|
The Z Notation: A Reference Manual
– Spivey
|
|
984
|
Automatic verification of finite-state concurrent systems using temporal logic specifications
– Clarke, Emerson, et al.
- 1986
|
|
715
|
A spiral model of software development and enhancement
– Boehm
- 1986
|
|
706
|
The Java Programming Language
– Arnold, Gosling
- 1996
|
|
552
|
The Esterel synchronous programming language: design, semantics, implementation
– Berry, Gonthier
- 1992
|
|
533
|
The architecture of cognition
– Anderson
- 1983
|
|
499
|
A formal basis for architectural connection
– Allen, Garlan
- 1997
|
|
497
|
A Cookbook for Using Model-View-Controller User Interface Paradigm
– Krasner, Pope
- 1988
|
|
412
|
Symbolic Model Checking: An Approach to the State Explosion Problem”, Carnegie Mellon University publication CMU-CS-92-131
– McMillan
- 1992
|
|
340
|
The psychology of human-computer interaction. Lawrence Erlbaum
– Card, T, et al.
- 1983
|
|
142
|
YACC - Yet Another Compiler Compiler
– Johnson
- 1975
|
|
124
|
State-based model checking of event-driven system requirements
– Atlee, Gannon
- 1993
|
|
123
|
The keystroke-level model for user performance with interactive systems
– Card, Moran, et al.
- 1980
|
|
115
|
An approach to the formal analysis of user complexity
– Kieras
- 1985
|
|
113
|
Conjunction as composition
– Zave, Jackson
- 1993
|
|
104
|
The Amulet environment: New models for effective user-interface software development
– Myers
- 1997
|
|
94
|
Survey on user interface programming
– Myers, Rosson
- 1992
|
|
92
|
Symbolic model checking: states and beyond
– Burch, Clarke, et al.
- 1990
|
|
86
|
Beyond Interface Builders: Model-Based Interface Tools
– Szekely, Luo, et al.
- 1993
|
|
72
|
A new model for handling input
– Myers
- 1990
|
|
70
|
Encapsulating knowledge for intelligent automatic interaction objects selection
– Vanderdonckt, Bodart
- 1993
|
|
69
|
Task analysis for human-computer interaction
– Diaper
- 1989
|
|
69
|
Human-Computer Interface Development: Concepts and Systems for Its Management
– Hartson, Hix
- 1989
|
|
62
|
The human factors of computer graphics interaction techniques
– Foley, Wallace, et al.
- 1984
|
|
59
|
User Interface Management Systems
– Pfaff, Ed
- 1985
|
|
58
|
Elements of style: Analyzing a software design feature with a counterexample detector
– Jackson, Damon
- 1996
|
|
58
|
A Second Generation User Interface Design Environment: The Model and the Runtime Architecture
– Foley, Sukaviriya, et al.
- 1993
|
|
57
|
Generating User Interfaces from Data Models and Dialogue Net Specifications
– Janssen, Weisbecker, et al.
- 1993
|
|
55
|
The MECANO Project: Comprehensive and Integrated Support for Model-Based Interface Development
– Puerta
- 1996
|
|
53
|
Reusable hierarchical command objects
– Myers, Kosbie
- 1996
|
|
52
|
Developing Software for the User Interface
– Bass, Coutaz
- 1991
|
|
52
|
The UAN: A User-Oriented Representation for Direct Manipulation Interface Designs
– Hartson, Siochi, et al.
- 1990
|
|
51
|
Declarative Interface Models for User Interface Construction Tools: the MASTERMIND Approach
– Szekely
- 1995
|
|
47
|
Squeak: A Language for Communicating with Mice
– CARDELLI, PIKE
- 1985
|
|
45
|
The Command Language Grammar: A representation for the use interface of interactive computer systems
– Moran
- 1981
|
|
44
|
Coupling A UI Framework with Automatic Generation of Context-Sensitive Animated Help
– Sukaviriya, Foley
- 1990
|
|
42
|
GLEAN: A Computer-Based Tool for Rapid GOMS Model Usability Evaluation of User Interface Designs
– Kieras, Wood, et al.
- 1995
|
|
41
|
The operational versus the conventional approach to software development
– Zave
- 1984
|
|
40
|
On Concurrent Programming
– Schneider
- 1997
|
|
39
|
UIDE - An Intelligent User Interface Design Environment
– Foley, Kim, et al.
- 1991
|
|
35
|
Formal aspects of human-computer interaction
– Abowd
- 1991
|
|
33
|
A model-based approach to presentation: A continuum from task analysis to prototype
– Bodart
- 1994
|
|
27
|
an Implemention Model for Dialog Design
– PAC
- 1987
|