Article ID Journal Published Year Pages File Type
433301 Science of Computer Programming 2015 4 Pages PDF
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.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Authors
, , ,