References
I. A. Basarab, N. S. Nikitchenko, and V. N. Red'ko, Composition Databases [in Russian], Libid', Kiev (1992).
E. Dijkstra, A Discipline of Programming [Russian translation], Mir, Moscow (1975).
E. L. Yushchenko, G. E. Tseitlin, V. P. Gritsai, T. K. Terzyan, Multilevel Structured Program Design: Theoretical Principles and Tools [in Russian], Finansy i Statistika, Moscow (1989).
V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, Algebras, Languages, and Programming [in Russian], Naukova Dumka, Kiev (1974).
H. Firsko-Weiss, “CASE tools for designing your applications,” PC Mag.,9, No. 2 (1990).
I. V. Sergienko, I. M. Parasyuk, A. V. Kalita, A. I. Provotar, and A. B. Bartkov, “CASE APS—an integrated environment for construction of application software systems by structured-modular methods,” USM, No. 2, 30–38 (1993).
I. N. Parasyuk, A. V. Kalita, and A. I. Provotar, “CASE—a system for structured-modular composition programming: conceptual principles,” Kibern. Sistem. Anal., No. 2, 140–146 (1993).
R. Goldblatt, Topoi: The Categorical Analysis of Logic [Russian translation], Mir, Moscow (1983).
A. I. Provotar, “Theoretical aspects of structured-modular composition programming: algebra of morphisms,” Kibern. Sistem. Anal., No. 6, 89–99 (1993).
I. N. Parasyuk and I. V. Sergienko, Data Analysis Packages: Development Technology [in Russian], Finansy i Statistika, Moscow (1988).
I. N. Parasyuk, “Development principles of modern software systems for data analysis,” Kibern. Sistem. Anal., No. 3, 155–162 (1993).
R. Smullyan, Theory of Formal Systems [Russian translation], Nauka, Moscow (1981).
C.-L. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving [Russian translation], Nauka, Moscow (1983).
A. I. Provotar, “Theoretical aspects of structured-modular composition programming: computability of the operations of the algebra of morphisms,” Kibern. Sistem. Anal., No. 6, 27–36 (1994).
Additional information
The study was financed by the State Foundation of Basic Research of the Ukrainian State Committee for Science and Technology.
Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 146–154, January–February, 1995.
Rights and permissions
About this article
Cite this article
Parasyuk, I.N., Provotar, A.I. & Zalozhenkova, I.A. A methodology of structured-modular composition programming. Cybern Syst Anal 31, 123–130 (1995). https://doi.org/10.1007/BF02366803
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02366803