The MoVES Project
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.
participates as one of the few non-Belgium software enineering groups in this project.
The project runs from 2007 until 2011, and offers SWERL
members funding for close
collaboration with Belgian software engineering researchers.