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


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-00738772v1  Communication dans un congrès
Stephen CreffJoël ChampeauJean-Marc Jézéquel. 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
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-01472914v1  Communication dans un congrès
Weiqing ZhangVincent LeildeBirger Moller-PedersenChristophe GuychardJoël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