Software reflexion models: bridging the gap between source and high-level models
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
interactions
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Communications of the ACM
The origins of ubiquitous computing research at PARC in the late 1980s
IBM Systems Journal
Charting past, present, and future research in ubiquitous computing
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 1
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Model Checking Interactor Specifications
Automated Software Engineering
IEEE Pervasive Computing
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Adaptive navigation support with public displays
Proceedings of the 10th international conference on Intelligent user interfaces
Sharing control of dispersed situated displays between nand residential users
Proceedings of the 8th conference on Human-computer interaction with mobile devices and services
Factoring User Experience into the Design of Ambient and Mobile Systems
Engineering Interactive Systems
Analysing user confusion in context aware mobile applications
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
Moving on from weiser's vision of calm computing: engaging ubicomp experiences
UbiComp'06 Proceedings of the 8th international conference on Ubiquitous Computing
Supporting resource-based analysis of task information needs
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Systematic Analysis of Control Panel Interfaces Using Formal Tools
Interactive Systems. Design, Specification, and Verification
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
| Hi-index | 0.00 |
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interactive behaviour in ubiquitous systems. Of particular interest is the way that these models may help engineers to visualise the consequences of different designs. Design options based on a dynamic signage system (GAUDI) are explored using different instances of a generic model of the system.