MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Automatic Generation of Interactive Systems from Declarative Models (1997) [9 citations — 6 self]

by R. E. Kurt Stirewalt ,  Gregory Abowd Co-chairman ,  Edmund Clarke ,  James Foley ,  Scott Hudson ,  H. Venkateswaran
Add To MetaCart

Abstract:

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].

Citations

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