Journal articles

titre

Guest Editorial for Special Section on Mutation Testing.

auteur

Benoit Baudry, Gordon Fraser, Jeremy Bradbury

article

Information and Software Technology, 2011

Accès au bibtex

titre

AutoHome: an Autonomic Management Framework for Pervasive Home Applications

auteur

Johann Bourcier, Ada Diaconescu, Philippe Lalanda, Mccann A. Julie

article

ACM Transactions on Autonomous and Adaptive Systems, 2011, 6 (1)

Accès au texte intégral et bibtex

titre

An Approach for Testing Pointcut Descriptors in AspectJ

auteur

Romain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon

article

Journal of Software Testing, Verification and Reliability, 2011

Accès au texte intégral et bibtex

titre

Une approche centrée exigences pour la composition de services web

auteur

Maha Driss, Yassine Jamoussi, Naouel Moha, Jean-Marc Jézéquel, Henda Hajjami Ben Ghézala

article

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2011, 16 (2), pp.97-125

Accès au texte intégral et bibtex

titre

Model-driven Generative Development of Measurement Software

auteur

Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener

article

Software and Systems Modeling, 2011, 10 (4), pp.537-552. ⟨10.1007/s10270-010-0165-9⟩

Accès au texte intégral et bibtex

titre

Analysis and improvement of the alignment between business and information system for telecom services

auteur

Jacques Simonin, Emmanuel Bertin, Yves Le Traon, Jean-Marc Jézéquel, Noel Crespi

article

International Journal On Advances in Software, 2011, 4 (1 & 2), pp.117-128

Accès au bibtex

Conference papers

titre

Distribution and Self-Adaptation of a Framework for Dynamic Adaptation of Services

auteur

Françoise André, Erwan Daubert, Guillaume Gauvrit

article

The Sixth International Conference on Internet and Web Applications and Services (ICIW), IARIA, Mar 2011, St. Maarten, Netherlands Antilles. pp.16-21

Accès au texte intégral et bibtex

titre

Selection of Composable Web Services Driven by User Requirements

auteur

Zeina Azmeh, Maha Driss, Fady Hamoui, Marianne Huchard, Naouel Moha, Chouki Tibermacine

article

ICWS'11: 9th IEEE International Conference on Web Services - Applications and Experiences Track, Jul 2011, Washington DC, United States. pp.8

Accès au texte intégral et bibtex

titre

Model Driven Mutation Applied to Adaptative Systems Testing

auteur

Alexandre Bartel, Benoit Baudry, Freddy Munoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon

article

IEEE International Conference on Software Testing, Verification and Validation, Mutation Analysis Workshop (Mutation 2011), Mar 2011, Berlin, Germany. pp.6

Accès au texte intégral et bibtex

titre

Specifying and implementing UI Data Bindings with Active Operations

auteur

Olivier Beaudoux, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel

article

ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp.127--136, ⟨10.1145/1996461.1996506⟩

Accès au texte intégral et bibtex

titre

Combining Aspect-Oriented Modeling with Property-Based Reasoning to Improve User Interface Adaptation

auteur

Arnaud Blouin, Brice Morin, Olivier Beaudoux, Grégory Nain, Patrick Albers, Jean-Marc Jézéquel

article

ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp.85--94, ⟨10.1145/1996461.1996500⟩

Accès au texte intégral et bibtex

titre

Modeling Model Slicers

auteur

Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux

article

ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. pp.62--76, ⟨10.1007/978-3-642-24485-8_6⟩

Accès au texte intégral et bibtex

titre

Empirical evaluation of the conjunct use of MOF and OCL

auteur

Juan Cadavid, Benoit Baudry, Benoit Combemale

article

Experiences and Empirical Studies in Software Modelling (EESSMod 2011), Oct 2011, Wellington, New Zealand

Accès au texte intégral et bibtex

titre

Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior

auteur

Mickaël Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France

article

Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. pp.289-303, ⟨10.1007/978-3-642-24485-8_21⟩

Accès au texte intégral et bibtex

titre

A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics

auteur

Benoit Combemale, Laure Gonnord, Vlad Rusu

article

Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. pp.35-51

Accès au texte intégral et bibtex

titre

Teaching MDE through the Formal Verification of Process Models

auteur

Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila

article

7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand

Accès au texte intégral et bibtex

titre

Multiple Feature Models & Relationships in a Model-Based Product Line Process

auteur

Stephen Creff, Arnaud Monégier, Joël Champeau, Jean-Marc Jézéquel

article

Lignes de produits, Oct 2011, Paris, France

Accès au bibtex

titre

Adaptation multi-niveaux : l'infrastructure au service des applications

auteur

Erwan Daubert, Françoise André, Olivier Barais

article

Conférence Française en Systèmes d'Exploitation (CFSE), May 2011, St Malo, France

Accès au texte intégral et bibtex

titre

Easing Model Transformation Learning with Automatically Aligned Examples

auteur

Xavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut, François Pfister

article

ECMFA'11: 7th European Conference Modelling - Foundation and Applications, Jun 2011, Birmingham, United Kingdom. pp.189-204, ⟨10.1007/978-3-642-21470-7_14⟩

Accès au texte intégral et bibtex

titre

