Java

Programming skills are essential but not enough to develop large and complex software systems that require the coordination of a team of specialists. Software engineering is about the development of such moderns software systems. Students will learn to go beyond programming, to coordinate a team, to apply modern methodologies and techniques.

A Serious Game to teach Urban Economics built by students of Informatics for students of Economics

In-depth analysis of a large software system from multiple perspectives

A Java SImple Contract checKer: a compiler plugin that turns contract annotations written in plain Java into runtime checks

Shifting the focus of software evolution research to the people-centric 'evolutionary essentials' that stakeholders need in their current working context.

SPecification RecoverY: inferring behavior models of stateful software components, and using them at run time to detect when a component's behavior changes

Methods and tools for the design, validation, and operation of dependable self-managing situated software.