Correctness by Construction: A Manifesto for High-Integrity Software.
Saved in:
| 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 |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 19783240 AccessLevel: 6 PubType: Periodical PubTypeId: serialPeriodical PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Correctness by Construction: A Manifesto for High-Integrity Software. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Croxford%2C+Martin%22">Croxford, Martin</searchLink><relatesTo>1</relatesTo><i> martin.croxford@praxis-his.com</i><br /><searchLink fieldCode="AR" term="%22Chapman%2C+Roderick%22">Chapman, Roderick</searchLink><relatesTo>1</relatesTo><i> rod.chapman@praxis-his.com</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22CrossTalk%3A+The+Journal+of+Defense+Software+Engineering%22">CrossTalk: The Journal of Defense Software Engineering</searchLink>. Dec2005, Vol. 18 Issue 12, p5-8. 4p. 1 Chart, 1 Graph. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+systems%22">Electronic systems</searchLink><br /><searchLink fieldCode="DE" term="%22Best+practices%22">Best practices</searchLink><br /><searchLink fieldCode="DE" term="%22Benchmarking+%28Management%29%22">Benchmarking (Management)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+industry%22">Computer software industry</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=19783240 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 4 StartPage: 5 Subjects: – SubjectFull: Computer software Type: general – SubjectFull: Electronic systems Type: general – SubjectFull: Best practices Type: general – SubjectFull: Benchmarking (Management) Type: general – SubjectFull: Computer software industry Type: general Titles: – TitleFull: Correctness by Construction: A Manifesto for High-Integrity Software. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Croxford, Martin – PersonEntity: Name: NameFull: Chapman, Roderick IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 12 Text: Dec2005 Type: published Y: 2005 Identifiers: – Type: issn-print Value: 21601577 Numbering: – Type: volume Value: 18 – Type: issue Value: 12 Titles: – TitleFull: CrossTalk: The Journal of Defense Software Engineering Type: main |
| ResultId | 1 |
