Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Where the action is: the foundations of embodied interaction
Where the action is: the foundations of embodied interaction
A Discipline of Programming
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
A Survey of Context-Aware Mobile Computing Research
A Survey of Context-Aware Mobile Computing Research
A Software Engineering Framework for Context-Aware Pervasive Computing
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
An ontology for context-aware pervasive computing environments
The Knowledge Engineering Review
Modeling and Simulation of Context-Aware Mobile Systems
Proceedings of the 19th IEEE international conference on Automated software engineering
A Formalism for Context-Aware Mobile Computing
ISPDC '04 Proceedings of the Third International Symposium on Parallel and Distributed Computing/Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks
Distributed Sensor Networks (Chapman & Hall/Crc Computer and Information Science)
Distributed Sensor Networks (Chapman & Hall/Crc Computer and Information Science)
ContextPhone: A Prototyping Platform for Context-Aware Mobile Applications
IEEE Pervasive Computing
Interaction design for a mobile context-aware system using discrete event modelling
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Interaction Styles for Service Discovery in Mobile Business Applications
DEXA '06 Proceedings of the 17th International Conference on Database and Expert Systems Applications
A Case Study: Applying Lyra in Modeling S60 Camera Functionality
ECBS '07 Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Context-aware User Interface Framework for Mobile Applications
ICDCSW '07 Proceedings of the 27th International Conference on Distributed Computing Systems Workshops
A system development process with Event-B and the Rodin platform
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
| Hi-index | 0.01 |
The communication environment surrounding our daily experience is more and more characterized by mobile devices that can exchange multimedia information and provide access to various services of complex nature. The trend is now clear that future consumer computing experience will be based on multiple pervasive communication devices and services, where navigability, context-sensitivity, adaptability and ubiquity are key characteristics. Several issues have been studied, models and methodologies proposed, and tools and systems implemented. However, when we look at the foundation and what we are missing in research, some of the most relevant issues probably are a formal model of context-sensitive and a notion of synthesizing reliable complex systems from vast numbers of unreliable components. In this paper, we discuss a formal foundation and software engineering techniques for mobile context-aware and context-dependent service derivation and application development, emphasizing the relationships between context and system.