| 2008 |
|---|
| 13 | EE | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Composing Components with Shared Services in the KmeliaModel.
Software Composition 2008: 125-140 |
| 12 | EE | Pascal André,
Christian Attiogbé:
Éditorial.
L'OBJET 14(4): 7-10 (2008) |
| 2007 |
|---|
| 11 | | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Protocoles d'utilisation de composants : spécification et analyse en Kmelia.
LMO 2007: 19-34 |
| 10 | EE | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.
Software Composition 2007: 2-17 |
| 9 | EE | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Adaptation for Hierarchical Components and Services.
Electr. Notes Theor. Comput. Sci. 189: 5-20 (2007) |
| 2006 |
|---|
| 8 | | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Spécification d'architectures en Kmelia : hiérarchie de connexion et composition.
CAL 2006: 101-118 |
| 7 | EE | Christian Attiogbé,
Pascal André,
Gilles Ardourel:
Checking Component Composability.
Software Composition 2006: 18-33 |
| 2004 |
|---|
| 6 | | Pascal André,
Gilles Ardourel,
Gerson Sunyé:
The Bosco Project - A JMI-Compliant Template-based Code Generator.
IASSE 2004: 157-162 |
| 5 | | Henri Habrias,
Pascal André:
Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification.
INFORSID 2004: 387-403 |
| 2000 |
|---|
| 4 | | Pascal André,
Annya Romanczuk,
Jean-Claude Royer,
Aline Vasconcelos:
An algebraic view of UML class diagrams.
LMO 2000: 261-276 |
| 3 | EE | Pascal André,
Annya Romanczuk,
Jean-Claude Royer:
Checking the Consistency of UML Class Diagrams Using Larch Prover.
Rigorous Object-Oriented Methods 2000 |
| 1996 |
|---|
| 2 | | Pascal André:
Vers un modèle formel en analyse à objets.
LMO 1996: 62-78 |
| 1992 |
|---|
| 1 | | Pascal André,
Jean-Claude Royer:
Optimizing Method Search with Lookup Caches and Incremental Coloring.
OOPSLA 1992: 110-126 |
