20 - 24 October 2008
INRIA, Sophia-Antipolis
France

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 IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services. The contac person is Prof.Dr. F. de Boer (CWI, NL).
  • The IP-FP7 DEPLOY   on Industrial deployment of advanced system engineering methods for high productivity and dependability. The contact person is Dr. A. Romanovsky (University of Newcastle upon Tyne, UK).
  • The IST-FP6 project GridComp 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 is Dr. Gilles Barthe (IMDEA Software, SP)
  • The IST-FP7 project Compas on Compliance-driven Models, Languages, and Architectures for Services. The contact person is Prof.Dr. F. Arbab (CWI, NL)

The symposium is a three days event organized to provide an atmosphere that fosters collaborative work, discussions and interaction.