Knowledge-based support for the user interface design process (abstract)
CHI '95 Conference Companion on Human Factors in Computing Systems
Adaptive user interface for process control based on multi-agent approach
AVI '00 Proceedings of the working conference on Advanced visual interfaces
A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
A Theory of Specification-Based Testing for Object-Oriented Software
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
A Test Language for CO-OPN Specifications
RSP '05 Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping
Principles for System Prototype and Verification Using Metamodel Based Transformations
RSP '06 Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Model-based development of embedded systems' user interfaces
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Hi-index | 0.01 |
This paper provides an overview of a starting project called BATIC3S (Building Adaptive Three-dimensional Interfaces for Critical Complex Control Systems). This project aims to bring a more viable approach in the fields of Graphical User Interfaces (GUI), software modeling and verification, automatic code generation, and adaptivity. The goal is to build a comprehensive methodology for semi-automated, formal model-based generation of effective, reliable and adaptive 3D GUIs for diagnosing control systems. This can be used to assist in GUI development for very complex systems, like industrial systems, high energy physics experiments and similar.