Project

Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software (MoVES)

Duration

2007-2011

Description

MoVES is part of the IAP-Phase VI Interuniversity Attraction Poles Programme funded by the Belgian State, Belgian Science Policy. The goal of MoVES is to establish and sustain a network of researchers that perform high-quality research in the context of Modelling, Verification and Evolution of Software.

Software-intensive systems are among the most complex artefacts ever built. In the development of such systems, the use of rigorous models and analysis methods is essential to make sure that the software satisfies its requirements and exhibits the desired properties (e.g., safety, security, reliability, consistency). At the same time, in order to adapt to the constantly changing requirements and technology, these systems must be able to evolve over time, without breaking their essential properties.

This project combines the leading Belgian research teams in software engineering, with recognised scientific excellence in model-driven engineering (MDE), software evolution, formal modelling and verification (FMV) and aspect-oriented software development (AOSD). The project aims to advance the state of the art in each of these domains. The long term objective of our network is to strengthen existing collaborations and forge new links between those teams, and to leverage and disseminate our research expertise in this domain at a European level.

Research unit(s)

Research theme(s)

Staff (finished contracts)

Chairperson(s)
Pierre-Yves SCHOBBENS	Leader	081/724990
Academic staff
Gaetan DELANNAY	Professor
Vincent ENGLEBERT	Professor	081/725270
Stephane FAULKNER	Professor	081/724877
Naji HABRA	Professor	081/724995
Jean-Luc HAINAUT	Professor	081/724996
Michaël PETIT	Professor	081/725259
Patrick HEYMANS	Professor	081/725275
Anthony CLEVE	Professor	081/724963
Research staff
Salah BAINA	Researcher
Yves BONTEMPS	Researcher
Anne-France BROGNEAUX	Researcher	081/725278
Andreas CLASSEN	Researcher	081/724985
Virginie DETIENNE	Researcher
Nicolas GENON	Researcher	081/725257
Arnaud HUBAUX	Researcher	081/724985
Ivan JURETA	Researcher	081/724888
Raimundas MATULEVICIUS	Researcher
Nicolas MAYER	Researcher
Ravi RAMDOYAL	Researcher	081/725278
Stéphane SANDRON	Researcher
Germain SAVAL	Researcher	081/724985
Hubert TOUSSAINT	Researcher	081/724978
Jean-Christophe TRIGAUX	Researcher
Benoît VANDEROSE	Researcher	081/725250
Jean-Marc ZEIPPEN	Researcher
Technical staff
Laura OGER	Secretary	081/725251