A relational calculus for program construction by parts

M. Frappier; A. Mili; J. Desharnais

doi:10.1016/0167-6423(95)00028-3

A relational calculus for program construction by parts

M. Frappier
, A. Mili
, J. Desharnais

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

15 Scopus citations

Abstract

Given a specification that includes a number of user requirements, we wish to focus on the requirements in turn, and derive a partly defined program for each; then combine all the partly defined programs into a single program that satisfies all the requirements simultaneously. In this paper we introduce a mathematical basis for solving this problem, and we illustrate it by means of a simple example.

Original language	English (US)
Pages (from-to)	237-254
Number of pages	18
Journal	Science of Computer Programming
Volume	26
Issue number	1-3
DOIs	https://doi.org/10.1016/0167-6423(95)00028-3
State	Published - May 1996
Externally published	Yes

All Science Journal Classification (ASJC) codes

Software

Access to Document

10.1016/0167-6423(95)00028-3

Cite this

@article{981a2fdc837a4b07ada91ca2b56e08e3,

title = "A relational calculus for program construction by parts",

abstract = "Given a specification that includes a number of user requirements, we wish to focus on the requirements in turn, and derive a partly defined program for each; then combine all the partly defined programs into a single program that satisfies all the requirements simultaneously. In this paper we introduce a mathematical basis for solving this problem, and we illustrate it by means of a simple example.",

author = "M. Frappier and A. Mili and J. Desharnais",

note = "Funding Information: * Corresponding author. E-mail: [email protected]. {\textquoteright} This research is supported by NSERC (Natural Sciences and Engineering Research Council) and by FCAR (Fonds pour la Formation de Chercheurs et I{\textquoteright}Aide B la Recherche) of Qukbec.",

year = "1996",

month = may,

doi = "10.1016/0167-6423(95)00028-3",

language = "English (US)",

volume = "26",

pages = "237--254",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "1-3",

}

TY - JOUR

T1 - A relational calculus for program construction by parts

AU - Frappier, M.

AU - Mili, A.

AU - Desharnais, J.

N1 - Funding Information: * Corresponding author. E-mail: [email protected]. ’ This research is supported by NSERC (Natural Sciences and Engineering Research Council) and by FCAR (Fonds pour la Formation de Chercheurs et I’Aide B la Recherche) of Qukbec.

PY - 1996/5

Y1 - 1996/5

N2 - Given a specification that includes a number of user requirements, we wish to focus on the requirements in turn, and derive a partly defined program for each; then combine all the partly defined programs into a single program that satisfies all the requirements simultaneously. In this paper we introduce a mathematical basis for solving this problem, and we illustrate it by means of a simple example.

AB - Given a specification that includes a number of user requirements, we wish to focus on the requirements in turn, and derive a partly defined program for each; then combine all the partly defined programs into a single program that satisfies all the requirements simultaneously. In this paper we introduce a mathematical basis for solving this problem, and we illustrate it by means of a simple example.

UR - https://www.scopus.com/pages/publications/0030141967

UR - https://www.scopus.com/pages/publications/0030141967#tab=citedBy

U2 - 10.1016/0167-6423(95)00028-3

DO - 10.1016/0167-6423(95)00028-3

M3 - Article

AN - SCOPUS:0030141967

SN - 0167-6423

VL - 26

SP - 237

EP - 254

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 1-3

ER -

A relational calculus for program construction by parts

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this