This Theme's

Research Team



Software Architecture

Our work in this area has focused on formal foundations of software architecture, architectures for dependable systems, and the development of product line and service oriented architectures. In particular, we have examined how to specify the coordination among components, the distribution and mobility of components, and the run-time reconfiguration of the architecture. We have also contributed to the definition of so-called “intensional views”, an approach that aims to provide an explicit mapping between the design and implementation levels. Contact: Dr. Michel Wermelinger Publications [