Inria / Raweb 2005
Project-Team: Triskell

HELP

INDEX

Bibliography

Major publications by the team in recent years

[1]

Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves LeTraon.
Automatic Test Cases Optimization: a Bacteriologic Algorithm, in: "IEEE Software", March 2005, vol. 22, n^o 2, p. 76–82.

[2]

A. Beugnard, J.-M. Jézéquel, N. Plouzeau, D. Watkins.
Making Components Contract Aware, in: "IEEE Computer", July 1999, vol. 13, n^o 7.

[3]

M. Himdi.
Development of Generic Probes for Functional and Extra-Functional Diagnosis, in: "Supplementary proc. of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004 Student Paper), St Malo", November 2004.

[4]

Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoit Caillaud.
Protocol Engineering using UML, in: "Annales des Telecoms", November 1999, vol. 54, n^o 11–12, p. 526–538.

[5]

J.-M. Jézéquel, D. Deveaux, Y. LeTraon.
Reliable Objects: a Lightweight Approach Applied to Java, in: "IEEE Software", July/August 2001, vol. 18, n^o 4, p. 76–83.

[6]

Jean-Marc Jézéquel.
Model Driven Engineering for Distributed Real Time Embedded Systems, J.-P. Babau S. Gérard (editor)., Hermes Science Publishing Ltd, London, 2005, chap. Real Time Components and Contracts.

[7]

J.-M. Jézéquel.
Object Oriented Software Engineering with Eiffel, ISBN 1-201-63381-7, Addison-Wesley, March 1996.

[8]

Jean-Marc Jézéquel.
Reifying Variants in Configuration Management, in: "ACM Transaction on Software Engineering and Methodology", July 1999, vol. 8, n^o 3, p. 284–295.

[9]

J.-M. Jézéquel, M. Train, C. Mingins.
Design Patterns and Contracts, ISBN 1-201-30959-9, Addison-Wesley, October 1999.

[10]

G. Sunyé, A. LeGuennec, J.-M. Jézéquel.
Using UML Action Semantics for Model Execution and Transformation, in: "Information Systems, Elsevier", July 2002, vol. 27, n^o 6, p. 445–457.

[11]

Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Pierre Morel.
Efficient OO Integration and Regression Testing, in: "IEEE Trans. on Reliability", March 2000, vol. 49, n^o 1, p. 12–25.

Books and Monographs

[12]

Sébastien Gérard, Jean-Marie Favre, Pierre-Alain Muller, Xavier Blanc (editors).
IDM05, Actes des 1ères Journées sur l'Ingénierie Dirigée par les Modèles, http://planetmde.org/idm05/actes.pdf, Paris, June 2005, n^o ISBN 2-7261-1284-6.

[13]

Jean-Marc Jézéquel, Noël Plouzeau, Yves Le Traon.
Développement de logiciel à objets avec UML, September 2005, Polycopié IFSIC C119, version 1.6, 146 pages.

Doctoral dissertations and Habilitation theses

[14]

Damien Pollet.
Une architecture pour les transformations de modèles et la restructuration de modèles UML, Ph. D. Thesis, Université de Rennes 1, June 2005,
http://www.irisa.fr/bibli/publi/theses/2005/pollet/pollet.html.

Articles in referred journals and book chapters

[15]

Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves LeTraon.
Automatic Test Cases Optimization: a Bacteriologic Algorithm, in: "IEEE Software", March 2005, vol. 22, n^o 2, p. 76–82.

[16]

B. Baudry, F. Fleurey, J-M. Jézéquel, Y. Le Traon.
From Genetic to Bacteriological Algorithms for Mutation-Based Testing, in: "Software, Testing, Verification & Reliability journal (STVR)", June 2005, vol. 15, n^o 2, p. 73-96.

[17]

J. Bayer, S. Gérard, O. Haugen, J. Mansell, B. Moller-Pedersen, J. Oldevik, P. Tessier, J.-P. Thibault, T. Widen.
Families Research Book, LNCS, Springer Verlag, 2005, chap. A Unified Conceptual Model for Product Family Variability Modelling, n^o to be published.

