932 search results - page 39 / 187 » Software Reliability Engineering: A Roadmap |
KBSE
2005
IEEE
14 years 4 months ago
2005
IEEE
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...
HASE
1998
IEEE
14 years 3 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
SYNASC
2006
IEEE
14 years 5 months ago
2006
IEEE
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
KBSE
2007
IEEE
14 years 5 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
RE
2010
Springer
13 years 5 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...