LMO 2006: Nîmes, France

Keynote speakers

• Ivica Crnkovic: Component-Based Software Engineering for Embedded Systems. 13 BibTeX
• Rose Dieng: Gestion des Connaissances, Web sémantique et Graphes conceptuels. 15 BibTeX
• Yves Le Traon: Test et diagnostic - des objets aux modèles. 17 BibTeX

Session 1: Components

• Marc Léger, Thierry Coupaye, T. Ledouxr: Contrôle dynamique de l'intégrité des communications dans les architectures à composants. 21-36 BibTeX
• Nicolas Desnos, Christelle Urtado, Sylvain Vauttier, Marianne Huchard: Assistance à l'architecte pour la construction d'architectures à base de composants. 37-52 BibTeX
• Jérôme Gensel, Cécile Capponi, Philippe Genoud, Danielle Ziébelin: Vers une intégration des relations Partie-Tout en AROM. 53-70 BibTeX

Session 2: Languages and libraries

• Roland Ducournau: Le hachage parfait fait-il un parfait test de sous-typage? 71-86 BibTeX
• Frederic Merizen, Dominique Colnet, Philippe Ribet, Cyril Adrian: Héritage non conforme en Eiffel. 87-100 BibTeX
• Jacques Klein, Franck Fleurey: Tissage d'aspects comportementaux. 101-116 BibTeX
• Jean-Guillaume Dumas, Dominique Duval: Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox. 117-134 BibTeX

Session 3: Model engineering

• Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette: Modélisation rigoureuse en SPEM de procédé de développement. 135-150 BibTeX
• Pierre Crescenzo, Philippe Lahire, E. Tundrea: SmartModels : la généricité paramétrée au service des modèles métiers. 151-166 BibTeX
• Tom Mens, Günter Kniesel, Olga Runge: Transformation dependency analysis - a comparison of two approaches. 167-184 BibTeX

Session 4: Software testing and quality

• El Hachemi Alikacem, Houari A. Sahraoui: Détection d'anomalies utilisant un langage de règle de qualité. 185-200 BibTeX
• Naouel Moha, D.-L. Huynh, Yann-Gaël Guéhéneuc: Une taxonomie et un métamodèle pour la détection des défauts de conception. 201-216 BibTeX
• Yves Le Traon, Benoit Baudry: Test d'intégration d'un système à objets - planification de l'ordre d'intégration. 217-230 BibTeX