3801 search results - page 99 / 761 » An Approach to Modeling Software Safety |
141
click to vote
JIT
2004
Springer
15 years 9 months ago
2004
Springer
Software product lines (PLs) present a solid approach in large scale reuse. Due to the PLs’ inherit complexity, many PL methods use the notion of ”features” to support requir...
138
Voted
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
120
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
230
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
130
click to vote
CAISE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new ci...