[18]

Jean-Marc Jézéquel.
Model Driven Engineering for Distributed Real Time Embedded Systems, J.-P. Babau S. Gérard (editor)., Hermes Science Publishing Ltd, London, 2005, chap. Real Time Components and Contracts.

[19]

Jean-Marc Jézéquel.
Encyclopédie Vuibert de l'informatique, Vuibert, 2005, chap. Patrons de conception.

[20]

Pierre-Alain Muller.
Model Driven Engineering for Distributed Real Time Embedded Systems, J. Champeau S. Gérard (editor)., Hermes Science Publishing Ltd, London, 2005, chap. Model Transformations.

[21]

P.-A. Muller, P. Studer, F. Fondement, J. Bezivin.
Independent Web Application Modeling and Development, in: "Software and System Modeling", November 2005, vol. 4, n^o 4, p. 424–442.

[22]

Clémentine Nebut, Yves LeTraon, Jean-Marc Jézéquel.
Families Research Book, LNCS, Springer Verlag, 2005, chap. System Testing of Product Families: from Requirements to Test Cases, n^o to be published.

[23]

Noël Plouzeau.
Encyclopédie Vuibert de l'informatique, Vuibert, 2005, chap. Composants logiciels.

[24]

Tewfik Ziadi, Jean-Marc Jézéquel.
Families Research Book, LNCS, Springer Verlag, 2005, chap. Product Line Engineering with the UML: Products Derivation, n^o to be published.

Publications in Conferences and Workshops

[25]

Benoit Baudry, Franck Fleurey, Robert France, Raghu Reddy.
Exploring the Relationship between Model Composition and Model Transformation, in: "Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica", October 2005.

[26]

Franck Chauvel, Jean-Marc Jézéquel.
Code Generation from UML Models with Semantic Variation Points, in: "Proceedings of MODELS/UML'2005, Montego Bay, Jamaica", S. Kent L. Briand (editor)., LNCS, Springer, October 2005, vol. to be published, –.

[27]

Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry, Franck Fleurey.
A Taxonomy of Faults for UML Designs, in: "Model Design and Validation (MoDeVa) Workshop, Montego Bay, Jamaica", October 2005.

[28]

Jacques Klein, Jean-Marc Jézéquel.
Problems of the Semantic-based Weaving of Scenarios, in: "In Aspects and Software Product Lines: An Early Aspects Workshop at SPLC-Europe 05, Rennes", September 2005.

[29]

Jacques Klein, Jean-Marc Jézéquel, Noel Plouzeau.
Weaving Behavioural Models, in: "In First Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 05, Glasgow", July 2005.

[30]

Michael Lawley, Jim Steel.
Practical Declarative Model Transformation With Tefkat, in: "Model Transformations In Practice Workshop, Montego Bay, Jamaica", October 2005.

[31]

Jean-Marie Mottu, Benoit Baudry, Yves Le Traon, Erwan Brottier.
Génération Automatique de Test pour les Transformations de Modèles, in: "1ère Journées sur l'Ingénierie Dirigée par les Modèles, Paris", June 2005.

[32]

Pierre-Alain Muller, Didier Bresch.
Model-Driven Architecture for Distributed and Embedded Process-Control, in: "5ème Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), Nancy", October 2005.

[33]

P.-A. Muller, C. Dumoulin, F. Fondement, M. Hassenforder.
The TopModL Initiative, in: "UML 2004 Satellite Activities, Montego Bay, Jamaica", March 2005.

[34]

Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel.
Weaving Executability intoObject-Oriented Meta-Languages, in: "Proceedings of MODELS/UML'2005, Montego Bay, Jamaica", S. Kent L. Briand (editor)., LNCS, Springer, October 2005, vol. to be published, –.

[35]

