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.

SWERL 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.

See also:

Publications

-- AndyZaidman - 03 May 2011

Revision: r1.5 - 26 Sep 2008 - 07:28 - AndyZaidman
Main > ResearchProjects > MoVESProject
Copyright © 2003-2017, Software Engineering Research Group, Delft University of Technology, The Netherlands