61 search results - page 1 / 13 » Certified software |
84
Voted
CACM
2010
14 years 7 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...
EUROSPI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents a case study of how a Norwegian company introduced an ISO certified process. By identifying the company's strong and weak sides plus the expectat...
QSIC
2007
IEEE
15 years 4 months ago
2007
IEEE
129
click to vote
ENTCS
2007
14 years 10 months ago
2007
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...
TASE
2007
IEEE
15 years 4 months ago
2007
IEEE