Skip to content
  Projet Triskell  
 

2005 sorted by author

Document Actions

P -A Muller

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

Benoit Baudry

B Baudry, C Gaston, and S Ghosh (2005).
Report on the 2nd Workshop on Model Development and Validation – MoDeVa.
In: Satellite Events at the MoDELS'05, edited by Bruel, Jean-Michel. Springer-Verlag, Montego Bay, Jamaica, pages 32 - 38.

B Baudry, F Fleurey, R France, and R Reddy (2005).
Exploring the Relationship between Model Composition and Model Transformation
In: Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica.

B Baudry, F Fleurey, J Jézéquel, and LT Yves (2005).
From Genetic to Bacteriological Algorithms for Mutation-Based Testing
Software, Testing, Verification & Reliability journal (STVR) 15(2):73-96.

B Baudry, F Fleurey, J Jézéquel, and Y Le Traon (2005).
Automatic Test Cases Optimization: a Bacteriologic Algorithm
IEEE Software 22(2):76–82.

T Dinh-Trong, S Ghosh, R France, B Baudry, and F Fleurey (2005).
A Taxonomy of Faults for UML Designs
In: Model Design and Validation (MoDeVa) Workshop, Montego Bay, Jamaica.

J Mottu, B Baudry, Y Le Traon, and E Brottier (2005).
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.

R Reddy, R France, S Ghosh, F Fleurey, and B Baudry (2005).
Model Composition - A Signature-Based Approach
In: Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica.

Erwan Brottier

J Mottu, B Baudry, Y Le Traon, and E Brottier (2005).
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.

Franck Chauvel

F Chauvel, and J Jézéquel (2005).
Code Generation from UML Models with Semantic Variation Points
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages –.

Zoé Drey

P Muller, F Fleurey, D Vojtisek, Z Drey, D Pollet, F Fondement, P Studer, and J Jézéquel (2005).
On Executable Meta-Languages applied to Model Transformations
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

Franck Fleurey

B Baudry, F Fleurey, R France, and R Reddy (2005).
Exploring the Relationship between Model Composition and Model Transformation
In: Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica.

B Baudry, F Fleurey, J Jézéquel, and LT Yves (2005).
From Genetic to Bacteriological Algorithms for Mutation-Based Testing
Software, Testing, Verification & Reliability journal (STVR) 15(2):73-96.

B Baudry, F Fleurey, J Jézéquel, and Y Le Traon (2005).
Automatic Test Cases Optimization: a Bacteriologic Algorithm
IEEE Software 22(2):76–82.

T Dinh-Trong, S Ghosh, R France, B Baudry, and F Fleurey (2005).
A Taxonomy of Faults for UML Designs
In: Model Design and Validation (MoDeVa) Workshop, Montego Bay, Jamaica.

P Muller, F Fleurey, D Vojtisek, Z Drey, D Pollet, F Fondement, P Studer, and J Jézéquel (2005).
On Executable Meta-Languages applied to Model Transformations
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

P Muller, F Fleurey, and J Jézéquel (2005).
Weaving Executability into Object-Oriented Meta-Languages
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages 264-278.

C Nebut, and F Fleurey (2005).
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, pages 145-158.

R Reddy, R France, S Ghosh, F Fleurey, and B Baudry (2005).
Model Composition - A Signature-Based Approach
In: Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica.

Frédéric Fondement

P Muller, C Dumoulin, F Fondement, and M Hassenforder (2005).
The TopModL Initiative
In: UML 2004 Satellite Activities. Springer, Montego Bay, Jamaica.

P Muller, P Studer, F Fondement, and J Bézivin (2005).
Independent Web Application Modeling and Development with Netsilon
Software and System Modeling 4(4):424–442.

P Muller, F Fleurey, D Vojtisek, Z Drey, D Pollet, F Fondement, P Studer, and J Jézéquel (2005).
On Executable Meta-Languages applied to Model Transformations
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

Jean-Marc Jézéquel

B Baudry, F Fleurey, J Jézéquel, and Y Le Traon (2005).
Automatic Test Cases Optimization: a Bacteriologic Algorithm
IEEE Software 22(2):76–82.

F Chauvel, and J Jézéquel (2005).
Code Generation from UML Models with Semantic Variation Points
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages –.

J Klein, J Jézéquel, and N Plouzeau (2005).
Weaving Behavioural Models
In: In First Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 05, Glasgow.

J Klein, and J Jézéquel (2005).
Problems of the Semantic-based Weaving of Scenarios
In: In Aspects and Software Product Lines: An Early Aspects Workshop at SPLC-Europe 05, Rennes.

P Muller, F Fleurey, D Vojtisek, Z Drey, D Pollet, F Fondement, P Studer, and J Jézéquel (2005).
On Executable Meta-Languages applied to Model Transformations
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

