Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis A Metzger, K Pohl, P Heymans, PY Schobbens, G Saval 15th IEEE International Requirements Engineering Conference (RE 2007), 243-253, 2007 | 326 | 2007 |
Discovering sustainability requirements: an experience report M Mahaux, P Heymans, G Saval International Working Conference on Requirements Engineering: Foundation for …, 2011 | 117 | 2011 |
A Template-based Analysis of GRL P Heymans, G Saval, G Dallons Advanced Topics in Database Research, Volume 5, 124-147, 2006 | 10 | 2006 |
Some challenges of feature-based merging of class diagrams G Saval, JP Puissant, P Heymans, T Mens Proceedings of the Third Workshop on Variability Modelling of Software …, 2009 | 9 | 2009 |
Class-level behavioral modeling and synthesis Y Bontemps, P Heymans, G Saval, PY Schobbens, JC Trigaux Submitted to International Conference on Software Engineering, 2004 | 3 | 2004 |
From interaction diagrams to state machines: moving to class-level Y Bontemps, G Saval, P Heymans, PY Schobbens AFADL 2006, 2006 | 2 | 2006 |
Experimenting with the Selection of an Off-The-Shelf Conference Management System G Saval, P Heymans, PY Schobbens, R Matulevicius, JC Trigaux Poster presented at the 1st Intl. Workshop on Variability Modelling of …, 2007 | 1 | 2007 |
AFADL'07: approches formelles dans l'assistance au développement de logiciels, Namur, 13-15 juin 2007 G Saval, H Toussaint, PY Schobbens, ML Potet Presses universitaires de Namur, 2007 | | 2007 |
Cross-Checking Disambiguated Product Line Variability Models (non reviewed, extended abstract) P Heymans, A Metzger, PY Schobbens, K Pohl, G Saval Proceedings of the 6th BElgian-NEtherlands software eVOLution workshop …, 2007 | | 2007 |
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence Y Bontemps, G Saval, PY Schobbens, P Heymans Technique et Science Informatiques, 2007 | | 2007 |
Experimenting with the Selection of an Off-The-Shelf Conference Management System: Poster presented at the 1st Intl. Workshop on Variability Modelling of Software-intensive … G Saval, P Heymans, PY Schobbens, R Matulevicius, JC Trigaux | | 2006 |
Formalising Problem Frames with Ontology G Saval Interoperability for Enterprise Software and Applications: Proceedings of …, 2006 | | 2006 |
A Template-Based Analysis of GRL: Chapter 8 P Heymans, G Saval, G Dallons, I Pollet Advanced Topics in Database Research, 124-146, 2005 | | 2005 |
Technical Report - Vérification de machines à états quantifiées G Saval | | 2004 |
Synthèse de diagrammes d’états par classe à partir de diagrammes de séquence YBG Saval, PYSP Heymans | | |
Centre Fédéré en Vérification Y Bontemps, P Heymans, PY Schobbens, JC Trigaux | | |
Workshop Organisers S Apel, D Benavides, M Broy, L Duchien, P Grünbacher, P Heymans, ... | | |
Model-driven Engineering of Software Product Lines P Heymans, PY Schobbens, JC Trigaux, G Saval, R Matulevicius, ... | | |
Jian Yu M Anastasopoulos, M ter Beek, G Botterweck, A Bucchiarone, R Carbon, ... | | |
Paper of" Discovering Sustainability Requirements: An Experience Report G Saval, M Mahaux, P Heymans | | |