SPLC 2010:
Jeju Island,
South Korea
Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, Steve Livengood (Eds.):
Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools).
Lancaster University 2010, ISBN 978-1-86220-274-0 
Workshops
ACOM 2010
- Francisco Dantas, Camila Nunes, Alessandro Garcia, Uirá Kulesza, Carlos José Pereira de Lucena:
Stability of Software Product Lines with Class-Aspect Interfaces: A Comparative Study.
5-10
- Sagar Sunkle:
Assessing Modularity of Feature Concern.
11-12
- Naoyasu Ubayashi:
Modularity Assessment Framework for Context-dependent Formal Specifications.
13-14
- Ji-Yong Jung, Tae-Hyung Kim:
DaRT++: Dashboard for Reengineering Tools.
15-20
- Francisco 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:
Benchmarking Stability of Aspect-Oriented Product-Line Decompositions.
21-26
- Hyesun Lee, Kyo Chul Kang:
Coverage and Conformance Metrics: Evaluation of Legacy Software for Software Product Line Asset Development.
27-32
- Warren Baelen, Yuanfang Cai, Robert Dyer, Hridesh Rajan:
Feature Volatility Assessment.
33-34
- Hyun Cho, Jeff Gray:
Ontology Support for Abstraction Layer Modularization.
35-40
DSPL 2010
FMSPLE 2010
- Ina Schaefer, Ralf Carbon:
First International Workshop on Formal Methods in Software Product Line Engineering.
71-72
- Mike Hinchey:
Formally Specifying Families of Space Exploration Missions.
73-74
- Enrique Martínez, Gerardo Schneider:
Automated Analysis of Conflicts in Software Product Lines.
75-82
- Pim van den Broek, Ismênia Galvão, Joost Noppen:
Merging Feature Models.
83-90
- Dave Clarke, José Proença:
Towards a Theory of Views for Feature Models.
91-98
- Radu Muschevici, Dave Clarke, José Proença:
Feature Petri Nets.
99-106
- Pim van den Broek:
Optimization of Product Instantiation using Integer Programming.
107-112
- Hamideh Sabouri, Ramtin Khosravi:
An Effective Approach for Verifying Product Lines in Presence of Variability Models.
113-120
- Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong:
HATS - A Formal Software Product Line Engineering Methodology.
121-128
- Martin Becker, Sören Kemmann, K. C. Shashidhar:
Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities.
129-136
MAPLE 2010
- Abel Gómez, María Eugenia Cabello, Isidro Ramos:
BOM-Lazy: A Variability-Driven Framework for Software Applications Production Using Model Transformation Techniques.
139-146
- Florian Markert, Sebastian Oster:
Model-Based Generation of Test Oracles for Embedded Software Product Lines.
147-154
- Julia Rubin, Marsha Chechik:
From Products to Product Lines Using Model Matching and Refactoring.
155-162
- Martin Fagereng Johansen, Franck Fleurey, Mathieu Acher, Philippe Collet, Philippe Lahire:
Exploring the Synergies Between Feature Models and Ontologies.
163-170
- Antti Jääskeläinen, Mika Katara, Julia Rubin, Tali Yatzkar-Haham, Mila Keren:
Assessing Model-Driven Software Product Lines for Lean and Agile Development: An Experience Report.
171-180
- Hugo Arboleda, Juan Francisco Díaz, Victor Vargas, Jean-Claude Royer:
Automated Reasoning for Derivation of Model-Driven SPLs.
181-188
SCALE 2010
VISPLE 2010
Industrial Track
- Minyoung Kim, Eunseok Lee, Kangtae Kim:
Testing for the embedded open platform.
243-246
- Christian Berger, Holger Rendel, Bernhard Rumpe, Carsten Busse, Thorsten Jablonski, Fabian Wolf:
Product Line Metrics for Legacy Software in Practice.
247-250
- Bedir Tekinerdogan, Eray Tüzün, Ediz Saykol:
Exploring the Business Case for Transitioning from a Framework-based Approach to a Software Product Line Engineering Approach.
251-254
- Takashi Iwasaki, Makoto Uchiba, Jun Otsuka, Koji Hachiya, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda:
An Experience Report of Introducing Product Line Engineering across the Board.
255-258
- Dong Li:
A Robust-Reference-Architecture-Centric Approach for High Availability SPLE in Security Inspection Domain.
259-262
- Haitham S. Hamza, Jabier Martinez, Carmen Alonso:
Introducing Product Line Architectures in the ERP Industry: Challenges and Lessons Learned.
263-266
- Melike Demir, Ayse Bener, Tolga Kurt, Emin Anarim:
Application of Software Product Line Principles to Multi-Sector Software Development.
267-268
Doctoral Symposium
- Hyun Cho:
Model-driven Project Management in Software Product Lines.
271-278
- Bartosz Michalik:
Architecture Query Language Framework.
279-286
- Vanessa Stricker:
Consistent Refinement of Variable Domain Design Specifications.
287-292
Demonstrations and Tools
- Rabih Bashroush:
A Scalable Multiple Perspective Variability Management CASE Tool.
295
- Danilo Beuche:
Modeling and Building Software Product Lines with pure: : variants.
296
- Charles W. Krueger:
The BigLever Software Gears Systems and Software Product Line Lifecycle Framework.
297
- Itay Maman, Tomer Amarilio, Dolev Dotan, Andrei Kirshin, Julia Rubin, Tali Yatzkar-Haham:
Implementing Code-Level Product Lines by Utilizing Generic Variability Services.
298
- Andreas Svendsen, Xiaorui Zhang, Franck Fleurey, Øystein Haugen, Gøran K. Olsen, Birger Møller-Pedersen:
CVL Tool - Modeling Variability in SPLs.
299
Last update Fri May 25 08:41:22 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