Pierre-Alain Muller, Franck Fleurey, Didier Vojtisek, Zoé Drey, Damien Pollet, Frédéric Fondement, Philippe Studer, Jean-Marc Jézéquel.
On Executable Meta-Languages applied to Model Transformations, in: "Model Transformations In Practice Workshop, Montego Bay, Jamaica", October 2005.

[36]

Pierre-Alain Muller, M. Hassenforder.
HUTN as a Bridge between ModelWare and GrammarWare, in: "WISME Workshop, MODELS / UML'2005, Montego Bay, Jamaica", October 2005.

[37]

Clémentine Nebut, Franck Fleurey.
Une méthode de formalisation progressive des exigences basée sur un modèle simulable, in: "Langages et Modèles à Objets: LMO'05 (L'Objet logiciel, bases de données, réseaux, RSTI série l'Objet Vol. 11 N° 1-2/2005), Bern, Switzerland", February 2005, p. 145-158.

[38]

A. Rasse, J.-M. Perronne, P.-A. Muller, B. Thirion.
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models, in: "MODEVA Workshop, MODELS / UML'2005, Montego Bay, Jamaica", October 2005.

[39]

Raghu Reddy, Robert France, Sudipto Ghosh, Franck Fleurey, Benoit Baudry.
Model Composition - A Signature-Based Approach, in: "Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica", October 2005.

[40]

Jim Steel, Jean-Marc Jézéquel.
Model Typing for Improving Reuse in Model-Driven Engineering, in: "Proceedings of MODELS/UML'2005, Montego Bay, Jamaica", S. Kent L. Briand (editor)., LNCS, Springer, October 2005, vol. to be published, –.

[41]

Tewfik Ziadi, Jean-Marc Jézéquel.
Manipulation de Lignes de Produits Logiciels : Une Approche Dirigée par les Modèles, in: "1ère Journées sur l'Ingénierie Dirigée par les Modèles, Paris", June 2005.

Bibliography in notes

[42]

Brad Appleton.
Patterns and Software: Essential Concepts and Terminology, in: "Object Magazine Online", May 1997,
http://www.sigs.com/omo/tips/9705/patterns.html.

[43]

A. Beugnard, J.-M. Jézéquel, N. Plouzeau, D. Watkins.
Making Components Contract Aware, in: "IEEE Computer", July 1999, vol. 13, n^o 7.

[44]

Grady Booch.
Object-Oriented Analysis and Design with Applications, 2nd, Benjamin Cummings, 1994.

[45]

L. Castellano, G. de Michelis, Pomello,L..
Concurrency versus Interleaving: An Instructive Example, in: "BEATCS: Bulletin of the European Association for Theoretical Computer Science", 1987, vol. 31.

[46]

Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides.
Design Patterns: Elements of Reusable Object-Oriented Software, Addison Wesley, 1995.

[47]

M.A. Jackson.
System Development, Prentice-Hall International, Series in Computer Science, 1985.

[48]

J.-M. Jézéquel, B. Meyer.
Design by Contract: The Lessons of Ariane, in: "Computer", January 1997, vol. 30, n^o 1, p. 129–130.

[49]

J.-M. Jézéquel, M. Train, C. Mingins.
Design Patterns and Contracts, ISBN 1-201-30959-9, Addison-Wesley, October 1999.

[50]

B. Meyer.
Reusability: The Case for Object-Oriented Design, in: "IEEE SOFTWARE", March 1987, n^o 3, p. 50–64.

[51]

B. Meyer.
Applying "Design by Contract", in: "IEEE Computer (Special Issue on Inheritance & Classification)", October 1992, vol. 25, n^o 10, p. 40–52.

[52]

Clemens Szyperski.
Component Software: Beyond Object-Oriented Programming, ACM Press and Addison-Wesley, New York, N.Y., 1998.

[53]

Jos Warmer, Anneke Kleppe.
The Object Constraint Language, Addison-Wesley, 1998.

[54]

G. Winskel.
Event Structures, in: "Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef", G. Rozenberg W. Brauer (editor)., Springer-Verlag, september 1986, vol. 255, p. 325-392.