Program construction by parts

M. Frappier, A. Mili, J. Desharnais

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 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 introduces a mathematical basis for solving this problem; and we illustrate it by means of a simple example.

Original languageEnglish (US)
Title of host publicationMathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings
EditorsBernhard Moller
PublisherSpringer Verlag
Pages257-281
Number of pages25
ISBN (Print)3540601171, 9783540601173
DOIs
StatePublished - Jan 1 1995
Externally publishedYes
Event3rd International Conference on Mathematics of Program Construction, MPC '95 - Kloster Irsee, Germany
Duration: Jul 17 1995Jul 21 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume947
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Conference on Mathematics of Program Construction, MPC '95
CountryGermany
CityKloster Irsee
Period7/17/957/21/95

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Program construction by parts'. Together they form a unique fingerprint.

Cite this