Skip to content
  Projet Triskell  

Liste des Publications/List of Publications
- 2006 -

Triskell Team
IRISA
http://www.irisa.fr/triskell

Livres/Books

[1] Jean-Marc Jézéquel, Sébastien Gérard, and Benoit Baudry. -- L'ingénierie dirigée par les modèles, chapter Le génie logiciel et l'IDM : une approche unificatrice par les modèles. -- Lavoisier, Hermes-science, 2006. [PDF] [BibTeX]

[2] Tewfik Ziadi and Jean-Marc Jézéquel. -- Software Product Lines, chapter Product Line Engineering with the UML: Deriving Products, pages 557--586. -- Number ISBN: 978-3-540-33252-7. Springer Verlag, 2006. [PDF] [BibTeX]

[3] Cl√©mentine Nebut, Yves Le Traon, and Jean-Marc J√©z√©quel. -- Software Product Lines, chapter System Testing of Product Families: from Requirements to Test Cases, pages 447--478. -- Number ISBN: 978-3-540-33252-7. Springer Verlag, 2006. [PDF] [BibTeX]

[4] J. Bayer, S. G√©rard, O. Haugen, J. Mansell, B. Moller-Pedersen, J. Oldevik, P. Tessier, J.-P. Thibault, and T. Widen. -- Software Product Lines, chapter Consolidated Product Line Variability Modeling, pages 195--242. -- Number ISBN: 978-3-540-33252-7. Springer Verlag, 2006. [BibTeX]

[5] Jean-Marc Jézéquel. -- Encyclopédie Vuibert de l'informatique, chapter Patrons de conception. -- Vuibert, 2006. [BibTeX]

[6] No√ęl Plouzeau. -- Encyclop√©die Vuibert de l'informatique, chapter Composants logiciels. -- Vuibert, 2006. [BibTeX]

[7] P.-A. Muller. -- From MDD Concepts to Experiments and Illustrations, chapter On Metamodels and Language Engineering. -- ISTE, ISBN 1905209592, 2006. [BibTeX]

Articles/Articles (Referred Journals)

[1] Yves Le Traon, Benoit Baudry, and Jean-Marc J√©z√©quel. -- Design by contract to improve software vigilance. -- IEEE Transactions on Software Engineering, 32(8):571--586, August 2006. [PDF] [BibTeX]

[2] Cl√©mentine Nebut, Franck Fleurey, Yves Le Traon, and Jean-Marc J√©z√©quel. -- Automatic test generation: A use case driven approach. -- IEEE Transactions on Software Engineering, 32(3):140--155, March 2006. [PDF] [BibTeX]

Conférences Internationales/International Conferences (with program commitee)

[1] Benoit Baudry, Franck Fleurey, and Yves Le Traon. -- Improving test suites for efficient fault localization. -- In 28th International Conference on Software Engineering (ICSE 06). ACM, 2006. -- selection : 9%. [PDF] [BibTeX]