P Muller, F Fleurey, and J Jézéquel (2005).
Weaving Executability into Object-Oriented Meta-Languages
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages 264-278.

J Steel, and J Jézéquel (2005).
Model Typing for Improving Reuse in Model-Driven Engineering
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages –.

Jean-Marc Jézéquel

B Baudry, F Fleurey, J Jézéquel, and LT Yves (2005).
From Genetic to Bacteriological Algorithms for Mutation-Based Testing
Software, Testing, Verification & Reliability journal (STVR) 15(2):73-96.

J Jézéquel, N Plouzeau, and Y Le Traon (2005).
Développement de logiciel à objets avec UML
Booklet.

J Jézéquel (2005).
Model Driven Engineering for Distributed Real Time Embedded Systems
In: , edited by S. Gérard, J.-P. Babau. Hermes Science Publishing Ltd, London, chapter Real Time Components and Contracts.

T Ziadi, and J Jézéquel (2005).
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.

Jacques Klein

J Klein, J Jézéquel, and N Plouzeau (2005).
Weaving Behavioural Models
In: In First Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 05, Glasgow.

J Klein, and J Jézéquel (2005).
Problems of the Semantic-based Weaving of Scenarios
In: In Aspects and Software Product Lines: An Early Aspects Workshop at SPLC-Europe 05, Rennes.

Yves Le Traon

B Baudry, F Fleurey, J Jézéquel, and Y Le Traon (2005).
Automatic Test Cases Optimization: a Bacteriologic Algorithm
IEEE Software 22(2):76–82.

J Jézéquel, N Plouzeau, and Y Le Traon (2005).
Développement de logiciel à objets avec UML
Booklet.

J Mottu, B Baudry, Y Le Traon, and E Brottier (2005).
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.

Jean-Marie Mottu

J Mottu, B Baudry, Y Le Traon, and E Brottier (2005).
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.

Pierre-Alain Muller

P Muller (2005).
Application of Model Transformation
In: ARTIST2 Summer School on Component & Modelling, Testing & Verification, and Statical Analysis of Embedded Systems, Nässlingen, Sweden.

P Muller, C Dumoulin, F Fondement, and M Hassenforder (2005).
The TopModL Initiative
In: UML 2004 Satellite Activities. Springer, Montego Bay, Jamaica.

P Muller, P Studer, F Fondement, and J Bézivin (2005).
Independent Web Application Modeling and Development with Netsilon
Software and System Modeling 4(4):424–442.

P Muller (2005).
Model Driven Engineering for Distributed Real Time Embedded Systems
In: , edited by S. Gérard, J.-P. Babau, J. Champeau. Hermes Science Publishing Ltd, London,, chapter Model Transformations.

P Muller, and M Hassenforder (2005).
HUTN as a Bridge between ModelWare and GrammarWare
In: WISME Workshop, MODELS / UML'2005, Montego Bay, Jamaica.

P Muller, F Fleurey, D Vojtisek, Z Drey, D Pollet, F Fondement, P Studer, and J Jézéquel (2005).
On Executable Meta-Languages applied to Model Transformations
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

P Muller, and D Bresch (2005).
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.

Pierre-Alain, Muller

P Muller, F Fleurey, and J Jézéquel (2005).
Weaving Executability into Object-Oriented Meta-Languages
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages 264-278.

Clémentine Nebut

C Nebut, and F Fleurey (2005).
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, pages 145-158.

Noël Plouzeau

J Jézéquel, N Plouzeau, and Y Le Traon (2005).
Développement de logiciel à objets avec UML
Booklet.

J Klein, J Jézéquel, and N Plouzeau (2005).
Weaving Behavioural Models
In: In First Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 05, Glasgow.

Damien Pollet

P Muller, F Fleurey, D Vojtisek, Z Drey, D Pollet, F Fondement, P Studer, and J Jézéquel (2005).
On Executable Meta-Languages applied to Model Transformations
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

Jim Steel

M Lawley, and J Steel (2005).
Practical Declarative Model Transformation With Tefkat
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

J Steel, and J Jézéquel (2005).
Model Typing for Improving Reuse in Model-Driven Engineering
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages –.

Didier Vojtisek

P Muller, F Fleurey, D Vojtisek, Z Drey, D Pollet, F Fondement, P Studer, and J Jézéquel (2005).
On Executable Meta-Languages applied to Model Transformations
In: Model Transformations In Practice Workshop, Montego Bay, Jamaica.

Le Traon Yves

B Baudry, F Fleurey, J Jézéquel, and LT Yves (2005).
From Genetic to Bacteriological Algorithms for Mutation-Based Testing
Software, Testing, Verification & Reliability journal (STVR) 15(2):73-96.

Tewfik Ziadi

T Ziadi, and J Jézéquel (2005).
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.