Accéder directement au contenu Accéder directement à la navigation
Aide


hal-00773497v1  Communication dans un congrès
Stephen CreffJoël ChampeauArnaud MonégierJean-Marc Jézéquel. Relationships Formalization for Model-Based Product Lines
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
...
hal-01575355v1  Chapitre d'ouvrage
Martin MonperrusJean-Marc JézéquelJoël ChampeauBrigitte Hoeltzener. Measuring Models
Model-Driven Software Development: Integrating Quality Assurance, pp.147-169, 2008, 978-1-60566-006-6. ⟨10.4018/978-1-60566-006-6.ch007⟩
hal-00744434v1  Article dans une revue
Philippe DhaussyFrédéric BoniolJean-Charles RogerAmine RajiYves Le Traon et al.  Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
hal-00738772v1  Communication dans un congrès
Stephen CreffJoël ChampeauJean-Marc Jezequel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114