Douglas C. Schmidt
Proceedings of the 19th International Software Product Line Conference
SPLC, 2015.
@proceedings{SPLC-2015, acmid = "2791060", address = "Nashville, Tennessee, USA", editor = "Douglas C. Schmidt", isbn = "978-1-4503-3613-0", publisher = "{ACM}", title = "{Proceedings of the 19th International Software Product Line Conference}", year = 2015, }
Contents (61 items)
- SPLC-2015-BecanBGA #feature model #modelling #synthesis
- Synthesis of attributed feature models from product descriptions (GB, RB, AG, MA), pp. 1–10.
- SPLC-2015-BeekLLV #analysis #constraints #modelling #probability #product line #statistics
- Statistical analysis of probabilistic models of software product lines with quantitative constraints (MHtB, AL, ALL, AV), pp. 11–15.
- SPLC-2015-BergerLRGS0CC #industrial #product line #what
- What is a feature?: a qualitative study of features in industrial software product lines (TB, DL, JR, PG, AS, MB, MC, KC), pp. 16–25.
- SPLC-2015-CordyDGGH #product line #specification
- All-at-once-synthesis of controllers from scenario-based product line specifications (MC, JMD, JG, EG, PH), pp. 26–35.
- SPLC-2015-FilhoABAB #empirical #java #product line #source code
- Assessing product line derivation operators applied to Java source code: an empirical study (JBFF, SA, OB, MA, BB), pp. 36–45.
- SPLC-2015-FontAHC #concept #product line
- Building software product lines from conceptualized model patterns (JF, LA, ØH, CC), pp. 46–55.
- SPLC-2015-HeinemanHDR #framework #migration #object-oriented #product line #synthesis #towards
- Towards migrating object-oriented frameworks to enable synthesis of product line members (GTH, AH, BD, JR), pp. 56–60.
- SPLC-2015-JiBAC #embedded #maintenance #traceability
- Maintaining feature traceability with embedded annotations (WJ, TB, MA, KC), pp. 61–70.
- SPLC-2015-KuhnCO #product line
- Choosy and picky: configuration of language product lines (TK, WC, DMO), pp. 71–80.
- SPLC-2015-LachmannLLBSS #integration #product line #testing
- Delta-oriented test case prioritization for integration testing of software product lines (RL, SL, SL, SB, SS, IS), pp. 81–90.
- SPLC-2015-LiangGCR #analysis #feature model #modelling #satisfiability #scalability
- SAT-based analysis of large real-world feature models is easy (JH(L, VG, KC, VR), pp. 91–100.
- SPLC-2015-MartinezZBKT #approach #bottom-up #product line
- Bottom-up adoption of software product lines: a generic and extensible approach (JM, TZ, TFB, JK, YLT), pp. 101–110.
- SPLC-2015-MontalvilloD #branch #development #git #modelling #repository
- Tuning GitHub for SPL development: branching models & repository operations for product engineers (LM, OD), pp. 111–120.
- SPLC-2015-Munoz-Fernandez #adaptation #approach #named #requirements #self #simulation
- REFAS: a PLE approach for simulation of self-adaptive systems requirements (JCMF, GT, IR, RM, CS), pp. 121–125.
- SPLC-2015-QuintonRVGB #challenge #evolution #product line
- Evolution in dynamic software product lines: challenges and perspectives (CQ, RR, MV, PG, LB), pp. 126–130.
- SPLC-2015-ReulingBRLK #effectiveness #generative #product line #testing
- Fault-based product-line testing: effective sample generation based on feature-diagram mutation (DR, JB, SR, ML, UK), pp. 131–140.
- SPLC-2015-RumpeSWRM #behaviour #evolution #maintenance #modelling #product line
- Behavioral compatibility of simulink models for product line maintenance and evolution (BR, CS, MvW, JOR, PM), pp. 141–150.
- SPLC-2015-SoutoGdMKB #debugging #detection #feature model #modelling #performance #product line
- Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.
- SPLC-2015-TeixeiraABG #evolution #product line #reasoning
- A product line of theories for reasoning about safe evolution of product lines (LT, VA, PB, RG), pp. 161–170.
- SPLC-2015-TeixeiraBG #evolution #multi #product line
- Safe evolution of product populations and multi product lines (LT, PB, RG), pp. 171–175.
- SPLC-2015-ValeAFG #case study #comparative #metric #product line
- Defining metric thresholds for software product lines: a comparative study (GV, DA, EF, AFG), pp. 176–185.
- SPLC-2015-ValovGC #comparison #empirical #performance #predict #variability
- Empirical comparison of regression methods for variability-aware performance prediction (PV, JG, KC), pp. 186–190.
- SPLC-2015-AbbasA #adaptation #product line #self #variability
- Harnessing variability in product-lines of self-adaptive software systems (NA, JA), pp. 191–200.
- SPLC-2015-DhunganaFHS #ecosystem #product line #smarttech
- Smart factory product lines: a configuration perspective on smart production ecosystems (DD, AAF, AH, HS), pp. 201–210.
- SPLC-2015-LanduytWJ #as a service #middleware #multitenancy #research #roadmap #variability
- Variability middleware for multi-tenant SaaS applications: a research roadmap for service lines (DVL, SW, WJ), pp. 211–215.
- SPLC-2015-ChavarriagaRNCJ #case study #configuration management #experience #feature model #modelling #multi #using
- Using multiple feature models to specify configuration options for electrical transformers: an experience report (JC, CR, CN, RC, VJ), pp. 216–224.
- SPLC-2015-DomisAB #analysis #modelling #safety #tool support #uml #using #variability
- Integrating variability and safety analysis models using commercial UML-based tools (DD, RA, MB), pp. 225–234.
- SPLC-2015-KassmeyerSS #impact analysis #process #safety #variability
- A process to support a systematic change impact analysis of variability and safety in automotive functions (MK, MS, MS), pp. 235–244.
- SPLC-2015-McVoy #product line
- Preliminary product line support in BitKeeper (LM), pp. 245–252.
- SPLC-2015-PatelS #as a service #automation #testing #using #variability
- Automated testing of software-as-a-service configurations using a variability language (SP, VS), pp. 253–262.
- SPLC-2015-SmileySD #architecture #evolution #industrial #product line
- Evolving an industrial analytics product line architecture (KS, WS, AD), pp. 263–272.
- SPLC-2015-ArrietaSE #algorithm #cyber-physical #product line #validation
- Test control algorithms for the validation of cyber-physical systems product lines (AA, GS, LE), pp. 273–282.
- SPLC-2015-FangLDEZ #automation #industrial #modelling #towards
- Towards model-based derivation of systems in the industrial automation domain (MF, GL, JD, CE, JZ), pp. 283–292.
- SPLC-2015-GaetaC #modelling #product line
- Modeling aerospace systems product lines in SysML (JPG, KC), pp. 293–302.
- SPLC-2015-GreggSC #product line
- The more you do, the more you save: the superlinear cost avoidance effect of systems product line engineering (SPG, RS, PC), pp. 303–310.
- SPLC-2015-HotzWRGL #automation #evaluation #multi
- Evaluation across multiple views for variable automation systems (LH, YW, MR, OG, JL), pp. 311–315.
- SPLC-2015-Krueger #lifecycle #product line
- Mechanical product lifecycle management meets product line engineering (CWK), pp. 316–320.
- SPLC-2015-BeekFG #adaptation #analysis #paradigm #product line
- Applying the product lines paradigm to the quantitative analysis of collective adaptive systems (MHtB, AF, SG), pp. 321–326.
- SPLC-2015-WozniakC #how #product line
- How automotive engineering is taking product line engineering to the extreme (LW, PC), pp. 327–336.
- SPLC-2015-YueAS #analysis #case study #cyber-physical #experience #product line
- Cyber-physical system product line engineering: comprehensive domain analysis and experience report (TY, SA, BS), pp. 338–347.
- SPLC-2015-Santos #composition #comprehension #hybrid #refactoring
- Understanding hybrid SPL composition impact on the refactoring into SPL (ARS), pp. 348–351.
- SPLC-2015-BeucheH #lifecycle #product line #using
- Using pure: : variants across the product line lifecycle (DB, RH), pp. 352–354.
- SPLC-2015-ColaLTQ #product line
- An MDE tool for defining software product families with explicit variation points (SDC, KKL, CMT, CQ), pp. 355–360.
- SPLC-2015-DegueuleFBANMGB #design pattern #variability
- Tooling support for variability and architectural patterns in systems engineering (TD, JBFF, OB, MA, JLN, SM, GG, GB, OC), pp. 361–364.
- SPLC-2015-EichelbergerS #domain-specific language #ecosystem #named #variability
- IVML: a DSL for configuration in variability-rich software ecosystems (HE, KS), pp. 365–369.
- SPLC-2015-FederleFCV #architecture #design #named #product line #search-based
- OPLA-tool: a support tool for search-based product line architecture design (ÉLF, TdNF, TEC, SRV), pp. 370–373.
- SPLC-2015-MazoMRST #named #product line
- VariaMos: an extensible tool for engineering (dynamic) product lines (RM, JCMF, LR, CS, GT), pp. 374–379.
- SPLC-2015-VasilevskiyHCJS #product line
- The BVR tool bundle to support product line engineering (AV, ØH, FC, MFJ, DS), pp. 380–384.
- SPLC-2015-0002Z #agile #approach
- Lean variation management: increasing business value with a diversified approach (MB, BZ), p. 385.
- SPLC-2015-Beuche #feature model #modelling #variability
- Managing variability with feature models (DB), p. 386.
- SPLC-2015-Beuche15a #product line #requirements
- Managing requirements in product lines (DB), p. 387.
- SPLC-2015-KruegerC #generative #product line
- Second generation systems and software product line engineering (CWK, PCC), pp. 388–389.
- SPLC-2015-SchmidE #ecosystem #named #product line #variability
- EASy-Producer: from product lines to variability-rich software ecosystems (KS, HE), pp. 390–391.
- SPLC-2015-TraskR #architecture #modelling #product line
- Leveraging model driven engineering in software product line architectures (BT, AR), p. 392.
- SPLC-2015-DimovskiABW #model checking #off the shelf #using
- Family-based model checking using off-the-shelf model checkers: extended abstract (ASD, ASAS, CB, AW), p. 397.
- SPLC-2015-DudderRH #composition #design #staged #type safety #using
- Synthesizing type-safe compositions in feature oriented software designs using staged composition (BD, JR, GTH), pp. 398–401.
- SPLC-2015-FerrariSGD #diagrams #documentation #feature model #natural language #tool support
- CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams (AF, GOS, SG, FD), pp. 402–410.
- SPLC-2015-FontBHC #automation #formal method #product line #variability
- Automating the variability formalization of a model family by means of common variability language (JF, MB, ØH, CC), pp. 411–418.
- SPLC-2015-McGeeM #architecture #composition #cyber-physical
- Composition of proof-carrying architectures for cyber-physical systems (ETM, JDM), pp. 419–426.
- SPLC-2015-SteffenLM #constraints #product line #synthesis
- User-level synthesis: treating product lines as systems of constraints (BS, ALL, TMS), pp. 427–431.
- SPLC-2015-BeekFGM #analysis #product line #using
- Using FMC for family-based analysis of software product lines (MHtB, AF, SG, FM), pp. 432–439.
39 ×#product line
12 ×#modelling
11 ×#variability
7 ×#using
6 ×#analysis
6 ×#feature model
5 ×#evolution
5 ×#named
4 ×#architecture
4 ×#automation
12 ×#modelling
11 ×#variability
7 ×#using
6 ×#analysis
6 ×#feature model
5 ×#evolution
5 ×#named
4 ×#architecture
4 ×#automation