Gilles Ardourel

Jean-Marie Mottu

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

2011

Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2011

Static analysis of aspect interaction and composition in component models.

[BibT_eX]

[DOI]

Abdelhakim Hannousse

Rémi Douence

Proceedings of the Generative Programming And Component Engineering, 2011

Composable Controllers in Fractal: Implementation and Interference Analysis.

[BibT_eX]

[DOI]

Abdelhakim Hannousse

Rémi Douence

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Component Service Promotion: Contracts, Mechanisms and Safety.

[BibT_eX]

[DOI]

Mohamed Messabihi

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Using Event-B to Verify the Kmelia Components and Their Assemblies.

[BibT_eX]

[DOI]

Arnaud Lanoix

Proceedings of the Abstract State Machines, 2010

2009

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies.

[BibT_eX]

[DOI]

Arnaud Lanoix

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

JavaCompExt: Extracting Architectural Elements from Java Source Code.

[BibT_eX]

[DOI]

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

2008

Composing Components with Shared Services in the KmeliaModel.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 7th International Symposium, 2008

2007

Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 6th International Symposium, 2007

Protocoles d'utilisation de composants : spécification et analyse en Kmelia.

[BibT_eX]

Proceedings of the Actes des journées Langages et Modèles à Objets, 2007

2006

Adaptation for Hierarchical Components and Services.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Checking Component Composability.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 5th International Symposium, 2006

Spécification d'architectures en Kmelia : hiérarchie de connexion et composition.

[BibT_eX]

Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2004

Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code.

[BibT_eX]

[DOI]

J. Object Technol., 2004

The Bosco Project - A JMI-Compliant Template-based Code Generator.

[BibT_eX]

Gerson Sunyé

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

2003

LAMP : vers un langage de définition de mécanismes de protection pour les langages de programmation à objets.

[BibT_eX]

[DOI]

Pierre Crescenzo

Philippe Lahire

Obj. Logiciel Base données Réseaux, 2003

2002

Access Graphs: Another View on Static Access Control for a Better Understanding and Use.

[BibT_eX]

[DOI]

J. Object Technol., 2002

Access Graph Visualization: A step towards better understanding of static access control.

[BibT_eX]

[DOI]

Olivier Gout

Proceedings of the International Workshop on Graph-Based Tools, 2002

2001

AGATE, Access Graph-Based Tools for Handling Encapsulation.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

11th Workshop for PhD Students in Object-Oriented Systems.

[BibT_eX]

[DOI]