In transition from global to modular temporal reasoning about programs
Logics and models of concurrent systems
The computer for the 21st century
ACM SIGMOBILE Mobile Computing and Communications Review - Special issue dedicated to Mark Weiser
Two case studies of open source software development: Apache and Mozilla
ACM Transactions on Software Engineering and Methodology (TOSEM)
Style-Based Refinement of Dynamic Software Architectures
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Component engineering for adaptive ad-hoc systems
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems
Modeling Dimensions of Self-Adaptive Software Systems
Software Engineering for Self-Adaptive Systems
MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments
Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems
Towards an assume-guarantee theory for adaptable systems
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Qos-driven runtime adaptation of service oriented architectures
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Rule Systems for Runtime Verification: A Short Tutorial
Runtime Verification
Accord: a programming framework for autonomic applications
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Hi-index | 0.00 |
These days, systems are emerging as agglomerations of software, hardware and people. They are highly distributed, heterogeneous, context-aware, mobile, and adaptive to resource availability and requirements evolution. New computing paradigms for such systems are required. AD-OPERA proposes radically new approaches to software engineering, based on investigation of, and inspiration derived from, a specific class of self-adaptive systems: adaptive music. In adaptive music, the interaction with the audience and with the environment plays an active role in the composition process. The musical work is fully defined only at execution time depending on context available resources, and only after appropriate user intervention. Nevertheless, the self-adaptation must ensure the character of the music desired by the artist, called style. The AD-OPERA new computing paradigm will yield the following main novelties: (i) late specification that permits the under-specification of parts of the system by delaying their completion to runtime, (ii) context as first class entity that tightly couples the context to the system computational state, (iii) explicit support for self-adaptation that views adaptation as a pervasive normality in the system's behavior, rather than as the exception.