Table of Contents

• Stability of Software Product Lines with Class-Aspect Interfaces: A Comparative StudyFrancisco Dantas, Camila Nunes, Alessandro Garcia, Uirá Kulesza, Carlos José Pereira de Lucena. 5-10 [doi]
• Assessing Modularity of Feature ConcernSagar Sunkle. 11-12 [doi]
• Modularity Assessment Framework for Context-dependent Formal SpecificationsNaoyasu Ubayashi. 13-14 [doi]
• DaRT++: Dashboard for Reengineering ToolsJi-Yong Jung, Tae Hyung Kim. 15-20 [doi]
• Benchmarking Stability of Aspect-Oriented Product-Line DecompositionsFrancisco Dantas, Eduardo Figueiredo, Alessandro Garcia, Cláudio Sant'Anna, Uirá Kulesza, Nélio Cacho, Sérgio Soares, Thaís Vasconcelos Batista, Roberta Coelho, Mauricio Alférez, Ana Moreira, Afonso Pimentel, João Araújo 0001. 21-26 [doi]
• Coverage and Conformance Metrics: Evaluation of Legacy Software for Software Product Line Asset DevelopmentHyesun Lee, Kyo Chul Kang. 27-32 [doi]
• Feature Volatility AssessmentWarren Baelen, Yuanfang Cai, Robert Dyer 0001, Hridesh Rajan. 33-34 [doi]
• Ontology Support for Abstraction Layer ModularizationHyun Cho, Jeff Gray. 35-40 [doi]
• Requirements for Evolvable Dynamic Software Product LinesMuhammad Adeel Talib, Tuan Nguyen, Alan W. Colman, Jun Han. 43-46 [doi]
• Enhancing Runtime Variability in Software Product Lines through Service-orientationMatthias Galster. 47-52 [doi]
• Characterizing Dynamic Software Product Lines - A Preliminary Mapping StudyVanilson Arruda Burégio, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida. 53-60 [doi]
• How dynamic is your Dynamic Software Product Line?Nelly Bencomo, Jaejoon Lee, Svein O. Hallsteinsen. 61-68 [doi]
• First International Workshop on Formal Methods in Software Product Line EngineeringIna Schaefer, Ralf Carbon. 71-72 [doi]
• Formally Specifying Families of Space Exploration MissionsMike Hinchey. 73-74 [doi]
• Automated Analysis of Conflicts in Software Product LinesEnrique Martínez, Gerardo Schneider. 75-82 [doi]
• Merging Feature ModelsPim van den Broek, Ismênia Galvão, Joost Noppen. 83-90 [doi]
• Towards a Theory of Views for Feature ModelsDave Clarke, José Proença. 91-98 [doi]
• Feature Petri NetsRadu Muschevici, Dave Clarke, José Proença. 99-106 [doi]
• Optimization of Product Instantiation using Integer ProgrammingPim van den Broek. 107-112 [doi]
• An Effective Approach for Verifying Product Lines in Presence of Variability ModelsHamideh Sabouri, Ramtin Khosravi. 113-120 [doi]
• HATS - A Formal Software Product Line Engineering MethodologyDave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong. 121-128 [doi]
• Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and OpportunitiesMartin Becker 0002, Sören Kemmann, K. C. Shashidhar. 129-136 [doi]
• BOM-Lazy: A Variability-Driven Framework for Software Applications Production Using Model Transformation TechniquesAbel Gómez, María Eugenia Cabello, Isidro Ramos. 139-146 [doi]
• Model-Based Generation of Test Oracles for Embedded Software Product LinesFlorian Markert, Sebastian Oster. 147-154 [doi]
• From Products to Product Lines Using Model Matching and RefactoringJulia Rubin, Marsha Chechik. 155-162 [doi]
• Exploring the Synergies Between Feature Models and OntologiesMartin Fagereng Johansen, Franck Fleurey, Mathieu Acher, Philippe Collet, Philippe Lahire. 163-170 [doi]
• Assessing Model-Driven Software Product Lines for Lean and Agile Development: An Experience ReportAntti Jääskeläinen, Mika Katara, Julia Rubin, Tali Yatzkar-Haham, Mila Keren. 171-180 [doi]
• Automated Reasoning for Derivation of Model-Driven SPLsHugo Arboleda, Juan Francisco Díaz, Victor Vargas, Jean-Claude Royer. 181-188 [doi]
• New Challenge of Scalable ModelingNatsuko Noda, Tomoji Kishi. 191-192 [doi]
• Mining Software Repository to Support Scalable Modeling of Product LinesKentaro Yoshimura. 193-196 [doi]
• Towards Scalable and Conflict-Free Configuration of FeaturesHyunsik Choi, Kyo Chul Kang. 197-204 [doi]
• Problem Factor Portfolio Analysis for Product Line Architecture RefactoringTakashi Maki, Tomoji Kishi. 205-210 [doi]
• Generation Language - Enabling Scalability for Product RealisationJabier Martinez. 211-216 [doi]
• Using Flow Maps to Visualize Product Attributes during Feature ConfigurationDenny Schneeweiss, Goetz Botterweck. 219-228 [doi]
• Towards Effective Visual Modeling of Complex Software Product LinesAndré Heuer, Kim Lauenroth, Marco Müller, Jan-Nils Scheele. 229-238 [doi]
• Testing for the embedded open platformMinyoung Kim, Eunseok Lee, Kangtae Kim. 243-246 [doi]
• Product Line Metrics for Legacy Software in PracticeChristian Berger, Holger Rendel, Bernhard Rumpe, Carsten Busse, Thorsten Jablonski, Fabian Wolf. 247-250 [doi]
• Exploring the Business Case for Transitioning from a Framework-based Approach to a Software Product Line Engineering ApproachBedir Tekinerdogan, Eray Tüzün, Ediz Saykol. 251-254 [doi]
• An Experience Report of Introducing Product Line Engineering across the BoardTakashi Iwasaki, Makoto Uchiba, Jun Otsuka, Koji Hachiya, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda. 255-258 [doi]
• A Robust-Reference-Architecture-Centric Approach for High Availability SPLE in Security Inspection DomainDong Li. 259-262 [doi]
• Introducing Product Line Architectures in the ERP Industry: Challenges and Lessons LearnedHaitham S. Hamza, Jabier Martinez, Carmen Alonso. 263-266 [doi]
• Application of Software Product Line Principles to Multi-Sector Software DevelopmentMelike Demir, Ayse Bener, Tolga Kurt, Emin Anarim. 267-268 [doi]
• Model-driven Project Management in Software Product LinesHyun Cho. 271-278 [doi]
• Architecture Query Language FrameworkBartosz Michalik. 279-286 [doi]
• Consistent Refinement of Variable Domain Design SpecificationsVanessa Stricker. 287-292 [doi]
• A Scalable Multiple Perspective Variability Management CASE ToolRabih Bashroush. 295 [doi]
• Modeling and Building Software Product Lines with pure: : variantsDanilo Beuche. 296 [doi]
• The BigLever Software Gears Systems and Software Product Line Lifecycle FrameworkCharles W. Krueger. 297 [doi]
• Implementing Code-Level Product Lines by Utilizing Generic Variability ServicesItay Maman, Tomer Amarilio, Dolev Dotan, Andrei Kirshin, Julia Rubin, Tali Yatzkar-Haham. 298 [doi]
• CVL Tool - Modeling Variability in SPLsAndreas Svendsen, Xiaorui Zhang, Franck Fleurey, Øystein Haugen, Gøran K. Olsen, Birger Møller-Pedersen. 299 [doi]