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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Towards Facilities for Modeling and Synthesis of Architectures for Resource Allocation Problem in Systems Engineering
Stephen Creff
,
Jérome Le Noir
,
Eric Lenormand
,
Sébastien Madelénat
Proceedings of the 24th ACM International Systems and Software Product Line Conference (SPLC ’20) , Oct 2020, Montreal, Canada.
⟨10.1145/3382025.3414963⟩
Communication dans un congrès
hal-02949745v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits
Stephen Creff
Thèse
tel-00926119v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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.
Communication dans un congrès
hal-00470523v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
ATLaS: A Framework for Traceability Links Recovery Combining Information Retrieval and Semi-supervised Techniques
Emma Effa Bella
,
Stephen Creff
,
Marie-Pierre Gervais
,
Reda Bendraou
23RD IEEE INTERNATIONAL EDOC CONFERENCE - THE ENTERPRISE COMPUTING CONFERENCE , Oct 2019, Paris, France
Communication dans un congrès
hal-02201469v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Towards Semantic-Aware Collaborations in Systems Engineering
Laurent Wouters
,
Stephen Creff
,
Emma Effa Bella
,
Ali Koudri
24th Asia-Pacific Software Engineering Conference (APSEC) , Dec 2017, Nanjing, China
Communication dans un congrès
hal-01674924v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Characterizing behavioral modeling in Systems and Safety Model-Based Engineerings and their overlap for consistency checking
Stephen Creff
,
Michel Batteux
Communication dans un congrès
hal-03776835v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Actions
Partager
Gmail
Facebook
X
LinkedIn
More