user interfaces (computer systems)
A Formal Ontology for Describing Interactive Behaviors and Supporting Automated Testing on User Interfaces
28
Testing Prototypes and Final User Interfaces Through an Ontological Perspective for Behavior-Driven Development
23
A FORMAL ONTOLOGY FOR DESCRIBING INTERACTIVE BEHAVIORS ON USER INTERFACES
26
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies
10
Plasticity for 3D User Interfaces: new Models for Devices and Interaction Techniques
8
A Formal Ontology for Describing Interactive Behaviors and Supporting Automated Testing on User Interfaces
29
Making Distributed User Interfaces Interruption-Resistant : A Model-Based Approach
5
Making Distributed User Interfaces Interruption-Resistant : A Model-Based Approach
6
Clinical Data Analytics With Time-Related Graphical User Interfaces Application to Pharmacovigilance
10
Metaphors, Analogies, Symbols: In Search of Naturalness in Tangible User Interfaces
9
Similarity as a Design Driver for User Interfaces of Dependable Critical Systems
10
Testing Prototypes and Final User Interfaces Through an Ontological Perspective for Behavior-Driven Development
23
Testing Prototypes and Final User Interfaces Through an Ontological Perspective for Behavior-Driven Development
24
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies
9
Affordable Yet Robust and Precise Face Tracking using USB Cameras with Application to Designing Hands-Free User Interfaces
4
BESDUI: A Benchmark for End-User Structured Data User Interfaces
18
Testing and maintenance of graphical user interfaces
160
A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.
24
An API for smart objects and multimodal user interfaces for the smart home and office
94
Experiments in Model Driven Composition of User Interfaces
16