Software Analysis and Transformation group projects

OSSMETER is an EU FP7 project in collaboration with many industrial and academic partners. Please go to


The production of software is, even after 50 years of experience, still not without its problems. Recent examples in Dutch society (in the context of the tax and the social security agency) have had far-reaching societal and financial consequences. It is well known that the detection of defects early in the software lifecycle pays off. It lowers cost and improves quality [1].

Rebel Machines

In this co-funded public/private collaboration with ING Bank we investigate the design, implementation and evaluation of a domain specific language for the specification of large scale enterprise software systems with product flexibility, data-integrity and scalability as key quality priorities