Repositorium | Buch | Kapitel
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations in which colimits can be mechanically applied to support software development by refinement. We illustrate the use of colimits to support automated datatype refinement, algorithm design, aspect weaving, and security policy enforcement.
Publikationsangaben
DOI: 10.1007/11780274_17
Quellenangabe:
Smith, D. R. (2006)., Composition by colimit and formal software development, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 317-332.
Dieses Dokument ist derzeit leider nicht zum Runterladen verfügbar.