Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
A generator of direct manipulation office systems
ACM Transactions on Information Systems (TOIS)
A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
A knowledge-based user interface management system
CHI '88 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Modern structured analysis
A programming language basis for user interface
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Statemaster: A UIMS based on statecharts for prototyping and target implementation
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Automatic, look-and-feel independent dialog creation for graphical user interfaces
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
DON: user interface presentation design assistant
UIST '90 Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology
ITS: a tool for rapidly developing interactive applications
ACM Transactions on Information Systems (TOIS)
Open Look: graphical user interface application style guidelines
Open Look: graphical user interface application style guidelines
Automating the lexical and syntactic design of graphical user interfaces: the UofA* UIMS
ACM Transactions on Graphics (TOG)
Controlling user interface objects through pre- and postconditions
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Survey on user interface programming
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Coupling application design and user interface design
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Petri net objects for the design, validation and prototyping of user-driven interfaces
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
SCENARIOO: A new generation UIMS
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
Towards a dynamic strategy for computer-aided visual placement
AVI '94 Proceedings of the workshop on Advanced visual interfaces
AIDE: a step toward metric-based interface development tools
Proceedings of the 8th annual ACM symposium on User interface and software technology
Teachers in charge: model-based authoring of educational software
CHI '95 Conference Companion on Human Factors in Computing Systems
Abstract specification of user interfaces
CHI '95 Conference Companion on Human Factors in Computing Systems
Abstract specification of user interfaces
CHI '95 Conference Companion on Human Factors in Computing Systems
Towards a general computational framework for model-based interface development systems
IUI '99 Proceedings of the 4th international conference on Intelligent user interfaces
A Model-Based Interface Development Environment
IEEE Software
Interactions Model and Code Generation for J2ME Applications
Mobile HCI '02 Proceedings of the 4th International Symposium on Mobile Human-Computer Interaction
Conceptual modelling of web information systems
Data & Knowledge Engineering
PLUG-IN: using Tcl/Tk for plan-based user guidance
TCLTK '98 Proceedings of the 3rd Annual USENIX Workshop on Tcl/Tk - Volume 3
An extension of UML for the modeling of WIMP user interfaces
Journal of Visual Languages and Computing
GAIML: A new language for verbal and graphical interaction in chatbots
Mobile Information Systems - Information Assurance and Advanced Human-Computer Interfaces
A specification paradigm for the design and implementation of tangible user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
User interface declarative models and development environments: a survey
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
ERCIM'02 Proceedings of the User interfaces for all 7th international conference on Universal access: theoretical perspectives, practice, and experience
UI prototyping for multiple devices through specifying interaction design
INTERACT'07 Proceedings of the 11th IFIP TC 13 international conference on Human-computer interaction
Automatically generating personalized user interfaces with Supple
Artificial Intelligence
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
| Hi-index | 0.00 |
A method and a set of supporting tools have been developed for an improved integration of user interface design with software engineering methods and tools. Animated user interfaces for database-oriented applications are generated from an extended data model and a new graphical technique for specifying dialogues. Based on views defined for the data model, an expert system uses explicit design rules derived from existing guidelines for producing the static layout of the user interface. A petri net based technique called dialogue nets is used for specifying the dynamic behaviour. Output is generated for an existing user interface management system. The approach supports rapid prototyping while using the advantages of standard software engineering methods.