Ina Schaefer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged software product lines

Family-Based Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Sven Apel, Martin Hentschel. In International Conference on Generative Programming and Component Engineering. 2012: 11-20

Analysis Strategies for Software Product LinesThomas Thüm, Sven Apel, Christian Kästner, Martin Kuhlemann, Ina Schaefer, Gunter Saake. Technical Report FIN-004-2012, 2012.

Proof Composition for Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. In Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST). 2011:

Dynamic software adaptation for service-oriented product linesHassan Gomaa, Koji Hashimoto. SPLC 2011: 35 [doi]

Pragmatic Strategies for Variability Management in Software Product LinesStan Jarzabek. icsr 2011: 244-245 [doi]

Variability Modelling for Model-Driven Development of Software Product LinesIna Schaefer. vamos 2010: 85-92 [doi]

Implementing software product lines using traitsLorenzo Bettini, Ferruccio Damiani, Ina Schaefer. SAC 2010: 2096-2102 [doi]

Delta-Oriented Programming of Software Product LinesIna Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella. SPLC 2010: 77-91 [doi]

Transforming Legacy Systems into Software Product LinesDanilo Beuche. SPLC 2010: 509-510 [doi]

Software Product Lines and Configurable Product Bases in Business Applications - A Case from Financial ServicesPaul D. Witman. hicss 2009: 1-10 [doi]

Resolving Traceability Issues in Product Derivation for Software Product LinesSaad bin Abid. ICSOFT 2009: 99-104

Using DITA for documenting software product linesOscar DÃaz, Felipe I. Anfurrutia, Jon Kortabitarte. DOCENG 2009: 231-240 [doi]

Introduction to software product linesPatrick Donohoe. SPLC 2009: 305 [doi]

Transforming legacy systems into software product linesDanilo Beuche. SPLC 2009: 321 [doi]

Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, ProceedingsIEEE Computer Society, 2008.

Introduction to Software Product LinesPatrick Donohoe. SPLC 2008: 370 [doi]

The Baseline: The Milestone of Software Product Lines for Expert Systems Automatic DevelopmentMaría Eugenia Cabello, Isidro Ramos. enc 2008: 44-51 [doi]

Transforming Legacy Systems into Software Product LinesDanilo Beuche. SPLC 2008: 377 [doi]

Variability Management in Software Product Lines for Decision Support Systems ConstructionMaría Eugenia Cabello, Isidro Ramos. ICEIS 2007: 49-56

Jump-Starting Software Product Lines with Clone DetectionAndrew Mark Dalgarno. SPLC 2008: 351 [doi]

Pricing of Software Product LinesDenis Sewerjuk. mkwi 2008: [doi]

Multiple Software Product Lines in Automotive Software DevelopmentUwe Beher, Günter Bönisch, Mike Heidrich. se 2008: 261-272

DocLine: A method for software product lines documentation developmentD. V. Koznov, Konstantin Romanovsky. pcs, 34(4):216-224, 2008. [doi]

Agile Software Product Lines, DeconstructedJohn McGregor. jot, 7(8):7-19, 2008. [doi]

Software Product Lines, 11th International Conference, SPLC 2007, Kyoto, Japan, September 10-14, 2007, ProceedingsIEEE Computer Society, 2007.

Software Product Lines, 11th International Conference, SPLC 2007, Kyoto, Japan, September 10-14, 2007, Proceedings. Second Volume (Workshops)Kindai Kagaku Sha Co. Ltd., Tokyo, Japan, 2007.

Software Product-Lines: What To Do When Enumaration Won t WorkDavid Lorge Parnas. vamos 2007: 9-14 [doi]

Seamless development of software product linesMiguel A. Laguna, Bruno González-Baixauli, José M. Marqués. GPCE 2007: 85-94 [doi]

The 3-Tiered Methodology: Pragmatic Insights from New Generation Software Product LinesCharles W. Krueger. SPLC 2007: 97-106 [doi]

Transforming Legacy Systems into Software Product LinesDanilo Beuche. SPLC 2007: 17

Software Product Lines without Scoping and Architecting by nToolsKazuyuki Natsume. SPLC 2007: 141-142

Software Product Lines, 10th International Conference, SPLC 2006, Baltimore, Maryland, USA, August 21-24, 2006, ProceedingsIEEE Computer Society, 2006.

Introduction to Software Product LinesPatrick Donohoe. SPLC 2006: 217

Feature Driven Dynamic Customization of Software Product LinesHassan Gomaa, Mazen Saleh. icsr 2006: 58-72 [doi]

Change management patterns in software product linesKannan Mohan, Balasubramaniam Ramesh. CACM, 49(12):68-72, 2006. [doi]

Transforming Legacy Systems into Software Product LinesDanilo Beuche. SPLC 2006: 223

Efficient Implementation of Intelligent Office Appliances with Software Product LinesThorsten Keuler, Theresa Lehner, Björn Decker, Dirk Muthig. wm 2005: 51-54

Efficient Implementation of Intelligent Office Appliances with Software Product LinesThorsten Keuler, Theresa Lehner, Björn Decker, Dirk Muthig. wm 2005: 60-69 [doi]

An Extension of Problem Frame Notation for Software Product LinesHailang Zuo, Mike Mannion, David Sellier, Richard Foley. apsec 2005: 499-505 [doi]

Software Product Lines, Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, ProceedingsRobert L. Nord, editor, Volume 3154 of Lecture Notes in Computer Science, Springer, 2004.

Dynamic Configuration of Software Product Lines in ArchJavaSebastian Pavel, Jacques Noyé, Jean-Claude Royer. SPLC 2004: 90-109 [doi]

Developing a Measurement Program for Software Product LinesSholom Cohen, Dave Zubrow, Gary J. Chastek. SPLC 2004: 318 [doi]

Economics of Software Product LinesDale R. Peterson. pfe 2004: 381-402 [doi]

Software Product Lines, Second International Conference, SPLC 2, San Diego, CA, USA, August 19-22, 2002, ProceedingsGary J. Chastek, editor, Volume 2379 of Lecture Notes in Computer Science, Springer, 2002.

Guest Editors Introduction: Initiating Software Product LinesIEEE Software, 19(4):24-27, 2002. [doi]

Practical Strategies and Techniques for Adopting Software Product LinesCharles W. Krueger. icsr 2002: 349-350 [doi]

Evolutionary Introduction of Software Product LinesDaniel Simon, Thomas Eisenbarth. SPLC 2002: 272-282 [doi]

Expression and Usage of the Variability in the Software Product LinesSerge Salicki, Nicolas Farcet. pfe 2002: 304-318 [doi]

Software Product Lines; Experiences and Research Directions, Proceedings of the First International Conference, SPLC 1, Denver, Colorado, USA, August 28-31, 2000, ProceedingsPatrick Donohoe, editor, Kluwer, 2000.

Software Product LinesJ. Bosch. TOOLS 2000: 467 [doi]

runs on WebDSL