1926 search results - page 21 / 386 » Modeling and Model Checking Software Product Lines |
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A software product line comprises a set of products implementing different configurations of features. The set of valid feature configurations within a product line ca...