Theoretical aspects of structured-modular composition programming: Algebra of morphisms

MaRDI QIDQ1842423zbMATH OpenFDO

Authors A. I. Provotar'

Publication date 17 May 1995

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

algebra of morphisms

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Topoi (18B25)

Recommendations

• Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms
• Diagrammatic description of software systems composition
• A Unifying Framework for Structured Analysis and Design Models
• Category-theoretic approach to software systems design
• scientific article; zbMATH DE number 139984

Cited in

(3)

• Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms
• scientific article; zbMATH DE number 3938532 (Why is no real title available?)
• A methodology of structured-modular composition programming

This page was built for publication: Theoretical aspects of structured-modular composition programming: Algebra of morphisms

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