ARAMIS 2008 International workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems

Abstract

The ARAMIS workshop provides a forum for scientists and engineers in academia and industry to present and discuss their latest research on automated techniques for managing, verifying and validating evolving t run-time systems. In particular, ARAMIS will focus on issues, challenges, and future perspectives of techniques for automated verification and validation of evolving systems, for automatic context management and for the engineering of self-healing solutions.