Composition by Colimit and Formal Software Development

DOI10.1007/11780274_17zbMATH Open1132.68341OpenAlexW1540505340MaRDI QIDQ5757940FDOQ5757940

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

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

Mathematics Subject Classification ID

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

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

Uses Software

• AspectJ
• Specware

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)