Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

20 Résultats
Structure : Identifiant HAL de la structure : 2539
Image document

Model-driven Simulation of a Maritime Surveillance System

Martin Monperrus , Fabre Jaozafy , Gabriel Marchalot , Joël Champeau , Brigitte Hoeltzener , et al.
4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), Jun 2008, Berlin, Germany, Germany. pp.361-368, ⟨10.1007/978-3-540-69100-6_25⟩
Communication dans un congrès inria-00456481v1
Image document

A Model-driven Measurement Approach

Martin Monperrus , Jean-Marc Jézéquel , Joël Champeau , Brigitte Hoeltzener
ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Sep 2008, Toulouse, France, France. pp.505-519, ⟨10.1007/978-3-540-87875-9_36⟩
Communication dans un congrès inria-00456483v1

Model-Based Product Line Evolution: an Incremental Growing by Extension

Stephen Creff , Joël Champeau , Jean-Marc Jézéquel
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
Communication dans un congrès hal-00738772v1
Image document

Model-driven Generative Development of Measurement Software

Martin Monperrus , Jean-Marc Jézéquel , Benoit Baudry , Joël Champeau , Brigitte Hoeltzener
Software and Systems Modeling, 2011, 10 (4), pp.537-552. ⟨10.1007/s10270-010-0165-9⟩
Article dans une revue inria-00504670v1
Image document

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon , et al.
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
Communication dans un congrès hal-00470523v1

Une organisation des Lignes de Produits Logiciels autour d'un motif architectural

Stephen Creff , Joël Champeau , Arnaud Monégier , Jean-Marc Jézéquel
CAL 2012, May 2012, Montpellier, France
Communication dans un congrès hal-00704312v1
Image document

Model-driven Engineering Metrics for Real Time Systems

Martin Monperrus , Jean-Marc Jézéquel , Joël Champeau , Brigitte Hoeltzener
4th European Congress ERTS Embedded Real-Time Software, 2008, Toulouse, France, France
Communication dans un congrès inria-00456482v1
Image document

Model-driven Architecture of a Maritime Surveillance System Simulator

Martin Monperrus , Benoit Long , Joël Champeau , Brigitte Hoeltzener , Gabriel Marchalot , et al.
Systems Engineering, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩
Article dans une revue inria-00538455v1

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

Stephen Creff , Arnaud Monégier , Joël Champeau , Jean-Marc Jézéquel
Lignes de produits, Oct 2011, Paris, France
Communication dans un congrès hal-00676780v1

Relationships Formalization for Model-Based Product Lines

Stephen Creff , Joël Champeau , Arnaud Monégier , Jean-Marc Jézéquel
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
Communication dans un congrès hal-00773497v1
Image document

Counts count

Martin Monperrus , Joël Champeau , Brigitte Hoeltzener
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
Communication dans un congrès inria-00477563v1

Formal Extension of Use Cases for Context-Aware Verification

Amine Raji , Philippe Dhaussy , Benoît Baudry
MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand
Communication dans un congrès hal-00635555v1
Image document

Automated Measurement of Models of Requirements

Martin Monperrus , Benoit Baudry , Joël Champeau , Brigitte Hoeltzener , Jean-Marc Jézéquel
Software Quality Journal, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩
Article dans une revue hal-00646876v1
Image document

SoC/SoPC development using MDD and MARTE profile

Denis Aulagnier , Ali Koudri , Stéphane Lecomte , Philippe Soulard , Joël Champeau , et al.
Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009
Chapitre d'ouvrage inria-00468650v1
Image document

Processus MOPCOM pour SoC/SoPC

Ali Koudri , Joël Champeau , Denis Aulagnier , Didier Vojtisek
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009
Article dans une revue inria-00468656v1

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués

Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger , Amine Raji , Yves Le Traon , et al.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
Article dans une revue hal-00744434v1
Image document

La mesure des modèles par les modèles : une approche générative

Martin Monperrus
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français. ⟨NNT : ⟩
Thèse tel-00514492v1
Image document

Measuring Models

Martin Monperrus , Jean-Marc Jézéquel , Joël Champeau , Brigitte Hoeltzener
Model-Driven Software Development: Integrating Quality Assurance, pp.147-169, 2008, 978-1-60566-006-6. ⟨10.4018/978-1-60566-006-6.ch007⟩
Chapitre d'ouvrage hal-01575355v1
Image document

Using MARTE in a Co-Design Methodology

Ali Koudri , Denis Aulagnier , Didier Vojtisek , Philippe Soulard , Christophe Moy , et al.
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
Communication dans un congrès hal-00354356v1
Image document

Trust in MDE Components: the DOMINO Experiment

Benoit Baudry , Pierre Bazex , Jean-Charles Dalbin , Philippe Dhaussy , Hubert Dubois , et al.
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
Communication dans un congrès inria-00555044v1