Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
433301 | Science of Computer Programming | 2015 | 4 Pages |
Abstract
•We discuss the correctness-by-construction approach to software development.•We discuss our experience with this approach in various algorithmic settings.•We argue that its application to algorithmically complex system parts is worthwhile.
We discuss the correctness-by-construction approach to software development, and our experience with this approach in various small to large scale algorithmic settings. We argue that although it is not realistic to apply the approach in developing every line of code of a software system, its pragmatic application to the algorithmically complex parts of such a system is worthwhile.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
B.W. Watson, D.G. Kourie, L. Cleophas,