Pascal ANDRE
Cited by
Cited by
Optimizing method search with lookup caches and incremental coloring
P André, JC Royer
conference proceedings on Object-oriented programming systems, languages …, 1992
Checking component composability
C Attiogbé, P André, G Ardourel
International Conference on Software Composition, 18-33, 2006
Checking the consistency of UML class diagrams using Larch Prover
P André, A Romanczuk, JC Royer, A Vasconcelos
Rigorous Object-Oriented Methods 2000, 1-16, 2000
Service orientation in holonic and multi agent manufacturing and robotics
T Borangiu, A Thomas, D Trentesaux
Springer, 2013
Composing Components with Shared Services in the Kmelia Model
P André, G Ardourel, C Attiogbé
International Conference on Software Composition, 125-140, 2008
A conceptual model for evaluating the impact of spatial management measures on the dynamics of a mixed fishery
D Pelletier, S Mahévas, B Poussin, J Bayon, P André, JC Royer
Spatial Processes and Management of Marine Populations 17, 53-66, 2001
Javacompext: Extracting architectural elements from java source code
N Anquetil, JC Royer, P Andre, G Ardourel, P Hnetynka, T Poch, ...
Reverse Engineering, 2009. WCRE'09. 16th Working Conference on, 317-318, 2009
Static analysis of aspect interaction and composition in component models
A Hannousse, R Douence, G Ardourel
Proceedings of the 10th ACM international conference on Generative …, 2011
Using assertions to enhance the correctness of kmelia components and their assemblies
P André, G Ardourel, C Attiogbé, A Lanoix
Electronic Notes in Theoretical Computer Science 263, 5-30, 2010
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model
P André, G Ardourel, C Attiogbé
International Conference on Software Composition, 2-17, 2007
Multilevel contracts for trusted components
M Messabihi, P André, C Attiogbé
arXiv preprint arXiv:1010.2827, 2010
Access graphs: Another view on static access control for a better understanding and use
G Ardourel, M Huchard
Journal of Object Technology 1 (5), 95-116, 2002
An algebraic view of UML class diagrams
P André, AR Romanczuk, JC Royer, V Aline
Langages et Modèles à Objets, 261-276, 2000
The formal class model
P André, D Chiorean, JC Royer
Joint Modular Languages Conference, Modula, Oberon\& friends, 59-78, 1994
Heterogeneous communication middleware for digital twin based cyber manufacturing systems
P André, F Azzi, O Cardin
International Workshop on Service Orientation in Holonic and Multi-Agent …, 2019
Une expérimentation de développement formel à objets
P André, F Barbier, JC Royer
TSI. Technique et science informatiques 14 (8), 973-1005, 1995
Un corps sur le divan
J André
Le corps de psyché, 11-20, 2013
Spécification d'architectures en Kmelia: hiérarchie de connexion et composition.
P André, G Ardourel, JC Attiogbé
CAL, 101-118, 2006
Méthodes formelles et à objets pour le développement du logiciel: Etudes et propositions
P André
Rennes 1, 1995
Conception des systèmes d'information: panorama des méthodes et des techniques
P André, A Vailly
Ellipses, 2001
The system can't perform the operation now. Try again later.
Articles 1–20