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 - http://www.scopus.com/inward/record.url?scp=0030141967&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0030141967&partnerID=8YFLogxK
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 -