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.
The symposium is a four days event organized to provide an atmosphere that fosters collaborative work, discussions and interaction. The program consists of keynote and invited presentations given by leading experts in the fields of Theoretical Computer Science and Software Engineering. Participation is limited to about 80 people.
Both keynote and invited contributions will be published after the workshop in a proceedings of Lecture Notes in Computer Science by Springer-Verlag.