Foundations of Software Technology
prof.dr. Farhad Arbab, prof.dr. Joost N. Kok (heads)
The Foundations of Software Technology (FaST) focuses on the formal semantic foundations of software composition and coordination. Large software systems are difficult to construct and maintain due to their inherent complexity. Compositional techniques hold the key to breaking this complexity down to manageable levels. Composing systems out of independent components or services requires coordination of their interactions. Considerations for concurrency, distribution, mobility, and dynamic reconfiguration of systems, e.g., to upgrade or adapt to their changing environment, add to the complexity of a system and its interaction protocols. Coordination in Software Systems studies how complex systems can be constructed from independent components or services using a clear distinction between individual components or services, and the protocols for their coordinated interaction.
Section Software Engineering
dr. Michel R.V. Chaudron (head)
Theoretical Computer Science
prof.dr. Grzegorz Rozenberg (head)
The Theoretical Computer Science group is part of the Algorithms and of the Foundations of Software Technology clusters.