Projet
Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications (MoVES)
Période
2007-2011
Description
Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications
Unités
Axes de recherche
Staff (contrats terminés)
Responsable(s) |
|||
| Pierre-Yves SCHOBBENS | Responsable | 081/724990 | |
Personnel académique |
|||
| Gaetan DELANNAY | Chargé de cours | ||
| Vincent ENGLEBERT | Académique | 081/725270 | |
| Stephane FAULKNER | Académique | 081/724877 | |
| Naji HABRA | Académique | 081/724995 | |
| Jean-Luc HAINAUT | Académique | 081/724996 | |
| Michaël PETIT | Académique | 081/725259 | |
| Patrick HEYMANS | Académique | 081/725275 | |
| Anthony CLEVE | Académique | 081/724963 | |
Personnel scientifique |
|||
| Salah BAINA | Scientifique | ||
| Yves BONTEMPS | Collaborateur | ||
| Anne-France BROGNEAUX | Scientifique | 081/725278 | |
| Andreas CLASSEN | Scientifique | 081/724985 | |
| Virginie DETIENNE | Scientifique | ||
| Nicolas GENON | Chercheur | 081/725257 | |
| Arnaud HUBAUX | Chercheur | 081/724985 | |
| Ivan JURETA | Scientifique | 081/724888 | |
| Raimundas MATULEVICIUS | Scientifique | ||
| Nicolas MAYER | Scientifique | ||
| Ravi RAMDOYAL | Scientifique | 081/725278 | |
| Stéphane SANDRON | Scientifique | ||
| Germain SAVAL | Scientifique | 081/724985 | |
| Hubert TOUSSAINT | Scientifique | 081/724978 | |
| Jean-Christophe TRIGAUX | Scientifique | ||
| Benoît VANDEROSE | Scientifique | 081/725250 | |
| Jean-Marc ZEIPPEN | Scientifique | ||
Personnel administratif ou technique |
|||
| Laura OGER | Secrétaire | 081/725251 | |
Publications (9)
Articles de périodique
2009
Report on the Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'09), in ACM SIGSOFT Software Engineering Notes, volume 34, issue 5, pp. 40-45
Martin GLINZ, Patrick HEYMANS, Anne PERSSON, Guttorm SINDRE, Aybüke AURUM, Nazim MADHAVJI, Barbara PAECH, Gil REGEV, Roel WIERINGA
Martin GLINZ, Patrick HEYMANS, Anne PERSSON, Guttorm SINDRE, Aybüke AURUM, Nazim MADHAVJI, Barbara PAECH, Gil REGEV, Roel WIERINGA
Contributions à des ouvrages collectifs
2010
A Systematic Approach to Define the Domain of Information System Security Risk Management, in Intentional Perspectives on Information Systems Engineering
Eric DUBOIS, Patrick HEYMANS, Nicolas MAYER, Raimundas MATULEVICIUS
Eric DUBOIS, Patrick HEYMANS, Nicolas MAYER, Raimundas MATULEVICIUS
2008
Migration of Legacy Information Systems, in Software Evolution, pp. 105-138
Jean-Luc HAINAUT, Anthony CLEVE, Jean HENRARD, Jean-Marc HICK
Jean-Luc HAINAUT, Anthony CLEVE, Jean HENRARD, Jean-Marc HICK
Actes de colloques
2010
Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines, in 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings, pp. 335-344
Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY, Jean-François RASKIN
Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY, Jean-François RASKIN
2009
Feature Diagrams for Change-Oriented Programming, in Proceedings of the 10th International Conference on Feature Interactions (ICFI'09), Lisbon, Portugal, pp. 107-122
Peter EBRAERT, Andreas CLASSEN, Patrick HEYMANS, Theo D'HONDT
Peter EBRAERT, Andreas CLASSEN, Patrick HEYMANS, Theo D'HONDT
2008
Modelling Variability in Self-Adaptive systems: Towards a Research Agenda, in Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE'08), collocated with GPCE'08, pp. 19-26
Andreas CLASSEN, Arnaud HUBAUX, Frans SANEN, Eddy TRUYEN, Jorge VALLEJOS, Pascal COSTANZA, Wolfgang DE MEUTER, Patrick HEYMANS, Wouter JOOSEN
Andreas CLASSEN, Arnaud HUBAUX, Frans SANEN, Eddy TRUYEN, Jorge VALLEJOS, Pascal COSTANZA, Wolfgang DE MEUTER, Patrick HEYMANS, Wouter JOOSEN
Livres
2010
Proceedings of the 2nd International Workshop on Model-driven Product Line Engineering
(MDPLE 2010)
Goetz BOTTERWECK, Patrick HEYMANS, Itay MAMAN, Andreas PLEUSS, Julia RUBIN
Goetz BOTTERWECK, Patrick HEYMANS, Itay MAMAN, Andreas PLEUSS, Julia RUBIN
Rapports de recherche
2009
Towards a Unifying Conceptual Framework for
Inconsistency Management Approaches: Definitions and Instantiations
Arnaud HUBAUX, Anthony CLEVE, Pierre-Yves SCHOBBENS, Anne KELLER, Olaf MULIAWAN, Sergio CASTRO, Kim MENS, Dirk DERIDDER, Ragnhild VAN DER STRAETEN
Arnaud HUBAUX, Anthony CLEVE, Pierre-Yves SCHOBBENS, Anne KELLER, Olaf MULIAWAN, Sergio CASTRO, Kim MENS, Dirk DERIDDER, Ragnhild VAN DER STRAETEN
2007
Towards a General Framework for Consistency Management in the Context of Database Application Evolution, in presented at BENEVOL'07
Anthony CLEVE, Ragnhild VAN DER STRAETEN
Anthony CLEVE, Ragnhild VAN DER STRAETEN
Collaborations
- VUB
- Universiteit Antwerpen
- UCL - Université Catholique de Louvain
- ULB
- ULG - Université de liège

