Publications HAL du labo/EPI Triskell

Journal articles

titre
Design by Contract to improve Software Vigilance
auteur
Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
article
IEEE Transactions on Software Engineering, 2006, 32 (8), pp.571--586
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542784/file/letraon06a.pdf BibTex
titre
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
auteur
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion
article
Lecture Notes in Computer Science, 2006, 3844, pp.39-47. ⟨10.1007/11663430_5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00911624/file/MIPS_2006_06_ARTICLE.pdf BibTex

Conference papers

titre
Improving Test Suites for Efficient Fault Localization
auteur
Benoit Baudry, Franck Fleurey, Yves Le Traon
article
28th International Conference on Software Engineering (ICSE 06), 2006, Shanghai, China
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542783/file/baudry06a.pdf BibTex
titre
Model Transformation Testing Challenges
auteur
Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, Yves Le Traon
article
ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006, Bilbao, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542781/file/baudry06b.pdf BibTex
titre
Semantic Join Point Models: Motivations, Notions and Requirements
auteur
Walter Cazzola, Jean-Marc Jézéquel, Awais Rashid
article
SPLAT 2006 (Software Engineering Properties of Languages and Aspect Technologies), 2006, Bonn, Germany, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542782/file/Cazzola06a.pdf BibTex
titre
Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces
auteur
Romain Delamare, Benoit Baudry, Yves Le Traon
article
Workshop on Object-Oriented Reengineering at {ECOOP 06}, 2006, Nantes, France, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512549/file/Delamare06.pdf BibTex
titre
Executable Aspect Oriented Models for Improved Model Testing
auteur
Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke
article
ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006, Bilbao, Spain, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512544/file/Jackson06b.pdf BibTex
titre
Testing Executable Themes
auteur
Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke
article
In Second Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at {ECOOP 06}, 2006, Nantes, France, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512543/file/Jackson06a.pdf BibTex
titre
Toward a generic and extensible merge operator
auteur
Andrew Jackson, Olivier Barais, Jean-Marc Jézéquel, Siobhán Clarke
article
Models and Aspects workshop, at ECOOP 2006, Jul 2006, Nantes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795151/file/barais06b.pdf BibTex
titre
Model Driven Aspect Weaving
auteur
Jean-Marc Jézéquel
article
1st European Summer School on Aspect-oriented Software Development, 2006, Vrije Universiteit Brussel, Belgium, Belgium
Accès au bibtex
BibTex
titre
Reifying the Semantic Domains of Component Contracts
auteur
Jean-Marc Jézéquel
article
5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, 2006, Braga, Portugal, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512546/file/Jezequel06c.pdf BibTex
titre
Semantic-based weaving of scenarios
auteur
Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel
article
Proceedings of the 5th International Conference on Aspect-Oriented Software Development, Mar 2006, Bonn, Germany. pp.27-38, ⟨10.1145/1119655.1119662⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00921480/file/klein06a.pdf BibTex
titre
Tissage d'Aspects Comportementaux
auteur
Jacques Klein, Franck Fleurey
article
Langages et Modèles à Objets: LMO'06, Mar 2006, Nimes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511391/file/klein06b.pdf BibTex
titre
Mutation Analysis Testing for Model Transformations
auteur
Jean-Marie Mottu, Baudry Benoit, Yves Le Traon
article
European Conference on Model Driven Architecture (ECMDA 06), Jul 2006, Bilbao, Spain, Spain. pp 376 - 390
Accès au bibtex
BibTex
titre
Reusable MDA Components: A Testing-for-Trust Approach
auteur
Jean-Marie Mottu, Benoit Baudry, Le Traon Yves
article
9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006., Oct 2006, Genova, Italy. pp. 589-603
Accès au bibtex
BibTex
titre
Model-driven analysis and synthesis of concrete syntax
auteur
Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel
article
Proceedings of the MoDELS/UML 2006, Oct 2006, Genova, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795597/file/Muller06a.pdf BibTex
titre
Composants avec Propriétés Temporelles
auteur
Sébastien Saudrais, Olivier Barais, Noël Plouzeau
article
Proceedings of the CAL 2006, 2006, Nantes, France, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512552/file/Saudrais06a.pdf BibTex
titre
Using Model-Driven Engineering to generate QoS Monitors from a formal specification
auteur
Sébastien Saudrais, Olivier Barais, Laurence Duchien
article
Proceedings of the Aquserm 2006, 2006, Hong Kong, China, China
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512553/file/Saudrais06b.pdf BibTex
titre
Mutation-based Model Synthesis in Model Driven Engineering
auteur
Sagar Sen, Benoit Baudry
article
Mutation'06 workshop associtaed to ISSRE'06, 2006, Raleigh, NC, USA, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512551/file/sen06.pdf BibTex
titre
On-Demand Quality-Oriented Assistance in Component-Based Software Evolution
auteur
Chouki Tibermacine, Régis Fleurquin, Salah Sadou
article
CBSE: Component-Based Software Engineering, Jun 2006, Västerås, Sweden. pp.294-309, ⟨10.1007/11783565_21⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00499531/file/CTetAl_CBSE_2006.pdf BibTex

