@inproceedings{2d7fc5e5908347ce83914d7f45063cc0,
title = "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 introduces 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 = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1995.; 3rd International Conference on Mathematics of Program Construction, MPC '95 ; Conference date: 17-07-1995 Through 21-07-1995",
year = "1995",
doi = "10.1007/3-540-60117-1_15",
language = "English (US)",
isbn = "3540601171",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "257--281",
editor = "Bernhard Moller",
booktitle = "Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings",
address = "Germany",
}