9006 search results - page 234 / 1802 » Modeling Software |
220
click to vote
JCSS
2011
15 years 1 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
199
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Reliability is an important concern for software dependability. Quantifying dependability in terms of reliability can be carried out by measuring the continuous delivery of a corr...
161
click to vote
ISPW
2005
IEEE
16 years 3 days ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
172
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
190
click to vote
EDCC
2008
Springer
15 years 8 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...