The Model-Composition Problem in User-Interface Generation
Automated Software Engineering
Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering
Reasoning about Interactive Systems with Stochastic Models
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
A Teaching and Support Tool for Building Formal Models of Graphical User-Interfaces
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Designing Hypermedia Documentation for Safety Critical Applications
ITCC '00 Proceedings of the The International Conference on Information Technology: Coding and Computing (ITCC'00)
Context sensitive user interfaces
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Hi-index | 0.00 |