277 search results - page 23 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
111
click to vote
VAMOS
2007
Springer
15 years 5 months ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
DAC
2008
ACM
16 years 22 days ago
2008
ACM
An effective technique to save power during scan based test is to switch off unused scan chains. The results obtained with this method strongly depend on the mapping of scan flip-...
GECCO
2008
Springer
15 years 24 days ago
2008
Springer
A well-designed fitness function is essential to the effectiveness and efficiency of evolutionary testing. Fitness function design has been researched extensively. For fitness ...
JSA
2002
14 years 11 months ago
2002
This paper presents a dependability oriented, fault tolerance based system design, development, and deployment approach. The approach relies on an architectural framework, which a...
95
Voted
POPL
2010
ACM
15 years 9 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...