Seguir
Pascal ANDRE
Título
Citado por
Citado por
Ano
Optimizing method search with lookup caches and incremental coloring
P André, JC Royer
Conference proceedings on Object-oriented programming systems, languages …, 1992
851992
Checking component composability
C Attiogbé, P André, G Ardourel
Software Composition: 5th International Symposium, SC 2006 Vienna, Austria …, 2006
782006
Checking the consistency of UML class diagrams using Larch Prover
P André, A Romanczuk, JC Royer, A Vasconcelos
Rigorous Object-Oriented Methods 2000, 2000
462000
Service orientation in holonic and multi agent manufacturing and robotics
T Borangiu, A Thomas, D Trentesaux
Springer 472, 390, 2013
342013
Composing components with shared services in the kmelia model
P André, G Ardourel, C Attiogbé
International Conference on Software Composition, 125-140, 2008
252008
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
242011
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
242001
Heterogeneous communication middleware for digital twin based cyber manufacturing systems
P André, F Azzi, O Cardin
Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry …, 2020
222020
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
222009
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
202010
Multilevel contracts for trusted components
M Messabihi, P André, C Attiogbé
arXiv preprint arXiv:1010.2827, 2010
172010
Méthodes formelles et à objets pour le développement du logiciel: Etudes et propositions
P André
Rennes 1, 1995
171995
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model
P André, G Ardourel, C Attiogbé
Software Composition: 6th International Symposium, SC 2007, Braga, Portugal …, 2007
162007
An algebraic view of UML class diagrams
P André, AR Romanczuk, JC Royer, V Aline
Langages et Modèles à Objets, 261-276, 2000
162000
The formal class model
P André, D Chiorean, JC Royer
Joint Modular Languages Conference, Modula, Oberon\& friends, 59-78, 1994
161994
Spécification d'architectures en Kmelia: hiérarchie de connexion et composition.
P André, G Ardourel, JC Attiogbé
CAL, 101-118, 2006
132006
Conception des systèmes d'information: panorama des méthodes et des techniques
P André, A Vailly
Ellipses, 2001
132001
Building test harness from service-based component models
P André, JM Mottu, G Ardourel
MoDeVVa 2013 Workshop on Model Driven Engineering, Verification and …, 2013
122013
Une expérimentation de développement formel à objets
P André, F Barbier, JC Royer
Revue des Sciences et Technologies de l'Information-Série TSI: Technique et …, 1995
121995
A Method for Business-IT Alignment of Legacy Systems.
J Pepin, P André, JC Attiogbé, E Breton
ICEIS (3), 229-237, 2015
112015
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20