1926 search results - page 61 / 386 » Modeling and Model Checking Software Product Lines |
196
click to vote
SPLC
2004
15 years 6 months ago
2004
A key aspect of variability management in software product families is the explicit representation of the variability. Experiences at several industrial software development compan...
81
Voted
ER
2007
Springer
15 years 11 months ago
2007
Springer
140
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...