932 search results - page 86 / 187 » Software Reliability Engineering: A Roadmap |
102
Voted
ARCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper, we present the architecture of CoBFIT, a component-based framework for building intrusion-tolerant distributed systems. The CoBFIT framework, by virtue of its desig...
132
Voted
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
131
click to vote
STEP
2003
IEEE
15 years 5 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
94
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...