A methodology of structured-modular composition programming

DOI10.1007/BF02366803MaRDI QIDQ1907783zbMATH OpenOpenAlexFDO

Authors I. N. Parasyuk, I. A. Zalozhenkova, A. I. Provotar'

Publication date 27 March 1996

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

Full work available at URL https://doi.org/10.1007/bf02366803

zbMATH Keywords

modular algorithmic structuresstructured modular composition

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Compositional synthesis of modular systems
• Compositional programming: theory and practice
• Theoretical aspects of structured-modular composition programming: Algebra of morphisms
• Composition structure of programmology
• scientific article; zbMATH DE number 176727
• scientific article; zbMATH DE number 2084371
• A semantic approach to program modularity
• A means for the structural synthesis of programs

Cites work

• CASE system for structured modular composition programming: Conceptual fundamentals
• Development principles of modern software systems for data analysis
• scientific article; zbMATH DE number 3839930 (Why is no real title available?)
• scientific article; zbMATH DE number 3861159 (Why is no real title available?)
• Theoretical aspects of structured-modular composition programming: Algebra of morphisms
• Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms

Cited in

(17)

• Integrated system for hypothesis testing: software and algorithms
• Main directions in the development of informatics
• Composition structure of programmology
• Formal methods in computer technologies
• Composition for component-based modeling
• Optimization issues in structured-modular composition programming technology
• A generalization of interval Bayesian inference mechanisms and prospects for their use
• Compositional programming: theory and practice
• Composition of loop modules in the structural blanks approach to programming with recurrences: a task of synthesis of nested loops
• scientific article; zbMATH DE number 3938532 (Why is no real title available?)
• scientific article; zbMATH DE number 4024746 (Why is no real title available?)
• scientific article; zbMATH DE number 2084371 (Why is no real title available?)
• scientific article; zbMATH DE number 2113972 (Why is no real title available?)
• scientific article; zbMATH DE number 3894641 (Why is no real title available?)
• Modified chain approach
• Use of the method of formalized technical assignments for the program designs for processing data structures
• Using categorical methods in computer science

This page was built for publication: A methodology of structured-modular composition programming

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