This paper introduces a model-driven emulator for the interaction and GUI design of complex interacting systems. It allows systems that are engineered using formal methods and modelling to be tested with users before the final implementation. The user interface requirements are also specified in a formal model, which can be tested manually and automatically as required
The paper addresses the formal specification, design and implementation of the behavioral component ...
The use of formal models for user interface design can provide a number of benefits. It can help to ...
This paper discusses a model-based approach to the design of complex interaction environments like v...
This paper introduces a model-driven emulator for the interaction and GUI design of complex interact...
In this paper we outline our proposed approach for supporting mobile application development by usin...
In this paper we outline our proposed approach for supporting mobile application development by usin...
Abstract—Graphical User Interface (GUI) design is currently shifting from designing GUIs composed of...
Software environment emulation provides a means for simulating an operational environment of a syste...
Abstract. GUI builder tools are widely used in practice to develop the user interface of software sy...
Controlling and observing complex systems is central to the study of human-machine interaction. In o...
Formalization approaches of user interface design (UID) in conjunction with model driven techniques ...
This paper describes a model-driven engineering approach for specifying, designing, and generating c...
International audienceThe considerable and significant progress achieved in the design and developme...
When using emulation to render digital objects, a dedicated system environment is required. This env...
Graphical user interfaces (GUIs) enable comfortable interactions of the computer-based systems with ...
The paper addresses the formal specification, design and implementation of the behavioral component ...
The use of formal models for user interface design can provide a number of benefits. It can help to ...
This paper discusses a model-based approach to the design of complex interaction environments like v...
This paper introduces a model-driven emulator for the interaction and GUI design of complex interact...
In this paper we outline our proposed approach for supporting mobile application development by usin...
In this paper we outline our proposed approach for supporting mobile application development by usin...
Abstract—Graphical User Interface (GUI) design is currently shifting from designing GUIs composed of...
Software environment emulation provides a means for simulating an operational environment of a syste...
Abstract. GUI builder tools are widely used in practice to develop the user interface of software sy...
Controlling and observing complex systems is central to the study of human-machine interaction. In o...
Formalization approaches of user interface design (UID) in conjunction with model driven techniques ...
This paper describes a model-driven engineering approach for specifying, designing, and generating c...
International audienceThe considerable and significant progress achieved in the design and developme...
When using emulation to render digital objects, a dedicated system environment is required. This env...
Graphical user interfaces (GUIs) enable comfortable interactions of the computer-based systems with ...
The paper addresses the formal specification, design and implementation of the behavioral component ...
The use of formal models for user interface design can provide a number of benefits. It can help to ...
This paper discusses a model-based approach to the design of complex interaction environments like v...
DOI
Add to ORKG