Composition by Colimit and Formal Software Development

DOI10.1007/11780274_17zbMath1132.68341OpenAlexW1540505340MaRDI QIDQ5757940

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

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

Related Items (2)

Bicompletions of Distance Matrices ⋮ An Institution for Object-Z with Inheritance and Polymorphism

Uses Software

• AspectJ
• Specware

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