24 - 26 October 2007
CWI, Amsterdam
The Netherlands

---

Large and complex software systems provide the necessary infrastucture in all industries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are encapsulated into software units which are integrated into large systems by means of various techniques supporting reusability and modifiability. This encapsulation principle is essential to both the object-oriented and the more recent component-based sofware engineering paradigms.

The objective of this symposium is to bring together researchers and practioners in the areas of software engineering and formal methods to discuss the concepts of reusability and modifiability in component-based and object-oriented software systems. This year the above objective will be realized by a concertation meeting of the following European IST projects and network in the sixth framework:

• The Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST. This cluster focuses on design processes, and architectures for real-time embedded systems. The contact person is Prof. Dr. Albert Benveniste (INRIA / IRISA, FR)
• The IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services. The contac person is Dr. Frank de Boer (CWI, NL).
• The IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components. The contact person is Prof.Dr. Denis Caromel (INRIA Sophia-Antipolis, FR).
• The IST-FP6 project Mobius aiming at developing the technology for establishing trust and security for the next generation of global computers, using the proof carrying code paradigm. The contact persons are Prof.Dr. Martin Hofmann (Ludwig-Maximilians-UniversityMunchen, DE) and Prof.Dr. Peter Müller (ETH, CH).
• The IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components. The contact person is Prof.Dr. Peter Van Roy (Universitè catholique de Louvain, BE).
• The IST-FP6 project Sensoria on software engineering for service-oriented overlay computers. The contact person is Prof.D.r Martin Wirsing (Ludwig-Maximilians-University Munchen, DE)

The symposium is a three days event organized to provide an atmosphere that fosters collaborative work, discussions and interaction. Extended abstracts of the contributions will be published after the symposium in a proceedings of Lecture Notes in Computer Science by Springer-Verlag.