Book sections

titre
Consolidated Product Line Variability Modeling
auteur
Joachim Bayer, Sébastien Gérard, Oystein Haugen, Jason Mansell, Birger Moller-Pedersen, Jon Oldevik, Patrick Tessier, Jean-Philippe Thibault, Tanya Widen
article
Timo Käköla and Juan Duenas. Software Product Lines, Springer Verlag, 2006, 978-3-540-33252-7. ⟨10.1007/978-3-540-33253-4_6⟩
Accès au bibtex
BibTex
titre
Le génie logiciel et l'IDM : une approche unificatrice par les modèles
auteur
Jean-Marc Jézéquel, Sébastien Gérard, Benoit Baudry
article
J. Estublier. L'ingénierie dirigée par les modèles, Lavoisier, Hermes-science, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512541/file/Jezequel06a.pdf BibTex
titre
Patrons de conception
auteur
Jean-Marc Jézéquel
article
Akoka, Jacky and Comyn-Wattiau, Isabelle. Encyclopédie Vuibert de l'informatique, Vuibert, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512537/file/Jezequel06DP.pdf BibTex
titre
On Metamodels and Language Engineering
auteur
Pierre-Alain Muller
article
Jean-Philippe Babau and Joël Champeau and Sébastien Gérard. From MDD Concepts to Experiments and Illustrations, ISTE, pp.13--22, 2006, 9781905209590
Accès au bibtex
BibTex
titre
System Testing of Product Lines: From Requirements to Test Cases
auteur
Clémentine Nebut, Yves Le Traon, Jean-Marc Jézéquel
article
K. Pohl. Software Product Lines, Springer Verlag, pp.447-478, 2006, 978-3-540-33252-7
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512533/file/Nebut06b.pdf BibTex
titre
Product Line Engineering with the UML: Deriving Products
auteur
Tewfik Ziadi, Jean-Marc Jézéquel
article
K. Pohl. Software Product Lines, Springer Verlag, pp.557-588, 2006, ⟨10.1007/978-3-540-33253-4_15⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512550/file/Ziadi06b.pdf BibTex

Habilitation à diriger des recherches

titre
De la modélisation objet des logiciels à la metamodélisation des langages informatiques
auteur
Pierre-Alain Muller
article
Génie logiciel [cs.SE]. Université Rennes 1, 2006
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00538525/file/Muller06b.pdf BibTex

Other publications

titre
SpoonEMF, une brique logicielle pour l'utilisation de l'IDM dans le cadre de la réingénierie de programmes Java5
auteur
Olivier Barais
article
2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511393/file/barais06d.pdf BibTex
titre
L'ingénierie des modèles
auteur
Jean-Marc Jézéquel
article
2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00512547/file/Jezequel06d.pdf BibTex
titre
Multi-Language Support for Model-Driven Requirement Analysis and Test Generation
auteur
Clémentine Nebut, Benoit Baudry, Souha Kamoun, Waqas Ahmed Saeed
article
2006
Accès au bibtex
BibTex
titre
QVT : un standard de transformation pour l'Ingénierie Dirigèe par les Modèles
auteur
Didier Vojtisek
article
2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511398/file/StandardMediaQVT.pdf BibTex

Theses

titre
Langage et méthode pour une ingénierie des modèles fiable
auteur
Franck Fleurey
article
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00538288/file/Fleurey06a.pdf BibTex
titre
Aspects Comportementaux et Tissage
auteur
Jacques Klein
article
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00538382/file/klein06c.pdf BibTex