Sciweavers

336 search results - page 8 / 68
» Dynamic Software Product Lines for Service-Based Systems
Sort
View
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
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
FMOODS
2008
13 years 9 months ago
Modeling and Model Checking Software Product Lines
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
FIW
2007
120views Communications» more  FIW 2007»
13 years 9 months ago
Problem-Oriented Feature Interaction Detection in Software Product Lines
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
Andreas Classen
AOSE
2006
Springer
13 years 9 months ago
Building the Core Architecture of a NASA Multiagent System Product Line
Abstract. The field of Software Product Lines (SPL) emphasizes building a family of software products from which concrete products can be derived rapidly. This helps to reduce time...
Joaquín Peña, Michael G. Hinchey, An...