61 search results - page 1 / 13 » Certified software |
90
Voted
CACM
2010
14 years 8 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...
81
Voted
EUROSPI
2006
Springer
15 years 2 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...
65
Voted
QSIC
2007
IEEE
15 years 5 months ago
2007
IEEE
134
click to vote
ENTCS
2007
14 years 11 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...
73
Voted
TASE
2007
IEEE
15 years 5 months ago
2007
IEEE