Publications HAL du labo/EPI Triskell

Journal articles

titre
Évaluation de l'apport des aspects, des sujets et des vues pour la composition et la réutilisation des modèles
auteur
Olivier Barais, Philippe Lahire, Alexis Muller, Noël Plouzeau
article
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13 (2-3), pp.177-212
Accès au texte intégral et bibtex
https://hal.science/hal-00414637/file/BaraisLahireMullerPlouzeauVanwormhout_l_objet_finalmars.pdf BibTex
titre
Towards Dependable Model Transformations: Qualifying Input Test Data
auteur
Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon
article
Software and Systems Modeling, 2007
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477567/file/Fleurey07b.pdf BibTex
titre
Weaving Multiple Aspects in Sequence Diagrams
auteur
Jacques Klein, Franck Fleurey, Jean-Marc Jézéquel
article
LNCS Transactions on Aspect-Oriented Software Development, 2007, LNCS 4620, pp.167-199
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00505223/file/Klein07a.pdf BibTex
titre
Test Synthesis from UML Models of Distributed Software
auteur
Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon
article
IEEE Transactions on Software Engineering, 2007, 33 (4), pp.252--268
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477560/file/Pickin07a.pdf BibTex
titre
On Model Typing
auteur
Jim Steel, Jean-Marc Jézéquel
article
Software and Systems Modeling, 2007, 6 (4), pp.401--414
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477547/file/Steel07a.pdf BibTex

Conference papers

