A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Specification transformers: a predicate transformer approach to composition
2004
Acta Informatica
This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and the composition operator, and (ii) deducing desirable properties of components from the system specification and properties of the composition operator. The paper studies compositional systems in general without making assumptions that components are computer programs. The results obtained from such abstract representations are
doi:10.1007/s00236-003-0130-y
fatcat:rxa47tvutfejpg5bvogzoppsoq