61 search results - page 1 / 13 » Certified software |
CACM
2010
13 years 1 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
13 years 8 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
13 years 10 months ago
2007
IEEE
ENTCS
2007
13 years 4 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
13 years 10 months ago
2007
IEEE