The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Middies: Passive Middleware Abstractions for Pervasive Computing Environments
ICPS '04 Proceedings of the The IEEE/ACS International Conference on Pervasive Services
A brief history of process algebra
Theoretical Computer Science - Process algebra
A Threshold Autoregressive Model for Software Aging
SOSE '06 Proceedings of the Second IEEE International Symposium on Service-Oriented System Engineering
A Future for Software Engineering?
FOSE '07 2007 Future of Software Engineering
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
The Galois lattice as a hierarchical structure for topological relations
Annals of Mathematics and Artificial Intelligence
Closing the Gap in the Capacity of Wireless Networks Via Percolation Theory
IEEE Transactions on Information Theory
Hi-index | 0.00 |
This short article provides a reflexion about the domains covered by the workshop SEPS at ICPS. The worskhop "Software Engineering for Pervasive Services" was first created in 2006 to become a meeting place for researchers interested in formal methods and pervasive computing. The term "pervasive" was understood in a wide sense, connected to ambient intelligence, ubiquitous systems, smart objects and multimodal human-system interaction. The terms "software engineering" were also understood as covering a large area, in a "curiosity-driven research" spirit as would probably say Osterweil [16]. Things have progressed in such a way that we now find it interesting to draw on SEPS a "once and future focus", as Taylor and Hoek [19] seem to argue that time has come to consider software engineering from the design point of view. As we are convinced that software engineering could benefit a lot from an increasing interest from designers, we would also appreciate to see in the next future ideas and works which would be based on a mathematical approach and could help to create a convergence between ad-hoc networks and formal approaches to software engineering. We believe that percolation theory could bring many interesting new horizons.