Bibliographic Details
| Title: |
Correctness by Construction: A Manifesto for High-Integrity Software. |
| Authors: |
Croxford, Martin1 martin.croxford@praxis-his.com, Chapman, Roderick1 rod.chapman@praxis-his.com |
| Source: |
CrossTalk: The Journal of Defense Software Engineering. Dec2005, Vol. 18 Issue 12, p5-8. 4p. 1 Chart, 1 Graph. |
| Subjects: |
Computer software, Electronic systems, Best practices, Benchmarking (Management), Computer software industry |
| Abstract: |
High-integrity software systems are often so large that conventional development processes cannot get anywhere near achieving tolerable defect rates. This article presents an approach that has delivered software with very low defect rates cost-effectively. We describe the technical details of the approach and the results achieved, and discuss how to overcome barriers to adopting such best practice approaches. We conclude by observing that where such approaches are compatible and can be deployed in combination, we have the opportunity to realize the extremely low defect rates needed for high integrity software composed of many million lines of code. [ABSTRACT FROM AUTHOR] |
|
Copyright of CrossTalk: The Journal of Defense Software Engineering is the property of USAF Software Technology Support Center and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
