Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A cookbook for using the model-view controller user interface paradigm in Smalltalk-80
Journal of Object-Oriented Programming
Structuring dialogues using CSP
Formal methods in human-computer interaction
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Survey on user interface programming
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Formal aspects of human-computer interaction
Formal aspects of human-computer interaction
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the use of LOTOS to describe graphical interaction
HCI'92 Proceedings of the conference on People and computers VII
Knowledgeable development environments using shared design models
IUI '93 Proceedings of the 1st international conference on Intelligent user interfaces
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Declarative models of presentation
Proceedings of the 2nd international conference on Intelligent user interfaces
The Amulet Environment: New Models for Effective User Interface Software Development
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
MDL: a language for binding UI models
Proceedings of the third international conference on Computer-aided design of user interfaces
Communication and Concurrency
Developing Software for the User Interface
Developing Software for the User Interface
A Compositional Approach to Multiparadigm Programming
IEEE Software
Declarative interface models for user interface construction tools: the MASTERMIND approach
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
Automating UI Generation by Model Composition
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Automatic generation of interactive systems from declarative models
Automatic generation of interactive systems from declarative models
On the composition of interactor specifications
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Solving the mapping problem in user interface design by seamless integration in IDEALXML
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
| Hi-index | 0.00 |
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications. To specify more powerful systems, designers require multiple specialized modeling notations. The model-composition problem is concerned with automatically synthesizing powerful, correct, and efficient user interfaces from multiple models specified in different notations. Solutions to the model-composition problem must balance the advantages of separating code generation into specialized code generators each able to take advantage of deep, model-specific knowledge against the correctness and efficiency obstacles that result from such separation. We present a correct and efficient solution that maximizes the advantage of separation by using run-time composition mechanisms.