| Fundamental Issues in Modelling, Verification and Evolution of Software | |
|---|---|
 | MoVES (P6/39) 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.
The research performed in the context of MoVES is clustered around three main axes: Programming/Modelling Languages, Model Analysis, and Model Evolution. These are further subdivided into seven workpackages. A detailed discussion is available in the MoVES Research Roadmap.
| For more information you can contact the network coordination team: Prof. Dr. Theo D’Hondt, Dr. Dirk Deridder, Dr. Carlos Noguera. Local network responsibles can be found on the Members page. |
| If you would like to be informed about MoVES related activities and events then please subscribe to our public announcements list |
|---|
In the Spotlight
| Visit our Events page for more information. | |
|---|---|
 | Andreas Classen (FUNDP, Namur) received the 1st MoVES Most Promising Young Researcher Award 2009. He was selected amongst several candidates proposed to the MoVES steering committee for his outstanding work and active collaboration within the network. His award presentation during the MoVES 2009 networking event was entitled “Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines” (joint work with Axel Legay (IRISA/INRIA Rennes) and Jean-François Raskin (ULB)). |
| | Stefan Marr was awarded the best poster award during the MoVES 2009 networking event. Other nominees were Nicolas Genon (2nd place) and Christophe Scholliers (3rd place). The posters are available for download: 1) Stefan Marr, Theo D’Hondt, "Many-Core Virtual Machines - Decoupling Abstract from Concrete Concurrency" 2) Nicolas Genon, Patrick Heymans, Daniel Moody, "Improving the Cognitive Effectiveness of Business Process Modelling Languages" 3) Christophe Scholliers, Wolfgang De Meuter, "Coordination in Ambient Environments" |
 | The 3rd International Workshop on Variability Modelling of Software-intensive Systems VAMOS 09 is organized in cooperation with MoVES. |
 | The 5th International Workshop on Linking Aspect Technology and Evolution LATE'09 is organized in cooperation with MoVES. |
 | The 7th BElgian-NEtherlands software eVOLution workshop (BENEVOL 2008) will take place at TU/Eindhoven, and is organized in cooperation with MoVES. |
 | WCRE 2008, the 15th Working Conference on Reverse Engineering will be organized in Antwerp in October 2008. WCRE is the premier research conference on the theory and practice of recovering information from existing software and systems. |
 | The International Workshop on Model Co-Evolution and Consistency Management MCCM'08 is organized in cooperation with MoVES. |
| | The International Workshop on Challenges in Model Driven Software Engineering ChaMDE'08 is organized in cooperation with MoVES. |
| | The Symposium on Software Variability from a Programmer’s Perspective SVPP'08 is organised in cooperation with MoVES. Invited speakers are: Jim Coplien, Robert Hirschfeld, Karl Lieberherr, and Oscar Nierstrasz |
 | AOSD 2008, the Seventh International Conference on Aspect-Oriented Software Development is organised in Brussels this year. It is the premier conference on software modularity, with an emphasis on novel notions of modularity that crosscut traditional abstraction boundaries. The organisation is in cooperation with MoVES. |
 | Book announcement: Software Evolution This book, edited by Tom Mens (UMH) and Serge Demeyer (UA) will be published by Springer in early 2008 (ISBN 978-3-540-76439-7). It contains contributions from various members of the MoVES consortium. The book focuses on novel trends in software evolution research and its relations with other emerging disciplines such as model-driven software engineering, service-oriented software development, and aspect-oriented software development. |