The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pascal André: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.042secs, Finished in 0.043secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002