Search the dblp DataBase

Publications of Author

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