A graphical, extensible integrated environment for software development
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Review of the environments symposium
ACM SIGSOFT Software Engineering Notes
UIMS support for direct manipulation interfaces
ACM SIGGRAPH Computer Graphics
Bibliography of software tools for user interface development
ACM SIGGRAPH Computer Graphics
Dialog management in interactive systems: a comparative survey
ACM SIGCHI Bulletin
A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Logical composition of object-oriented interfaces
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Abstract interaction tools: a language for user interface management systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A comparison of techniques for the specification of external system behavior
Communications of the ACM
An Semantic Feedback in the Higgens UIMS
IEEE Transactions on Software Engineering
A System for Specification and Rapid Prototyping of Application Command Languages
IEEE Transactions on Software Engineering
User interface design from a real time perspective
Communications of the ACM
A grammar-based approach to automatic generation of user-interface dialogues
CHI '88 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Dialogue management: support for dialogue independence
MIS Quarterly
Human-computer interface development: concepts and systems for its management
ACM Computing Surveys (CSUR)
The mirage rapid interface prototyping system
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
Statemaster: A UIMS based on statecharts for prototyping and target implementation
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
An annotated bibliography on user interface design
ACM SIGCHI Bulletin
Toward reliable reactive systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Integrating gesture and snapping into a user interface toolkit
UIST '90 Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology
Design process and decision rationale models for the N-Chime interface system
ACM SIGCHI Bulletin
Impacts of life cycle models on software configuration management
Communications of the ACM
Automating the lexical and syntactic design of graphical user interfaces: the UofA* UIMS
ACM Transactions on Graphics (TOG)
Probabilistic state machines: dialog management for inputs with uncertainty
UIST '92 Proceedings of the 5th annual ACM symposium on User interface software and technology
Generating user interfaces from data models and dialogue net specifications
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Specification of interface interaction objects
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Early specification of user-interfaces: toward a formal approach
ICSE '97 Proceedings of the 19th international conference on Software engineering
Model checking graphical user interfaces using abstractions
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Developing application independent interfaces for workstations in a distributed environment
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
Direct-manipulation user interface modeling with high-level Petri nets
CSC '91 Proceedings of the 19th annual conference on Computer Science
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
The Construction of User Interfaces and the Object Paradigm
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
The mapping problem back and forth: customizing dynamic models while preserving consistency
TAMODIA '04 Proceedings of the 3rd annual conference on Task models and diagrams
Extensible input handling in the subArctic toolkit
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Debugging user interface descriptions of knowledge-based recommender applications
Proceedings of the 11th international conference on Intelligent user interfaces
Dynamic Power Optimization Targeting User Delays in Interactive Systems
IEEE Transactions on Mobile Computing
Task-driven automated component deployment for ambient intelligence environments
Pervasive and Mobile Computing
A language-driven approach for the design of interactive applications
Interacting with Computers
Journal of Systems and Software
SwingStates: adding state machines to Java and the Swing toolkit
Software—Practice & Experience
Applying Graph Theory to Interaction Design
Engineering Interactive Systems
Usability framework for the design and evaluation of multimodal interaction
BCS-HCI '08 Proceedings of the 22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction - Volume 2
Model-Based Testing of GUI-Driven Applications
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Modelling form-based interfaces with bipartite state machines
Interacting with Computers
Model driven development of user interface prototypes: an integrated approach
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
A framework for robust and flexible handling of inputs with uncertainty
UIST '10 Proceedings of the 23nd annual ACM symposium on User interface software and technology
Monte carlo methods for managing interactive state, action and feedback under uncertainty
Proceedings of the 24th annual ACM symposium on User interface software and technology
Constrained data acquisition for mobile citizen science applications
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Journal of Systems and Software
| Hi-index | 0.05 |
User Software Engineering is a methodology for the specification and implementation of interactive information systems. An early step in the methodology is the creation of a formal executable description of the user interaction with the system, based on augmented state transition diagrams. This paper shows the derivation of the USE transition diagrams based on perceived shortcomings of the "pure" state transition diagram approach. In this way, the features of the USE specification notation are gradually presented and illustrated. The paper shows both the graphical notation and the textual equivalent of the notation, and briefly describes the automated tools that support direct execution of the specification.