1926 search results - page 59 / 386 » Modeling and Model Checking Software Product Lines |
177
click to vote
ECOOPW
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
124
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
119
Voted
SPIN
2005
Springer
15 years 10 months ago
2005
Springer