Sciweavers

1926 search results - page 4 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
ICSEA
2009
IEEE
14 years 7 months ago
Integrating Quality Modeling with Feature Modeling in Software Product Lines
Due to the large number of possible variants in typical Software Product Lines (SPLs), the modeling of, explicit knowledge of, and predictability of the quality tradeoffs inherent ...
Joerg Bartholdt, Marcel Medak, Roy Oberhauser
TOOLS
2009
IEEE
15 years 4 months ago
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
Christian Kästner, Sven Apel, Salvador Trujil...
VAMOS
2008
Springer
14 years 10 months ago
Integrated Product Line Model for Semi-Automated Product Derivation Using Non-Functional Properties
Software product lines (SPLs) allow to generate tailormade software products by selecting and composing reusable code units. However, SPLs with hundreds of features and millions o...
Norbert Siegmund, Martin Kuhlemann, Marko Rosenm&u...
ISSRE
2005
IEEE
15 years 3 months ago
Safety Analysis of Software Product Lines Using State-Based Modeling
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
Jing Liu, Josh Dehlinger, Robyn R. Lutz