The aims of this course are to

• Teach advanced reasoning and design decision making techniques applicable to large service-oriented software systems, in both theory and practice.
• Learn the notion of sustainability-quality, and how to include it in service oriented design.

Course content:

• The lectures provide the students with knowledge about how to identify the requirements for a service-oriented software system, how to map them on business services and transform them into complex networks of software services. Special emphasis is given to the design reasoning techniques for decision making, service identification, service-oriented software design, and how to address sustainability concerns. Each year experts from academia and/or industry are invited to give guest lectures
• Throughout the course, students work in teams in an industrial project, to design a software solution with challenging sustainability goals.

Course learning outcomes:

• Ability to design software-intensive systems as complex service compositions
• Ability to explore the design space, make sound and well-motivated design decisions
• Ability to identify sustainability strategies and illustrate them into a software design solution
• Collaboration, interaction with industrial stakeholders and communication skills

The aims of this course are to

• Educate on how to assess sustainability as a quality concern that software can address directly or indirectly.
• Provide the instruments to embed sustainability into software projects, link sustainability explicitly to the software artifacts responsible for their realization, and associate significant metrics and indicators.

Course content:

• After giving a strong theoretical foundation in the multi-dimensional characterization of sustainability relevant for software engineering, as well as its representation over time- and space, the course provides the students with a set of practical tools for designing sustainability into their own project of choice. Several hands-on sessions in teamwork provide guidance and support in developing the project and building the necessary skills and competences.

Course learning outcomes:

• Apply sustainability analysis to concrete and large-scale software projects.
• Master critical thinking skills.
• Be able to quantify and qualify sustainability impacts and the role of architecture design decisions in an interdisciplinary context.

The aims of this course are to

• Learn the basics of empirical experimentation in the field of software engineering.
• Be able to operate in a lab environment and build a successful experiment for software energy consumption.
• Become familiar with the research problems in the field of green software engineering.
• Understand and measure the impact of software over energy consumption.

Course content:

• The students work in teams to perform experiments in a controlled environment, on software energy consumption in particular, and on the effects of software on sustainability-quality in general. They have to carry out all the phases of empirical experimentation, from experiment design to operation, data analysis and reporting. During the lab sessions, students are assisted for technical operation of the lab equipment as regards measurement and data gathering. Students also receive the required training for data analysis and visualization (i.e. graphs, dashboards) using specialized software.

Course learning outcomes:

• Ability to design, execute and report on an empirical experiment
• Ability to present and defend the results of an empirical experiment
• Develop team collaboration skills

The aims of this course are to

• Introduce the proof assistant Lean, its type-theoretic foundations, and its applications to mathematics and computer science.

Course content:

• A proof assistant is used to check the correctness of a specification of a program or the proof of a mathematical theorem. The course is built around the proof assistant Lean, a system that is developed primarily at Microsoft Research. In the practical work, the students learn to use Lean. They use the system to prove mathematical theorems and carry out verification of small programs. The lectures focus on Lean’s dependent type theory and on the Curry-Howard-De Bruijn correspondence between proofs and functional programs (lambda-terms).

Course learning outcomes:

• Ability to prove mathematical theorems in a precise, formal way
• Ability to verify small programs

The aims of this course are to

• Introduce the history of the information society, from computers and software to the internet, and the present ubiquity of digital cultures.
• Discuss the speculations on societal impact of computing have accompanied this technology.
• Accompany the students in their own team projects on selected topics.

Course content:

• The course is an intensive, engaging and fully committing four-week project in teamwork. Teams of 4 to 6 students choose their topic. The lectures provide an historical view of the societal impact of computing. The projects, building up the course, are concerted efforts to explore local or national developments, possibly concerning The Netherlands, like Dutch computer- and software pioneers, contributions to software engineering, and more recent specialities like the Dutch role in the internet, DDS (de digitale stad), web design, gaming, and digital art.

Course learning outcomes:

• Acquire a firm historical knowledge of computing in its cultural context.
• Recognize the various strands in theories of “the information society” and of “digital culture”, and become aware of the strengths and limitations of such theories.
• Gain experience in teamwork in a project.