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

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

2 Citaten (Scopus)

Samenvatting

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.

Originele taal-2	Engels
Pagina's (van-tot)	55-58
Aantal pagina's	4
Tijdschrift	Science of Computer Programming
Volume	97
Nummer van het tijdschrift	part 1
DOI's	https://doi.org/10.1016/j.scico.2013.11.024
Status	Gepubliceerd - 2015

Toegang tot document

10.1016/j.scico.2013.11.024

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

Citeer dit

@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 B.V.",

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

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit