Category-theoretic approach to software systems design

DOI10.1007/S10958-016-2814-1MaRDI QIDQ289772zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Categories for Software Engineering
• Diagrammatic description of software systems composition
• Revisiting the categorical approach to systems
• scientific article; zbMATH DE number 1696908
• scientific article; zbMATH DE number 40791

Cites work

• scientific article; zbMATH DE number 5932254 (Why is no real title available?)
• scientific article; zbMATH DE number 3592211 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 1931751 (Why is no real title available?)
• scientific article; zbMATH DE number 5254148 (Why is no real title available?)
• A categorical manifesto
• A formalisation of the copy-modify-merge approach to version control in MDE
• A metamodel for the design of polychronous systems
• Diagrammatic description of software systems composition
• Generic Programming
• Modeling concurrency with partial orders
• On localization and stabilization for factorization systems
• Revisiting the categorical approach to systems
• Transactions on Aspect-Oriented Software Development VI. Special issue on aspects and model-driven engineering

Cited in

(14)

• A categorical framework for the transformation of object-oriented systems: models and data
• Diagrammatic description of software systems composition
• scientific article; zbMATH DE number 1696908 (Why is no real title available?)
• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• Category-theoretic fibration as an abstraction mechanism in information systems
• Industrial applications of software synthesis via category theory -- case studies using specware
• Theoretical aspects of structured-modular composition programming: Algebra of morphisms
• Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
• Categories for Software Engineering
• Fragmentary structure of global knowledge: constructive processes for interoperability
• Revisiting the categorical approach to systems
• Formal semantics of an architecture-centric component model
• scientific article; zbMATH DE number 40791 (Why is no real title available?)
• Theory and Applications of Models of Computation

Describes a project that uses

Uses Software

• Specware

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

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