Expertise on Java

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

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

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

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

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