|
318
|
Usability Analysis of Visual Programming Environments: a `cognitive dimensions' framework
– T. R. G. Green, M. Petre
- 1996
|
|
204
|
A Taxonomy of Software Visualization
– Blaine A. Price, Ian S. Small, Ronald M. Baecker
- 1992
|
|
7
|
An Introduction to the Cognitive Dimensions Framework. Paper presented at the MIRA Workshop
– T R G Green
- 1996
|
|
5
|
Knowledge Engineering for Planning Roadmap. http://scom.hud.ac.uk/planet
– T L McCluskey, R Aler, D Borrajo, P Haslum, P Jarvis, U Scholz
- 2000
|
|
2
|
Evaluating a formal KBS specification language
– Frank van Harmelen, Manfred Aben, Fidel Ruiz, Joke van de Plassche
- 1996
|
|
9
|
Object Transition Sequences: A New Form of Abstraction for HTN Planners
– T. L. Mccluskey
- 2000
|
|
30
|
The B-method: An introduction, Palgrave
– Sch02 Steve Schneider
- 2002
|
|
18
|
TF Method: An Initial Framework for Modelling and Analysing Planning Domains
– Austin Tate, Stephen T. Polyak, Peter Jarvis
- 1998
|
|
10
|
The Use of Condition Types to Restrict Search in an AI Planner
– Austin Tate, Brian Drabble, Jeff Dalton, South Bridge
- 1994
|
|
49
|
Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency
– T. L. Mccluskey, J.M. Porteous
- 2000
|
|
46
|
On Formal Requirements Modeling Languages: RML Revisited
– Sol Greenspan, John Mylopoulos, Alex Borgida
- 1994
|
|
114
|
Complexity results for planning
– T Bylander
- 1991
|
|
21
|
DDL.1: a formal description of a constraint representaton language for physical domains
– A Cesta, A Oddi
- 1996
|
|
18
|
The architecture and implementation of cpn2000, a post-wimp graphical application
– M Beaudouin-Lafon, H M Lassen
- 2000
|
|
127
|
Two-Handed Input in a Compound Task
– Paul Kabbash, et al.
- 1994
|
|
195
|
Empirical studies of programming knowledge
– E &EHRLICH SOLOWAY, K
- 1984
|
|
1041
|
Extreme Programming Explained: Embracing Change
– K Beck
- 1999
|
|
3
|
Qualitative and Quantitative Evaluation of Software Visualization Tools. Master's thesis, Université de
– Sarita Bassil, Rudolf K. Keller, Département Iro
- 2000
|
|
3
|
On the Use of Visualization to Support Awareness of Human Activities
– M Storey, D Cubranic, D German
- 2005
|