1938 search results - page 69 / 388 » Dependable Software |
124
Voted
CACM
2010
14 years 12 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
175
click to vote
ICEIS
2009
IEEE
15 years 9 days ago
2009
IEEE
Rearchitecturing large software systems becomes more and more complex after years of development and a growing size of the code base. Nonetheless, a constant adaptation of software...
95
Voted
SRDS
1997
IEEE
15 years 6 months ago
1997
IEEE
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...
117
Voted
ICDCS
2000
IEEE
15 years 7 months ago
2000
IEEE
To assure dependable onboard evolution, we have developed a methodology called guarded software upgrading (GSU). In this paper, we focus on a low-cost approach to error containmen...
125
click to vote
FAC
2006
15 years 2 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...