The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Hi-index | 0.00 |
SUIDT (Safe User Interface Design Tool) is a model-based system that allows building interactive systems with respect to the formal semantics of functional cores. It implements a complete cooperation between task models (abstract and concrete) with both the domain model and the presentation model, while ensuring the properties of the models. Last, it maintains all during the design cycle the links between every part of the system, even the functions of the functional core (the actual code).