The proceedings contain 33 papers. The topics discussed include: algorithms for efficient symbolic detection of faults in context-aware applications; a development process for context-aware adaptive services; building autonomic components: the SelfLets approach; self-healing strategies for component integration faults; incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems; architecture support for runtime integration and verification of component-based systems of systems; SAVVY-WS at a glance: supporting verifiable dynamic service compositions; introducing service-oriented coverage testing; PLASTIC: providing lightweight and adaptable service technology for pervasive information and communication; and SHADOWS: self-healing complex software systems
Mariani, L., Polini, A., Caporuscio, M., Di Marco, A., Muccini, H., Shehory, O. (a cura di). (2008). 1st International Workshop on Automated Engineering of Autonomous and Runtime Evolving Systems, and ASE2008 the 23rd IEEE/ACM Int. Conf.. IEEE.
1st International Workshop on Automated Engineering of Autonomous and Runtime Evolving Systems, and ASE2008 the 23rd IEEE/ACM Int. Conf.
MARIANI, LEONARDO;
2008
Abstract
The proceedings contain 33 papers. The topics discussed include: algorithms for efficient symbolic detection of faults in context-aware applications; a development process for context-aware adaptive services; building autonomic components: the SelfLets approach; self-healing strategies for component integration faults; incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems; architecture support for runtime integration and verification of component-based systems of systems; SAVVY-WS at a glance: supporting verifiable dynamic service compositions; introducing service-oriented coverage testing; PLASTIC: providing lightweight and adaptable service technology for pervasive information and communication; and SHADOWS: self-healing complex software systemsI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.