titre
Using Aspect Oriented Modeling to localize implementation of executable models
auteur
Zaid Altahat, Tzilla Elrad, Didier Vojtisek
article
Models and Aspects workshop, at ECOOP 2007, Jul 2007, Berlin, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00460326/file/Altahat07a.pdf BibTex
titre
Model-driven Engineering for Requirements Analysis
auteur
Benoit Baudry, Clémentine Nebut, Yves Le Traon
article
11th International Enterprise Distributed Object Computing Conference (EDOC), Oct 2007, Annapolis, MD, United States. pp.459-466, ⟨10.1109/EDOC.2007.15⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00196676/file/baudry07a.pdf BibTex
titre
Producing a Global Requirement Model from Multiple Requirement Specifications
auteur
Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas
article
EDOC'07 (Entreprise Distributed Object Computing Conference), 2007, Annapolis, MD, USA, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477569/file/brottier07a.pdf BibTex
titre
Modelling Adaptation Policies for Self-Adaptive Component Architectures
auteur
Franck Chauvel, Olivier Barais
article
1st Workshop on Model-driven Software Adaptation M-ADAPT'07 at ECOOP 2007, 2007, Berlin, Germany, Germany. pp.61--68
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477570/file/Chauvel07a.pdf BibTex
titre
Model-Driven Engineering for implementing the ISO 19100 series of international standards
auteur
Cyril Faucher, Jean-Yves Lafaye
article
CoastGIS 07, the 8th International Symposium on GIS and Computer Mapping for Coastal Zone Management, Oct 2007, Santander, Espagne. pp.424-433
Accès au bibtex
BibTex
titre
A Generic Approach For Automatic Model Composition
auteur
Franck Fleurey, Benoit Baudry, Robert France, Sudipto Ghosh
article
Aspect Oriented Modeling (AOM) Workshop, 2007, Nashville, USA, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477568/file/Fleurey07c.pdf BibTex
titre
Model-Driven Engineering for Software Migration in a Large Industrial Context
auteur
Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jézéquel
article
MoDELS'07, 2007, Nashville, TN, USA, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477566/file/fleurey07a.pdf BibTex
titre
Model-driven Development of Complex Software: A Research Roadmap
auteur
Robert France, Bernhard Rumpe
article
FOSE '07: 2007 Future of Software Engineering, May 2007, Washington, DC, United States. pp.37--54, ⟨10.1109/FOSE.2007.14⟩
Accès au bibtex
https://arxiv.org/pdf/1409.6620 BibTex
titre
Providing Support for Model Composition in Metamodels
auteur
Robert France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh
article
EDOC'07, Oct 2007, Annapolis, MD, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00180463/file/france-composition.pdf BibTex
titre
Modeling and Aspect Weaving
auteur
Jean-Marc Jézéquel
article
Methods for Modelling Software Systems (MMOSS), 2007, Schloss Dagstuhl, Germany, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477565/file/06351.JezequelJeanMarc.Paper.864.pdf BibTex
titre
Introduction du test dans la modélisation par aspects
auteur
Jacques Klein, Benoit Baudry, Olivier Barais, Andrew Jackson
article
Troisième Journées sur l'Ingénierie Dirigée par les Modèles (IDM'2007), 2007, Toulouse, France, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477564/file/klein07.pdf BibTex
titre
Introducing variability into Aspect-Oriented Modeling approaches
auteur
Philippe Lahire, Brice Morin, Gilles Vanwormhoudt, Alban Gaignard, Olivier Barais, Jean-Marc Jézéquel
article
In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), 2007, Nashville, TN, USA, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477562/file/Morin07b.pdf BibTex
titre
Modeling and Integrating Aspects into Component Architectures
auteur
Lydia Michotte, Robert France, Franck Fleurey
article
EDOC'07, Oct 2007, Annapolis, MD, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00180635/file/Michotte-Modeling.pdf BibTex
titre
Counts count
auteur
Martin Monperrus, Joël Champeau, Brigitte Hoeltzener
article
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477563/file/Monperrus07.pdf BibTex
titre
Towards a Generic Aspect-Oriented Modeling Framework
auteur
Brice Morin, Olivier Barais, Jean-Marc Jézéquel, Rodrigo Ramos
article
Models and Aspects workshop, at ECOOP 2007, 2007, Berlin, Germany, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00505222/file/morin07a.pdf BibTex
titre
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles
auteur
Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, Jean-Marc Jézéquel
article
8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285
Accès au bibtex
BibTex
titre
Vigilant usage of Aspects
auteur
Freddy Munoz, Olivier Barais, Benoit Baudry
article
in Proceedings of ADI 2007 - Workshop on Aspects, Dependencies, and Interactions at ECOOP 2007, 2007, Berlin, Germany, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477559/file/Munoz07a.pdf BibTex
titre
Matching Model-Snippets
auteur
Rodrigo Ramos, Olivier Barais, Jean-Marc Jézéquel
article
In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), 2007, Nashville, TN, USA, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477558/file/ramos07a.pdf BibTex
titre
Intégration de propriétés temporelles dans des applications à base de composants
auteur
Sébastien Saudrais, Olivier Barais, Laurence Duchien, Noël Plouzeau
article
Dixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), 2007, Namur, Belgium, Belgique
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477556/file/Saudrais07a.pdf BibTex
titre
Integration of Time Issues into Component-Based Applications
auteur
Sébastien Saudrais, Noël Plouzeau, Olivier Barais
article
CBSE, ACM, Jul 2007, Boston, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477509/file/CBSE_2007_Saudrais_et_al_46080173.pdf BibTex
titre
Monitoring your Lego Mindstorms with Giotto
auteur
Sébastien Saudrais, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel
article
in Proceedings of ARTIST International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, 2007, Berlin, Germany, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477557/file/Saudrais07c.pdf BibTex
titre
Domain-specific Model Editors with Model Completion
auteur
Sagar Sen, Benoit Baudry, Hans Vangheluwe
article
In Proceedings of MPM Workshop associated to MoDELS'07, 2007, Nashville, TN, USA, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477554/file/sen07a.pdf BibTex
titre
An enterprise architecture alignment measure for telecom service development
auteur
Jacques Simonin, Yves Le Traon, Jean-Marc Jézéquel
article
EDOC'07 : the 11th IEEE international EDOC conference : Entreprise distributed object computing conference, Oct 2007, Annapolis, United States. pp.476
Accès au bibtex
BibTex
titre
PLiBS: an Eclipse-based tool for Software Product Line Behavior Engineering
auteur
Tewfik Ziadi, Jean-Marc Jézéquel
article
3rd Workshop on Managing Variability for Software Product Lines (SPLC 2007), Sep 2007, Kyoto, Japan
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477546/file/Ziadi07a.pdf BibTex

Book sections

titre
Generative Software Engineering
auteur
Jean-Marc Jézéquel
article
Labit, Claude. Shaping the Future: 10 years of IrisaTech, IrisaTech, pp.51--54, 2007
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00512600/file/Jezequel07b.pdf BibTex

Other publications

titre
Séparation des préoccupations en phase de méta-modélisation
auteur
Olivier Barais
article
2007
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477555/file/Barais07b.pdf BibTex
titre
Model Driven Engineering for implementing the ISO 19100 series of international standards
auteur
Cyril Faucher, Jean-Yves Lafaye
article
2007
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477571/file/Faucher07a.pdf BibTex
titre
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.
auteur
Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, Jean-Marc Jézéquel
article
2007
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477561/file/Mottu07a.pdf BibTex

Theses

titre
Performance des systèmes distribués : proposition d'une plateforme fédératrice de la supervision
auteur
Marouane Himda
article
Génie logiciel [cs.SE]. Université Rennes 1, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00538260/file/Himdi07.pdf BibTex
titre
Qualité de Service Temporelle pour Composants Logiciels
auteur
Sébastien Saudrais
article
Génie logiciel [cs.SE]. Université Rennes 1, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00538267/file/Saudrais07d.pdf BibTex
titre
Model Typing
auteur
James Richard Heron Steel
article
Software Engineering [cs.SE]. Université Rennes 1, 2007. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00538274/file/Steel07b.pdf BibTex