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

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.