Category-theoretic approach to software systems design

DOI10.1007/S10958-016-2814-1zbMATH Open1356.68042OpenAlexW2313636104MaRDI QIDQ289772FDOQ289772

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• On localization and stabilization for factorization systems
• Title not available (Why is that?)
• Modeling concurrency with partial orders
• A metamodel for the design of polychronous systems
• Transactions on Aspect-Oriented Software Development VI. Special issue on aspects and model-driven engineering
• Revisiting the categorical approach to systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A categorical manifesto
• Generic Programming
• Diagrammatic description of software systems composition
• Title not available (Why is that?)
• A formalisation of the copy-modify-merge approach to version control in MDE

Cited In (14)

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

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)