1926 search results - page 134 / 386 » Modeling and Model Checking Software Product Lines |
219
click to vote
CAL
2010
15 years 3 months ago
2010
Memory models like SC, TSO, and PC enforce load-load ordering, requiring that loads from any single thread appear to occur in program order to all other threads. Out-of-order execu...
160
click to vote
PPDP
2009
Springer
16 years 27 days ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
162
click to vote
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
192
click to vote
SEAA
2008
IEEE
16 years 22 days ago
2008
IEEE
The quality evaluation of open source software (OSS) products, e.g., defect estimation and prediction approaches of individual releases, gains importance with increasing OSS adopt...
197
click to vote
AC
2004
Springer
15 years 6 months ago
2004
Springer
In today's business where speed is of essence, an iterative development approach that allows the functionality to be delivered in parts has become a necessity and an effectiv...