Category-theoretic approach to software systems design

DOI10.1007/s10958-016-2814-1zbMath1356.68042OpenAlexW2313636104MaRDI QIDQ289772

S. P. Kovalyov

Publication date: 31 May 2016

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-016-2814-1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Specware

Cites Work

• A formalisation of the copy-modify-merge approach to version control in MDE
• A metamodel for the design of polychronous systems
• Transactions on Aspect-Oriented Software Development VI. Special issue on aspects and model-driven engineering
• Modeling concurrency with partial orders
• On localization and stabilization for factorization systems
• Revisiting the Categorical Approach to Systems*
• A categorical manifesto
• Generic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Category-theoretic approach to software systems design