[2] Jacques Klein, Loic Hélouet, and Jean-Marc Jézéquel. -- Semantic-based weaving of scenarios. -- In Proceedings of the 5th International Conference on Aspect-Oriented Software Development (AOSD'06), Bonn, Germany, March 2006. ACM. [PDF] [BibTeX]

[3] Jacques Klein and Franck Fleurey. -- Tissage d'aspects comportementaux. -- In Langages et Modèles à Objets: LMO'06, Nimes, France, March 2006. [PDF] [BibTeX]

[4] Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, and Jean-Marc Jézéquel. -- Model-driven analysis and synthesis of concrete syntax. -- In Proceedings of the MoDELS/UML 2006, Genova, Italy, October 2006. [PDF] [BibTeX]

[5] Jean-Marie Mottu, Benoit Baudry, and Yves Le Traon. -- Reusable mda components: A testing-for-trust approach. -- In proceedings of the MoDELS/UML 2006, Genova, Italy, October 2006. [PDF] [BibTeX]

[6] Walter Cazzola, Jean-Marc Jézéquel, and Awais Rashid. -- Semantic join point models: Motivations, notions and requirements. -- In SPLAT 2006 (Software Engineering Properties of Languages and Aspect Technologies), March 2006. [PDF] [BibTeX]

[7] Jean-Marie Mottu, Benoit Baudry, and Yves Le Traon. -- Mutation analysis testing for model transformations. -- In proceedings of the European Conference on Model Driven Architecture (ECMDA 06), Bilbao, Spain, July 2006. [PDF] [BibTeX]

[8] Jean-Marc Jézéquel. -- Reifying the semantic domains of component contracts. -- In 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, Braga, Portugal. Springer SBM, October 2006. [BibTeX]

[9] Andrew Jackson, Jacques Klein, Benoit Baudry, and Siobhan Clarke. -- Testing executable themes. -- In In Second Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 06, Nantes, France, July 2006. [PDF] [BibTeX]

[10] Andrew Jackson, Jacques Klein, Benoit Baudry, and Siobhan Clarke. -- Kertheme: Testing aspect oriented models. -- In ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., Bilbao, Spain, July 2006. [PDF] [BibTeX]

[11] Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, and Yves Le Traon. -- Metamodel-based test generation for model transformations: an algorithm and a tool. -- In Proceedings of ISSRE'06, Raleigh, NC, USA, November 2006. [PDF] [BibTeX]

[12] Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, and Yves Le Traon. -- Model transformation testing challenges. -- In ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., Bilbao, Spain, July 2006. [PDF] [BibTeX]

[13] Olivier Barais, Julia Julia Lawall, Anne-Fran√ßoise Le Meur, and Laurence Duchien. -- Safe integration of new concerns in a software architecture. -- In Proceedings of the 13th International Conference on Engineering of Computer Based Systems (ECBS'06), pages 52--64, Potsdam, Germany, mar 2006. IEEE. [PDF] [BibTeX]

[14] Andrew Jackson, Olivier Barais, Jean-Marc Jézéquel, and Siobhán Clarke. -- Toward a generic and extensible merge operator. -- In Models and Aspects workshop, at ECOOP 2006, Nantes, France, July 2006. [PDF] [BibTeX]

[15] Han-Missi Tran, Olivier Barais, Anne-Fran√ßoise Le Meur, and Laurence Duchien. -- Safe integration of new concerns in a software architecture: Overview of the implementation. -- In in the 2nd International ECOOP Workshop on Architecture Centric Evolution (ACE'06), Nantes, France, July 2006. [PDF] [BibTeX]

[16] Romain Delamare, Benoit Baudry, and Yves Le Traon. -- Reverse-engineering of uml 2.0 sequence diagrams from execution traces. -- In Workshop on Object-Oriented Reengineering at ECOOP 06, Nantes, France, July 2006. [PDF] [BibTeX]

[17] S√©bastien Saudrais, Olivier Barais, and No√ęl Plouzeau. -- Composants avec propri√©t√©s temporelles. -- In Proceedings of the CAL 2006, Nantes, France, September 2006. [PDF] [BibTeX]

[18] Sébastien Saudrais, Olivier Barais, and Laurence Duchien. -- Using model-driven engineering to generate qos monitors from a formal specification. -- In Proceedings of the Aquserm 2006, Hong Kong, China, October 2006. [PDF] [BibTeX]

Autres Publications/Other Publications

[1] Cl√©mentine Nebut, Benoit Baudry, Souha Kamoun, and Waqas Ahmed Saeed. -- Multi-language support for model-driven requirement analysis and test generation. -- In ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., Bilbao, Spain, July 2006. [PDF] [BibTeX]

[2] Jean-Marc Jézéquel. -- Model driven aspect weaving. -- In 1st European Summer School on Aspect-oriented Software Development, Vrije Universiteit Brussel, Belgium, July 2006. [PDF] [BibTeX]

[3] Jean-Marc Jézéquel. -- L'ingénierie des modèles. -- Performance, Silicomp-AQL, October 2006. [BibTeX]

[4] Didier Vojtisek. -- Qvt : un standard de transformation pour l'ingénierie dirigée par les modèles, January 2006. -- http://www.standarmedia.com. [BibTeX]

[5] Zoé Drey, Cyril Faucher, Franck Fleurey, and Didier Vojtisek. -- Kermeta language reference manual, 2006. [BibTeX]

[6] Zoé Drey and Didier Vojtisek. -- Kermeta EMF tutorial, 2006. [BibTeX]

[7] Didier Vojtisek. -- Kermeta user interface guide, 2006. [BibTeX]

[8] Olivier Barais. -- Spoonemf, une brique logicielle pour l'utilisation de l'idm dans le cadre de la réingénierie de programmes java5. -- 2 ème Journée sur l'Ingénierie Dirigée par les Modèles, June 2006. -- http://planetmde.org/idm06/posters/11.pdf. [PDF] [BibTeX]

[9] Pierre-Alain Muller. -- De la modélisation objet des logiciels à la métamodélisation des langages informatiques. -- PhD thesis, Habilitation à diriger les recherches de l'université Rennes 1, 2006. [PDF] [BibTeX]

[10] Franck Fleurey. -- Langage et méthode pour une ingénierie des modèles fiable. -- PhD thesis, Université de Rennes 1, October 2006. [PDF] [BibTeX]

[11] Jacques Klein. -- Aspects Comportementaux et Tissage. -- PhD thesis, Université Rennes 1, 2006. [PDF] [BibTeX]

[12] Benoit Baudry, David Hearnden, Nicolas Rapin, and J√∂rn Guy Suss. -- Report on the 3rd modeva workshop - model design and validation. -- In Workshops and Symposia at MoDELS'06, pages 179 -- 181. LNCS, October 2006. [PDF]