Composition by Colimit and Formal Software Development

DOI10.1007/11780274_17MaRDI QIDQ5757940zbMATH OpenOpenAlexFDO

Authors Douglas R. Smith

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780274_17

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Diagrammatic description of software systems composition
• Calculating Colimits Compositionally
• On a Parthood Specification Method for Component Software
• scientific article; zbMATH DE number 1522144
• scientific article; zbMATH DE number 1231482

Cited in

(5)

• An institution for Object-Z with inheritance and polymorphism
• Calculating Colimits Compositionally
• Diagrammatic description of software systems composition
• Bicompletions of distance matrices
• Colimits for concurrent collectors

Describes a project that uses

Uses Software

• Specware
• AspectJ

This page was built for publication: Composition by Colimit and Formal Software Development

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5757940)