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

Filtrer vos résultats

8 Résultats
hal_authIdPerson_i : 11827
Page :
triés par
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

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

Relationships in Variability Modeling Approaches: A Survey and Classification

 Stephen Creff , Joël Champeau
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
Communication dans un congrès hal-00771748v1

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

PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines

 Stephen Creff , Joël Champeau
MODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès hal-00914377v1

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

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

Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués

 Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon et al.
Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne
Communication dans un congrès hal-00517222v1
Page :