Translation of attribute grammars into procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal languages
Designing the user interface (videotape)
Designing the user interface (videotape)
A state model of direct manipulation in interactive systems
Formal methods in human-computer interaction
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
A bootstrap approach to visual user-interface design and development
The Visual Computer: International Journal of Computer Graphics - Special issue on visual user interface design tools
The management of end-user computing: status and directions
ACM Computing Surveys (CSUR)
KidSim: programming agents without a programming language
Communications of the ACM
Interaction as a basis for empirical computer science
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Conditional attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGCHI Bulletin
Why interaction is more powerful than algorithms
Communications of the ACM
A Parsing Methodology for the Implementation of Visual Systems
IEEE Transactions on Software Engineering
A survey of visual language specification and recognition
Visual language theory
Relational grammars: theory and practice in a visual language interface for process modeling
Visual language theory
How to represent a visual specification
Visual language theory
Specification of visual languages as means for interaction
Visual language theory
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Introduction to Computer Graphics
Introduction to Computer Graphics
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Architectural Design for User Interfaces
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
The use of semantic constraints on diagram editors
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
A graph grammar approach to graphical parsing
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Automatic construction of user interfaces from constraint multiset grammars
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Visual Conditional Attributed Rewriting Systems in Visual Language Specification
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
A graph based framework for the implementation of visual environments
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Diagram Editing with Hypergraph Parser Support
VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
On the Specification of Dynamic Visual Languages
VL '98 Proceedings of the IEEE Symposium on Visual Languages
A completely visual environment for agent-based computing
AVI '98 Proceedings of the working conference on Advanced visual interfaces
Defining visual languages for interactive computing
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Using extended positional grammars to develop visual modeling languages
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
On the Definition of Visual Languages and Their Editors
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
User-Driven Adaptation of e-Documents
AH '02 Proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Workshop on Graph Transformation and Visual Modeling Techniques
ICGT '02 Proceedings of the First International Conference on Graph Transformation
On electronic annotation and its implementation
Proceedings of the working conference on Advanced visual interfaces
Annotating illuminated manuscripts: an effective tool for research and education
Proceedings of the 5th ACM/IEEE-CS joint conference on Digital libraries
Increasing XML interoperability in Visual Rewriting Systems
WebMedia '05 Proceedings of the 11th Brazilian Symposium on Multimedia and the web
Constructing Meta-CASE Workbenches by Exploiting Visual Language Generators
IEEE Transactions on Software Engineering
Supporting interaction and co-evolution of users and systems
Proceedings of the working conference on Advanced visual interfaces
Spatial graph grammars for graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Visual language implementation through standard compiler-compiler techniques
Journal of Visual Languages and Computing
A formal model of annotations of digital content
ACM Transactions on Information Systems (TOIS)
Supporting co-evolution of users and systems by the recognition of interaction patterns
Proceedings of the Working Conference on Advanced Visual Interfaces
Environments to support context and emotion aware visual interaction
Journal of Visual Languages and Computing
Journal of Visual Languages and Computing
Multimodal interactive systems to manage networked human work
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Spatial and temporal aspects in visual interaction
Journal of Visual Languages and Computing
| Hi-index | 0.00 |
Computers are increasingly being seen not only as computing tools but more so as communication tools, thus placing special emphasis on human-computer interaction (HCI). In this article, the focus is on visual HCI, where the messages exchanged between human and computer are images appearing on the computer screen, as usual in current popular user interfaces. We formalize interactive sessions of a human-computer dialogue as a structured set of legal visual sentences, i.e., as a visual language, and show how rewriting systems can be generalized to specify both the pictorial and the computational aspects of visual languages. To this end, Visual Conditional Attributed Rewriting (VCARW) systems are introduced, and use for specification of visual languages. These specifications are given as inputs to a procedure illustrated in the article as a system of algorithms, which automatically generates control mechanisms of the interaction, thus favoring the design of more reliable and usable systems.