Experience with correctness-by-construction

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

doi:10.1016/j.scico.2013.11.024

Experience with correctness-by-construction

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

Software Engineering and Technology

Research output: Contribution to journal › Article › Academic › peer-review

2 Citations (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 language	English
Pages (from-to)	55-58
Number of pages	4
Journal	Science of Computer Programming
Volume	97
Issue number	part 1
DOIs	https://doi.org/10.1016/j.scico.2013.11.024
Publication status	Published - 2015

Keywords

Algorithm derivation
Correctness-by-construction
Refinement calculus

Access to Document

10.1016/j.scico.2013.11.024

http://www.mendeley.com/research/experience-correctnessbyconstruction

Cite this

@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",

}

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

SN - 0167-6423

VL - 97

SP - 55

EP - 58

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - part 1

ER -

Experience with correctness-by-construction

Abstract

Keywords

Access to Document

Fingerprint

Cite this