Experience with correctness-by-construction

B. W. Watson, D. G. Kourie, L. Cleophas

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Abstract

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.
Original languageEnglish
Pages (from-to)55-58
Number of pages4
JournalScience of Computer Programming
Volume97
Issue numberpart 1
DOIs
Publication statusPublished - 2015

Fingerprint

Software engineering

Keywords

  • Algorithm derivation
  • Correctness-by-construction
  • Refinement calculus

Cite this

Watson, B. W. ; Kourie, D. G. ; Cleophas, L. / Experience with correctness-by-construction. In: Science of Computer Programming. 2015 ; Vol. 97, No. part 1. pp. 55-58.
@article{9ae0ae6e8bcb48d385954543b62229a8,
title = "Experience with correctness-by-construction",
abstract = "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 = "Algorithm derivation, Correctness-by-construction, Refinement calculus",
author = "Watson, {B. W.} and Kourie, {D. G.} and L. Cleophas",
year = "2015",
doi = "10.1016/j.scico.2013.11.024",
language = "English",
volume = "97",
pages = "55--58",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "part 1",

}

Experience with correctness-by-construction. / Watson, B. W.; Kourie, D. G.; Cleophas, L.

In: Science of Computer Programming, Vol. 97, No. part 1, 2015, p. 55-58.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Experience with correctness-by-construction

AU - Watson, B. W.

AU - Kourie, D. G.

AU - Cleophas, L.

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Algorithm derivation

KW - Correctness-by-construction

KW - Refinement calculus

U2 - 10.1016/j.scico.2013.11.024

DO - 10.1016/j.scico.2013.11.024

M3 - Article

VL - 97

SP - 55

EP - 58

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - part 1

ER -