Outils personnels
FUNDP > Institution > Annuaire du personnel
 
Membre du personnel

Germain SAVAL

Publications (12)

Articles de périodique

2007
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence, in Technique et Science Informatiques
Yves BONTEMPS, Germain SAVAL, Pierre-Yves SCHOBBENS, Patrick HEYMANS

Contributions à des ouvrages collectifs

2005
A Template-Based Analysis of GRL: Chapter 8, in Advanced Topics in Database Research , volume 5, pp. 124-146
Patrick HEYMANS, Germain SAVAL, Gautier DALLONS, Isabelle POLLET

Actes de colloques

2011
Discovering Sustainability Requirements: an Experience Report, in Proceedings of the 17th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2011, Essen, Germany, March 28-30, 2011., collection LNCS, volume 6606, pp. 19-33
Martin MAHAUX, Patrick HEYMANS, Germain SAVAL
2009
Some Challenges of Feature-based Merging of Class Diagrams, in Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), collection ICB Research Report, volume 29, pp. 127-136
Germain SAVAL, Jorge PINNA PUISSANT, Patrick HEYMANS, Tom MENS
2007
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis, in Proceedings of 15th IEEE International Requirements Engineering Conference (RE'07)
Andreas METZGER, Patrick HEYMANS, Klaus POHL, Pierre-Yves SCHOBBENS, Germain SAVAL
2007
Cross-Checking Disambiguated Product Line Variability Models (non reviewed, extended abstract), in Proceedings of the 6th BElgian-NEtherlands software eVOLution workshop (BENEVOL'07)
Patrick HEYMANS, Andreas METZGER, Pierre-Yves SCHOBBENS, Klaus POHL, Germain SAVAL
2006
Formalising Problem Frames with Ontology, in Proceedings of the Workshops and the Doctoral Symposium of the Second International Conference on Interoperability for Enterprise Software and Applications (I-ESA'06), pp. 351-355
Germain SAVAL
2006
From Interaction Diagrams to State Machines: Moving to Class-Level, in Digest of the 18th International Workshop on Algebraic Development Techniques (WADT'06)
Yves BONTEMPS, Germain SAVAL, Patrick HEYMANS, Pierre-Yves SCHOBBENS
2006
From Interaction Diagrams to State Machines: Moving to Class-Level, in Actes de la 7e Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06), pp. 45-61
Yves BONTEMPS, Germain SAVAL, Patrick HEYMANS, Pierre-Yves SCHOBBENS

Livres

2007
AFADL'07: approches formelles dans l'assistance au développement de logiciels, Namur, 13-15 juin 2007
Germain SAVAL, Hubert TOUSSAINT, Pierre-Yves SCHOBBENS, Marie-Laure POTET

Rapports de recherche

2006
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 Systems (VaMoS)
Germain SAVAL, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Raimundas MATULEVICIUS, Jean-Christophe TRIGAUX
2005
Class-Level Behavioral Modeling and Synthesis
Yves BONTEMPS, Patrick HEYMANS, Germain SAVAL, Pierre-Yves SCHOBBENS, Jean-Christophe TRIGAUX