Sciweavers

2902 search results - page 10 / 581
» Software Product Lines
Sort
View
JUCS
2008
182views more  JUCS 2008»
13 years 7 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger
ICSE
2007
IEEE-ACM
14 years 7 months ago
Variability Management in Software Product Line Engineering
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
Andreas Metzger, Klaus Pohl
HICSS
2009
IEEE
131views Biometrics» more  HICSS 2009»
14 years 2 months ago
Challenges in Software Product Line Composition
The idea to develop applications and infrastructure software as software product lines (SPLs) is continuously growing in acceptance throughout the software industry. The ability t...
Horst Schirmeier, Olaf Spinczyk
VAMOS
2010
Springer
13 years 8 months ago
Automating the Configuration of Multi Software Product Lines
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
Marko Rosenmüller, Norbert Siegmund
ASE
2011
13 years 2 months ago
Compositional model checking of software product lines using variation point obligations
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
Jing Liu, Samik Basu, Robyn R. Lutz