Formal and Relational Concept Analysis approaches in Software Engineering: an overview and an application to learn model transformation patterns in examples

auteur

Xavier Dolques, Marianne Huchard, Clémentine Nebut, Hajer Saada

article

ICESE'11: First Virtual Workshop on Search-based Model-Driven Engineering, May 2011, Qatar

Accès au texte intégral et bibtex

titre

A Multi-Perspective Approach for Web Service Composition

auteur

Maha Driss, Yassine Jamoussi, Jean-Marc Jézéquel, Henda Hajjami Ben Ghézala

article

iiWAS 2011, Dec 2011, Ho Chi Minh City, Vietnam

Accès au texte intégral et bibtex

titre

MDE to Manage Communications with and between Resource-Constrained Systems

auteur

Franck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais

article

Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. pp.16

Accès au bibtex

titre

Model-Driven Engineering and Optimizing Compilers: A bridge too far?

auteur

Antoine Floch, Tomofumi Yuki, Clément Guy, Steven Derrien, Benoit Combemale, Sanjay Rajopadhye, Robert France

article

International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand

Accès au texte intégral et bibtex

titre

Movida studio: a modeling environment to create viewpoints and manage variability in views

auteur

Marie Gouyette, Olivier Barais, Jérôme Le Noir, Cédric Brun, Marcos Aurélio Almeida da Silva, Xavier Blanc, Daniel Exertier, Jean-Marc Jézéquel

article

IDM- 7éme journées sur l'Ingénierie Dirigée par les Modèles-2011, Polytech, Université Lille 1, Jun 2011, Lille, France. pp.141-145

Accès au texte intégral et bibtex

titre

Vers un rapprochement de l'IDM et de la compilation

auteur

Clément Guy, Steven Derrien, Benoit Combemale, Jean-Marc Jézéquel

article

Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2011, Lille, France

Accès au texte intégral et bibtex

titre

PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models

auteur

Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb

article

Proc. of Int. Symp. on Soft. Reliability Engineering (ISSRE'11), Nov 2011, Hiroshima, Japan

Accès au texte intégral et bibtex

titre

Estimating Footprints of Model Operations

auteur

Cédric Jeanneret, Martin Glinz, Benoit Baudry

article

International Conference on Software Engineering, May 2011, Honolulu, United States

Accès au texte intégral et bibtex

titre

Pairwise Testing of Dynamic Composite Services

auteur

Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard

article

The 6th international symposium on Software engineering for adaptive and self-managing systems, SIGSOFT ACM Special Interest Group on Software Engineering, IEEE CS, May 2011, Waikiki, Honolulu, Hawaii, United States. pp.138--147, ⟨10.1145/1988008.1988028⟩

Accès au texte intégral et bibtex

titre

A Proof Assistant Based Formalization of components in MDE

auteur

Mounira Kezadri, Benoit Combemale, Marc Pantel, Xavier Thirioux

article

8th International Symposium on Formal Aspects of Component Software (FACS 2011), University of Oslo, Norway, Sep 2011, Oslo, Norway

Accès au texte intégral et bibtex

titre

Testing MapReduce-Based Systems

auteur

João Eugenio Marynowski, Michel Albonico, Eduardo Cunha de Almeida, Gerson Gerson Sunyé

article

SBBD - XXVI Simpósio Brasileiro de Banco de Dados, Oct 2011, Florianopolis, SC, Brazil

Accès au bibtex

titre

Tailored Shielding and Bypass Testing of Web Applications

auteur

Tejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault

article

International Conference on Software Testing Verification and Validation, Mar 2011, Berlin, Germany

Accès au texte intégral et bibtex

titre

Formal Extension of Use Cases for Context-Aware Verification

auteur

Amine Raji, Philippe Dhaussy, Benoît Baudry

article

MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand

Accès au bibtex

titre

Bridging the Gap Between Software Process and Software Development

auteur

Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, Touzet David, Jean-Marc Jézéquel

article

IDM, Jun 2011, Lille, France

Accès au texte intégral et bibtex

titre

Défis pour la variabilité et la traçabilité des exigences en ingénierie système

auteur

Nicolas Sannier, Benoît Baudry

article

INFORSID 2011, May 2011, Lille, France

Accès au texte intégral et bibtex

titre

Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering

auteur

Nicolas Sannier, Benoit Baudry, Thuy Nguyen

article

Model-Driven Requirements Engineering Workshop (MoDRE), Aug 2011, Trento, Italy. ⟨10.1109/MoDRE.2011.6045368⟩

Accès au texte intégral et bibtex

Theses

titre

Le Développement Agile de Services de Télécommunication Intégrés via des techniques d'ingénierie des modèles.

auteur

Mariano Belaunde

article

Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français. ⟨NNT : ⟩

Accès au texte intégral et bibtex

titre

Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques

auteur

Mickaël Clavreul

article

Software Engineering [cs.SE]. Université Rennes 1, 2011. English. ⟨NNT : ⟩

Accès au texte intégral et bibtex

titre

Approche multi-perspective centrée exigences de composition de services Web

auteur

Maha Driss

article

Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français. ⟨NNT : ⟩

Accès au texte intégral et bibtex

titre

EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services

auteur

Grégory Nain

article

Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français. ⟨NNT : ⟩

Accès au texte intégral et bibtex