Eduardo Santana de Almeida, Christa Schwanninger, David Benavides
Proceedings of the 16th International Software Product Line Conference
SPLC, 2012.

@proceedings{SPLC-2012,
	acmid         = "2362536",
	address       = "Salvador, Brazil",
	editor        = "Eduardo Santana de Almeida and Christa Schwanninger and David Benavides",
	isbn          = "978-1-4503-1094-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th International Software Product Line Conference}",
	year          = 2012,
}

Contents (34 items)

13 ×#product line
9 ×#modelling
6 ×#feature model
6 ×#variability
3 ×#case study
2 ×#analysis
2 ×#bibliography
2 ×#development
2 ×#evolution
2 ×#generative

SPLC-2012-Nuseibeh

The thin line between products (BN), p. 2.

SPLC-2012-Meira

Sustainable software houses and factories are STARTUPS (SRdLM), p. 3.

SPLC-2012-Heymans #formal method

Formal methods for the masses (PH), p. 4.

SPLC-2012-PleussHKB #case study #user interface #variability

A case study on variability in user interfaces (AP, BH, MK, GB), pp. 6–10.

SPLC-2012-NohrerBE #comparison #consistency #nondeterminism

A comparison of strategies for tolerating inconsistencies during decision-making (AN, AB, AE), pp. 11–20.

SPLC-2012-DietrichTSL #approach #linux #robust #variability

A robust approach for variability extraction from the Linux build system (CD, RT, WSP, DL), pp. 21–30.

SPLC-2012-LeeKL #overview #product line #testing

A survey on software product line testing (JL, SK, DL), pp. 31–40.

SPLC-2012-MyllarniemiRM #overview #product line #quality #variability

A systematically conducted literature review: quality attribute variability in software product lines (VM, MR, TM), pp. 41–45.

SPLC-2012-JohansenHF #algorithm #array #feature model #generative #modelling #scalability

An algorithm for generating t-wise covering arrays from large feature models (MFJ, ØH, FF), pp. 46–55.

SPLC-2012-SoltaniAGHB #automation #feature model #non-functional #requirements

Automated planning for feature model configuration based on functional and non-functional requirements (SS, MA, DG, MH, EB), pp. 56–65.

SPLC-2012-CordySHL #behaviour #modelling #product line #realtime #verification

Behavioural modelling and verification of real-time software product lines (MC, PYS, PH, AL), pp. 66–75.

SPLC-2012-SeidlHA #co-evolution #modelling #product line

Co-evolution of models and feature mapping in software product lines (CS, FH, UA), pp. 76–85.

SPLC-2012-TischerBMTAS #architecture #product line

Developing long-term stable product line architectures (CT, BB, AM, AT, RA, KS), pp. 86–95.

SPLC-2012-GomezPCBL #documentation #framework #generative #named

DPLfw: a framework for variable content document generation (AG, MdCP, JHC, MRSB, ML), pp. 96–105.

SPLC-2012-AndersenCSW #feature model #modelling #performance #synthesis

Efficient synthesis of feature models (NA, KC, SS, AW), pp. 106–115.

SPLC-2012-MartiniPB #reuse

Enablers and inhibitors for speed with reuse (AM, LP, JB), pp. 116–125.

SPLC-2012-El-SharkawyDS #analysis #feature model #modelling

From feature models to decision models and back again an analysis based on formal transformations (SES, SD, KS), pp. 126–135.

SPLC-2012-NunesGLL #evolution #heuristic #product line

History-sensitive heuristics for recovery of features in code of evolving program families (CN, AG, CJPdL, JL), pp. 136–145.

SPLC-2012-Elsner #staged #tool support

Light-weight tool support for staged product derivation (CE), pp. 146–155.

SPLC-2012-RubinKBC

Managing forked product variants (JR, AK, GB, MC), pp. 156–160.

SPLC-2012-GillainFHJS #optimisation

Product portfolio scope optimization based on features and goals (JG, SF, PH, IJ, MS), pp. 161–170.

SPLC-2012-LettnerVRG

Supporting end users with business calculations in product configuration (DL, MV, RR, PG), pp. 171–180.

SPLC-2012-OliveiraBN #analysis #debugging #product line

Supporting the analysis of bug prevalence in software product lines with product genealogy (THBdO, MB, EYN), pp. 181–185.

SPLC-2012-MohalikRMKN

Tracing SPLs precisely and efficiently (SM, SR, JVM, SNK, GKN), pp. 186–195.

SPLC-2012-HeiderRGL #impact analysis #modelling #testing #using #variability

Using regression testing to analyze the impact of changes to variability models on products (WH, RR, PG, DL), pp. 196–205.

SPLC-2012-SchulzeWB #challenge #development #modelling #variability

Automotive model-driven development and the challenge of variability (MS, JW, DB), pp. 207–214.

SPLC-2012-KircherH #agile #case study #development #experience #reuse

Combining systematic reuse with Agile development: experience report (MK, PH), pp. 215–219.

SPLC-2012-SavolainenMK #multi #platform #product line

Developing platforms for multiple software product lines (JS, MM, JK), pp. 220–228.

SPLC-2012-HofmanSPKB #feature model #modelling #product line

Domain specific feature modeling for software product lines (PH, TS, TP, MK, AB), pp. 229–238.

SPLC-2012-PatzkeBSSSF #case study #evolution #identification #product line

Identifying improvement potential in evolving product line infrastructures: 3 case studies (TP, MB, MS, KS, JES, TF), pp. 239–248.

SPLC-2012-BragaJBL #certification #feature model #modelling #product line

Incorporating certification in feature modelling of an unmanned aerial vehicle product line (RTVB, OTJ, KRLJCB, JL), pp. 249–258.

SPLC-2012-FloresKC #product line

Mega-scale product line engineering at General Motors (RF, CWK, PCC), pp. 259–268.

SPLC-2012-LeitnerZTW #identification #variability

Requirement identification for variability management in a co-simulation environment (AL, JZ, PT, DW), pp. 269–274.

SPLC-2012-BartholdtB #product line

Scope extension of an existing product line (JB, DB), pp. 275–282.