David A. Carr  Home/Search
Context Related
| sm.luth.se/~david/./postsc...animate.ps java.cdt.luth.se/~david/./...animate.ps cdt.luth.se/~david//postsc...animate.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sm.luth.se/~david/ (more) From: java.cdt.luth.se/~david/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many different methods have been used to specify user interfaces: algebraic specification, grammars, task description languages, transition diagrams with and without extensions, rule-based systems, and by demonstration. However, none of these methods has been widely adopted. Current user interfaces are still built by writing a program, perhaps with the aid of a UIMS. There are two principal reasons for this. First, specification languages are difficult to use. Reading a specification and... (Update)
Context of citations to this paper: More
.... they seem to be more understandable, experiments with actual users show that error rates when manually interpreting them are high (Carr 1996). This is not a problem isolated to IOGs, but seems to apply to all specification methods. This suggests that the specification...
.... Introduction There have been several articles presenting or comparing existing notations, languages, formalisms and environments [7,9,11]. However, up to now, none has considered the Esterel language and its environment [4] In this article, we would like to contribute to...
Cited by: More
Specification and Verification of Interactors: A Tour of.. - Fekete, Richard.. (Correct)
Interaction Object Graphs: An Executable Graphical Notation for.. - Carr (1997) (Correct)
Similar documents (at the sentence level):
23.2%: Using Interaction Object Graphs To Specify Graphical.. - Carr, Jog, Kumar.. (1994) (Correct)
16.1%: Specification of Interface Interaction Objects - Carr (1993) (Correct)
Active bibliography (related documents): More All
0.6: A Software Model and Specification Language for.. - Jacob.. (1999) (Correct)
0.5: Why Johnny Won't Visualize - Kraemer, Tudoreanu, Taylor (Correct)
0.5: Natural Programming: Project Overview and Proposal - Myers (1998) (Correct)
Similar documents based on text: More All
0.4: Course Introduction - HCI Component (slides) - Carr (1999) (Correct)
0.3: An Application of the Singular Value Decomposition to OFDM.. - Edfors, al. (1996) (Correct)
0.2: Using Execution Trace Data to Improve Distributed Systems - Moe, Carr (2002) (Correct)
BibTeX entry: (Update)
Carr, D. (1996) Toward more understandable user interface specifications. Design, Specification, and Verification of Interactive Systems '96. F. Bodart & J. Vanderdonckt(Eds.) Springer-Verlag, Vienna, pp. 141-161. http://citeseer.ist.psu.edu/carr96toward.html More
@inproceedings{ carrcarrtoward,
author = "D. A. Carr",
title = "Toward More Understandable User Interface Specifications",
booktitle = "Design, Specification and Verification of Interactive Systems '96",
publisher = "Springer-Verlag",
address = "Wien",
editor = "F. Bodart and J. Vanderdonckt",
pages = "141--161",
url = "citeseer.ist.psu.edu/carr96toward.html" }
Citations (may not include all citations):174 TANGO: A Framework and System for Algorithm Animation (context) - John - 1990
140 On Visual Formalisms - David - 1988
77 PASCAL User Manual and Report (context) - Kathleen, Wirth - 1975
63 Creating User Interfaces by Demonstration (context) - Brad - 1988
62 Techniques for Algorithm Animation (context) - Brown, Sedgewick - 1985
56 PECAN: Program Development Systems that Support Multiple Vie.. (context) - Steven - 1990
42 The UAN: A User-Oriented Representation for Direct Manipulat.. (context) - Hartson, Rex - 1990
34 A Specification Language for Direct-Manipulation User Interf.. - Robert - 1986
27 Extending State Transition Diagrams for the Specification of.. (context) - Anthony - 1985
25 Formal Specification as a Design Tool (context) - John, Horning - 1980
24 Temporal Aspects of Tasks in the User Action Notation (context) - Hartson, Rex - 1992
22 Druid: A System for Demonstrational Rapid User Interface Dev.. (context) - Gurminder, Kok et al. - 1990
20 PICT: An Interactive Graphical Programming Environment (context) - Ephraim, Steven et al. - 1990
19 Creating Interactive Techniques by Symbolically Solving Geom.. (context) - Dan, Jr et al. - 1990
15 Petri Net Based Design of User-Driven Interfaces Using the I.. - Phillipe, Bastide - 1994
12 Task Oriented Representation of Asynchronous User Interfaces (context) - Antonio, Hartson - 1989
10 Controlling User Interface Objects Through Pre- and Postcond.. - Daniel, Foley - 1992
10 Statemaster: A UIMS Based on Statecharts for Prototyping and.. (context) - Pierre - 1989
8 Graphical Specification of Flexible User Interface Displays (context) - Scott - 1989
7 Multiparty Grammars and Related Features for Defining Intera.. (context) - Ben - 1982
7 Supporting Concurrency, Communication, and Synchronization i.. (context) - Ralph - 1986
7 XUAN: Enhancing UAN To Capture Temporal Relationships Among .. (context) - Gray, England et al. - 1994
6 Touchscreen Toggle Design (context) - Catherine, Wallace - 1992
6 Specification of Interface Interaction Objects - David - 1994
5 A System for Displaying Data Structures (context) - Brad - 1983
5 The Structure of Command Languages: An Experiment on Task-Ac.. (context) - Stephen, Green - 1989
3 VIPEX: Visual Programming of Experimental Systems (context) - Volker, Moller - 1990
3 A System for Specifying and Rapidly Prototyping User Interfa.. (context) - Rouff, Horowitz - 1991
2 A Compact Graphical Representation of User Interface Interac.. (context) - David - 1995
2 Toward Visual Debugging: Integrating Algorithm Animation Cap.. (context) - Sougata, Stasko - 1994
2 When Do Diagrams Make Good Computer Languages (context) - Fitter, Green - 1979
1 A Framework for Precise Reusable Task Abstractions (context) - Hartson, Rex - 1994
1 Linked-List Visualization Systems (context) - Shimomura, Isoda - 1990
Documents on the same site (http://www.sm.luth.se/~david/): More
The Effects of Time Delays on a Telepathology User Interface - David Carr (1992) (Correct)
Specification of Interface Interaction Objects - Carr (1994) (Correct)
A Local Acknowledgement Mechanism for Reliable Multicasting - Motycková, Carr (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC