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

year = "1995",

month = jan,

day = "1",

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

note = "3rd International Conference on Mathematics of Program Construction, MPC '95 ; Conference date: 17-07-1995 Through 21-07-1995",

}