Composing Multi-view Aspect Models, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008. ,
DOI : 10.1109/ICCBSS.2008.12
URL : https://hal.archives-ouvertes.fr/inria-00371221
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements, Software Product Lines, pp.425-445, 2006. ,
DOI : 10.1007/978-3-540-33253-4_11
Coverage and adequacy in software product line testing, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.53-63, 2006. ,
DOI : 10.1145/1147249.1147257
verifying feature-based model templates against well-fformedness ocl constraints, GPCE '06: Proceedings of the 6th international conference on Generative programming and component engineering, pp.211-220, 2006. ,
DOI : 10.1145/1173706.1173738
Towards Generating Acceptance Tests for Product Lines, Software Reuse: Methods, Techniques and Tools: 8th International Conference, pp.35-48, 2004. ,
DOI : 10.1007/978-3-540-27799-6_4
Design Verification for Product Line Development, Lecture Notes in Computer Science, vol.3714, pp.150-161, 2005. ,
DOI : 10.1007/11554844_18
Introducing Variability into Aspect-Oriented Modeling Approaches, MoD- ELS'07: 10th Int. Conf. on Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, 2007. ,
New Perspective To Improve Reusability in Object- Oriented Languages, Journal Of Object Technology (JOT), vol.5, issue.1, pp.117-138, 2006. ,
Theorem Proving for Product Line Model Verification, Lecture Notes in Computer Science, vol.3014, pp.211-224, 2003. ,
DOI : 10.1007/978-3-540-24667-1_16
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis, 15th IEEE International Requirements Engineering Conference (RE 2007), pp.243-253, 2007. ,
DOI : 10.1109/RE.2007.61
Weaving Aspect Configurations for Managing System Variability, VaMoS'08: 2nd International Workshop on Variability Modelling of Software-intensive Systems, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00456484
Weaving Executability into Object-Oriented Meta-languages, MODELS/UML'05, 2005. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095
A Requirement-Based Approach to Test Product Families, PFE, pp.198-210, 2003. ,
DOI : 10.1007/978-3-540-24667-1_15
URL : https://hal.archives-ouvertes.fr/hal-00794799
Software product line testing, Communications of the ACM, vol.49, issue.12, pp.78-81, 2006. ,
DOI : 10.1145/1183236.1183271
Matching Model-Snippets, MoDELS'07: 10th Int. Conf. on Model Driven Engineering Languages and Systems, 2007. ,
DOI : 10.1007/978-3-540-75209-7_9
URL : https://hal.archives-ouvertes.fr/inria-00477558
The ScenTED Method for Testing Software Product Lines, Software Product Lines, pp.479-520, 2006. ,
DOI : 10.1007/978-3-540-33253-4_13
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing, 2008 International Conference on Software Testing, Verification, and Validation, 2008. ,
DOI : 10.1109/ICST.2008.62
URL : https://hal.archives-ouvertes.fr/inria-00456955
Partial Model Completion in Model Driven Engineering using Constraint Logic Programming Smartadapters action language semantics, Int. Conf. on Applications of Declarative Programming and Knowledge Management, 2007. ,
Issues Concerning Variability in Software Product Lines, Lecture Notes in Computer Science, pp.146-157, 1951. ,
DOI : 10.1007/978-3-540-44542-5_17
Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, pp.95-104, 2007. ,
DOI : 10.1145/1289971.1289989
Families Research Book, chapter Product Line Engineering with the UML: Products Derivation, LNCS, pp.557-588, 2006. ,