The Z notation: a reference manual
The Z notation: a reference manual
Software assessments, benchmarks, and best practices
Software assessments, benchmarks, and best practices
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
High Integrity Software: The SPARK Approach to Safety and Security
High Integrity Software: The SPARK Approach to Safety and Security
Verifying Extended Criteria for the Interoperability of Security Devices
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Correctness by construction for high-integrity real-time systems: a metamodel-driven approach
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Advances in Software Engineering
Information and Software Technology
From models to code and back: correct-by-construction code from UML and ALF
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
High integrity software systems are often so large that conventional development processes cannot get anywhere near achieving tolerable defect rates. This paper presents Correctness by Construction (CbyC)--an approach that has delivered very low defect rate software cost-effectively. We describe the main principles of CbyC and the results achieved to date. We also touch on some of the barriers that we have encountered in trying to field CbyC within our own and other organisations.