Diagrammatic description of software systems composition

MaRDI QIDQ5398240zbMATH OpenFDO

Authors Sergey Kovalev

Publication date 26 February 2014

zbMATH Keywords

architecture miningarchitecture schoolcategory of diagramsmereologysystem integration

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Category-theoretic approach to software systems design
• Revisiting the categorical approach to systems
• Formal semantics of an architecture-centric component model
• Composition by Colimit and Formal Software Development
• Categories for Software Engineering

Cited in

(9)

• Theoretical aspects of structured-modular composition programming: Algebra of morphisms
• Category-theoretic approach to software systems design
• Revisiting the categorical approach to systems
• scientific article; zbMATH DE number 3856385 (Why is no real title available?)
• Systems analysis of life cycle of large-scale information-control systems
• Diagrammatic specifications
• Formal semantics of an architecture-centric component model
• Computational Science – ICCS 2005
• Composition by Colimit and Formal Software Development

This page was built for publication: Diagrammatic description of software systems composition

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