Filtrer vos résultats
- 117
- 26
- 18
- 9
- 8
- 8
- 4
- 2
- 2
- 2
- 1
- 55
- 43
- 43
- 35
- 26
- 20
- 18
- 16
- 15
- 13
- 12
- 8
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 195
- 3
- 3
- 1
- 1
- 197
- 197
- 22
- 18
- 15
- 15
- 11
- 9
- 8
- 7
- 7
- 7
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 197
- 194
- 110
- 80
- 41
- 28
- 27
- 22
- 22
- 22
- 20
- 18
- 18
- 18
- 18
- 18
- 15
- 15
- 15
- 15
- 15
- 14
- 13
- 11
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 183
- 11
- 3
- 174
- 20
- 3
- 1
- 4
- 75
- 69
- 47
- 1
|
A Novelty Search Approach for Automatic Test Data Generation8th International Workshop on Search-Based Software Testing SBST@ICSE 2015, May 2015, Firenze, Italy. pp.4
Communication dans un congrès
hal-01121228v1
|
||
|
KevoreeJS: Enabling Dynamic Software Reconfigurations in the BrowserWICSA and CompArch 2016, ACM Sigsoft, Apr 2016, Venice, Italy. ⟨10.1109/CBSE.2016.20⟩
Communication dans un congrès
hal-01354997v1
|
||
|
Composition and Interoperability for External Domain-Specific Language EngineeringSoftware Engineering [cs.SE]. Université de Rennes 1 [UR1], 2016. English. ⟨NNT : ⟩
Thèse
tel-01427009v2
|
||
|
Sound Merging and Differencing for Class DiagramsFASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.63 - 78, ⟨10.1007/978-3-642-54804-8_5⟩
Communication dans un congrès
hal-01087323v1
|
||
|
Gestion de la variabilité et automatisation des processus de développement logicielGénie logiciel [cs.SE]. Université de Rennes, 2014. Français. ⟨NNT : 2014REN1S022⟩
Thèse
tel-01061129v1
|
||
|
Leveraging model-based product lines for systems engineeringSoftware Engineering [cs.SE]. Université de Rennes, 2014. English. ⟨NNT : 2014REN1S080⟩
Thèse
tel-01127500v1
|
||
|
Comparing or Configuring Products: Are We Getting the Right Ones?8th International Workshop on Variability Modelling of Software-intensive Systems, Jan 2014, Nice, France. ⟨10.1145/2556624.2556636⟩
Communication dans un congrès
hal-00927312v1
|
||
|
INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and AnalysisREFSQ'2014 - the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, Apr 2014, Essen, Germany
Communication dans un congrès
hal-00982065v1
|
||
|
Motivating Use Cases for the Globalization of DSLsBenoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.21-42, 2015, Lecture Notes in Computer Science, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0_3⟩
Chapitre d'ouvrage
hal-01233660v1
|
||
|
VCU: The Three Dimensions of Reuse15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
Communication dans un congrès
hal-01287720v1
|
||
|
GEMOC 2014 2nd International Workshop on The Globalization of Modeling LanguagesBenoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, , pp.82, 2014, CEUR-WS, 1613-0073
Proceedings/Recueil des communications
hal-01074602v1
|
||
Fourth International Workshop on Reverse Variability Engineering (REVE 2016), associated with SPLC2016
Proceedings/Recueil des communications
hal-01628959v1
|
|||
|
Software Unbundling: Challenges and PerspectivesS. Chiba; M. Südholt; P. Eugster; L. Ziarek; G.T. Leavens. Transactions on Modularity and Composition I, Springer, 2016, 978-3-319-46969-0
Chapitre d'ouvrage
hal-01427560v1
|
||
Correct-by-construction model driven engineering composition operatorsFormal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Article dans une revue
hal-01319576v1
|
|||
|
Towards the use of slicing techniques for an efficient invariant checkingMODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, ⟨10.1145/2735386.2735926⟩
Communication dans un congrès
hal-01141395v1
|
||
|
Approximate Loop Unrolling2016
Pré-publication, Document de travail
hal-01401828v1
|
||
|
Synthesis of Attributed Feature Models From Product Descriptions: Foundations[Research Report] RR-8680, Inria Rennes; INRIA. 2015
Rapport
hal-01116663v1
|
||
|
OCCIware - A Formal and Tooled Framework for Managing Everything as a ServiceProjects Showcase @ STAF'15, Jul 2015, L'Aquila, Italy. pp.18 - 25
Communication dans un congrès
hal-01188826v1
|
||
|
A Complexity Tale: Web ConfiguratorsVACE 2016 - 1st International Workshop on Variability and Complexity in Software Design Pages (co-located with ICSE'16), May 2016, Austin, United States. pp.28 - 31, ⟨10.1145/2897045.2897051⟩
Communication dans un congrès
hal-01427165v1
|
||
|
Reverse Engineering Web Configurators17th European Conference on Software Maintenance and Reengineering (CSMR), Feb 2014, Antwerp, Belgium
Communication dans un congrès
hal-00913139v1
|
||
|
Using fuzzy modeling for consistent definitions of product qualities in requirementsArtificial Intelligence for Requirements Engineering (AIRE), 2015 IEEE Second International Workshop on, Aug 2015, Otawa Canada. ⟨10.1109/AIRE.2015.7337624⟩
Communication dans un congrès
hal-01243006v1
|
||
|
Synthesis of Attributed Feature Models From Product DescriptionsInternational Software Product Line Conference, Jul 2015, Nashville, United States
Communication dans un congrès
hal-01178454v1
|
||
|
Modeling for SustainabilityModeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66
Communication dans un congrès
hal-01517387v3
|
||
|
Assessing Product Line Derivation Operators Applied to Java Source Code: An Empirical Study19th International Software Product Line Conference (SPLC'15), Jul 2015, Nashville, TN, United States
Communication dans un congrès
hal-01163423v1
|
||
|
Classifying and Qualifying GUI Defects8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102582⟩
Communication dans un congrès
hal-01114724v2
|
||
|
A Generative Middleware for Heterogeneous and Distributed Services19th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2016), Apr 2016, Venise, Italy. ⟨10.1109/CBSE.2016.12⟩
Communication dans un congrès
hal-01356104v1
|
||
|
Approche à contraintes pour la sélection de Covering ArrayAutre [cs.OH]. Université de Rennes; Université européenne de Bretagne (2007-2016), 2013. Français. ⟨NNT : 2013REN1S143⟩
Thèse
tel-00915223v2
|
||
|
Interactive Demand-Shifting in the Context of Domestic Micro-GenerationHuman-Computer Interaction [cs.HC]. The Open University; Université de Rennes 1 [UR1], 2016. English. ⟨NNT : ⟩
Thèse
tel-01385022v1
|
||
|
Mining and Modeling Variability from Natural Language Documents: Two Case StudiesComputer Science [cs]. Université Rennes 1, 2016. English. ⟨NNT : ⟩
Thèse
tel-01388392v1
|
||
|
Using Machine Learning to Infer Constraints for Product LinesSoftware Product Line Conference (SPLC), Sep 2016, Beijing, China. ⟨10.1145/2934466.2934472⟩
Communication dans un congrès
hal-01323446v1
|