Home → Magazine Archive → April 2009 (Vol. 52, No. 4) → A Direct Path to Dependable Software → Abstract

A Direct Path to Dependable Software

By Daniel Jackson

Communications of the ACM, Vol. 52 No. 4, Pages 78-88
10.1145/1498765.1498787

[article image]


Who could fault an approach that offers greater credibility at reduced cost?

The full text of this article is premium content

0 Comments

No entries found