2008 |
20 | EE | Darlam Fabio Bender,
Benoît Combemale,
Xavier Crégut,
Jean-Marie Farines,
Bernard Berthomieu,
François Vernadat:
Ladder Metamodeling and PLC Program Validation through Time Petri Nets.
ECMDA-FA 2008: 121-136 |
19 | EE | Benoît Combemale,
Laurent Broto,
Xavier Crégut,
Michel J. Daydé,
Daniel Hagimont:
Autonomic Management Policy Specification: From UML to DSML.
MoDELS 2008: 584-599 |
2007 |
18 | | Isabelle Borne,
Xavier Crégut,
Sophie Ebersold,
Frédéric Migeon:
Actes des journées Langages et Modèles à Objets, LMO'07. Toulouse, 27-29 mars
Hermès Lavoisier 2007 |
17 | EE | Reda Bendraou,
Benoît Combemale,
Xavier Crégut,
Marie-Pierre Gervais:
Definition of an Executable SPEM 2.0.
APSEC 2007: 390-397 |
16 | | Benoît Combemale,
Pierre-Loïc Garoche,
Xavier Crégut,
Xavier Thirioux,
François Vernadat:
Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study.
ICEIS (3) 2007: 80-89 |
15 | EE | Benoît Combemale,
Xavier Crégut,
Pierre-Loïc Garoche,
Xavier Thirioux,
François Vernadat:
A Property-Driven Approach to Formal Verification of Process Models.
ICEIS (Selected Papers) 2007: 286-300 |
14 | EE | Benoît Combemale,
Xavier Crégut,
Marc Pantel,
P. Michel:
SéMo'07, premier atelier sur la sémantique des modèles.
L'OBJET 13(4): 137-144 (2007) |
2006 |
13 | | Benoît Combemale,
Xavier Crégut,
Alain Caplain,
Bernard Coulette:
Towards a Rigorous Process Modeling with SPEM.
ICEIS (3) 2006: 530-533 |
12 | | Benoît Combemale,
Xavier Crégut,
Alain Caplain,
Bernard Coulette:
Modélisation rigoureuse en SPEM de procédé de développement.
LMO 2006: 135-150 |
11 | | Benoît Combemale,
Sylvain Rougemaille,
Xavier Crégut,
Frédéric Migeon,
Marc Pantel,
Christine Maurel,
Bernard Coulette:
Towards Rigorous Metamodeling.
MDEIS 2006: 5-14 |
2005 |
10 | | Rédouane Lbath,
Bernard Coulette,
Xavier Crégut:
A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes.
SEKE 2005: 241-246 |
9 | EE | Mahmoud Nassar,
Bernard Coulette,
Jérémie Guiochet,
Sophie Ebersold,
Bouchra El Asri,
Xavier Crégut,
Abdelaziz Kriouile:
Vers un profil UML pour la conception de composants multivues.
L'OBJET 11(4): 83-113 (2005) |
8 | EE | Tran Dan Thu,
Hanh Nhi Tran,
Dong Thi Bich Thuy,
Bernard Coulette,
Xavier Crégut:
Topological properties for characterizing well-formedness of process components.
Software Process: Improvement and Practice 10(2): 217-247 (2005) |
2003 |
7 | | Mahmoud Nassar,
Bernard Coulette,
Xavier Crégut,
Sophie Ebersold,
Abdelaziz Kriouile:
Towards a View Based Unified Modeling Language.
ICEIS (3) 2003: 257-265 |
6 | EE | Hanh Nhi Tran,
Bernard Coulette,
Xavier Crégut,
Dong Thi Bich Thuy,
Tran Dan Thu:
Modélisation du Méta-Procédé Rhodes Avec SPEM.
RIVF 2003: 239-246 |
2001 |
5 | | Bernard Coulette,
Xavier Crégut,
Dong Thi Bich Thuy,
Tran Dan Thu:
Managing Processes through Base of Reusable Components.
ICEIS (2) 2001: 608-618 |
2000 |
4 | | Bernard Coulette,
Tran Dan Thu,
Xavier Crégut,
Dong Thi Bich Thuy:
RHODES, A Process Component Centered Software Engineering Environment.
ICEIS 2000: 253-260 |
1999 |
3 | | Xavier Crégut,
Bernard Coulette:
Réalisation en Eiffel d'un atelier de génie logiciel centré procédé.
L'OBJET 5(3/4): (1999) |
1997 |
2 | EE | Xavier Crégut,
Bernard Coulette:
Filling the gap between CASE tools and PSEEs.
ECBS 1997: 113-120 |
1 | | Xavier Crégut,
Bernard Coulette:
PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes.
Software - Concepts and Tools 18(2): 47-62 (1997) |