successful completion of courses covering concurrency theory and advanced software engineering
The advent of component based systems, service oriented architectures, and massive coarse-grain concurrency supported by multi-core platforms presents new challenges in software engineering. These trends bring forth issues involving formal models for compositional construction of software, as well as interaction protocols; connector or glue-code programming; loose inter-component coupling; dynamic reconfiguration; composition, and coordination of components by third parties. All of these issues must be satisfactorily addressed in the context of distributed concurrent systems. Traditional software construction techniques and their underlying formalisms fall short in meeting these challenges.
The objective of this course is to study the challenging software engineering issues involved in the design, development, and the analysis of component based software, service oriented architectures, and cloud computing. The students learn the shortcomings of the existing techniques for construction of complex concurrent systems by composing independent pieces of functionality, and study the current frontier research that attempts to address them.
The most recent timetable can be found at the LIACS website
Mode of instruction
Lectures, literature study, and presentations
Class projects; student presentations; and final exam
Instructor assigned collection of papers and book chapters
You have to sign up for classes and examinations (including resits) in uSis. Check this link for more information and activity codes.
There is a limited capacity for students from outside the master Computer Science programme. Please contact the study advisor.
Study coordinator Computer Science, Riet Derogee