НОВИЙ ПІДХІД: ВИКОРИСТАННЯ ЗАГАЛЬНОЇ ТЕОРІЇ ПРИКЛАДНИХ АЛГОРИТМІВ ДЛЯ ПРОЄКТУВАННЯ МОВ ВИСОКОГО РІВНЯ
DOI:
https://doi.org/10.30890/2567-5273.2025-37-02-053Ключові слова:
схема декомпозиції, тип об’єкта, тип частини об’єкта, властивості об’єкта, загальні поняття програмування; алгоритмАнотація
Індустрія розробки програмного забезпечення вже давно визнала потребу в ефективній теорії для просування прогресу в технології програмування. Незважаючи на постійні зусилля, створення комплексної теорії виявилося величезним викликом. Дослідження представлПосилання
Ivar Jacobson and Bertrand Meyer. 2009. Methods need theory. Dr. Dobb’s J., 6 (August 2009). Retrieved June 25, 2024 from http://www.drdobbs.com/architecture-and-design/219100242
David L. Parnas. 2010. Really rethinking “formal methods”. Comp., 43, 1 (Jan. 2010), 28–34. DOI: https://doi.org/10.1109/MC.2010.22
Iaakov Exman, Dewayne E. Perry, Balbir Barn, and Paul Ralph. 2016. Separability principles for a general theory of software engineering. ACM SIGSOFT Soft. Eng. Not., 41 (Feb. 2016), 25–27. DOI: https://doi.org/10.1145/2853073.2853093
Dick Hamlet. 2012. Science, Mathematics, Computer Science. Comp. J., 55, 1 (Jan. 2012), 99–110. DOI: https://doi.org/10.1093/comjnl/bxr090
Edmund M. Clarke, Jeannette M. Wing et al. 1996. Methods: State of the Art and Future Directions. ACM Comp. Surv., 28, 4 (Dec. 1996), 626–643. Retrieved June 25, 2024 from https://www.cs.columbia.edu/~wing/publications/ClarkeWing96.pdf
Steve Adolph and Philippe Kruchten. 2013. Generating a useful theory of software engineering. In Proceedings of 2013 2nd SEMAT Workshop on a general theory of software engineering (GTSE). (May 2013). IEEE Computer Society, San Francisco, CA, USA, 47–50. DOI: https://doi.org/10.1109/GTSE.2013.6613870
Klaas-Jan Stol and Brian Fitzgerald. 2013. Uncovering Theories in Software Engineering. In Proceedings of 2013 2nd SEMAT Workshop on a general theory of software engineering (GTSE). (May 2013). IEEE Computer Society, San Francisco, CA, USA, 5–14. DOI: https://doi.org/10.1109/GTSE.2013.6613863
Victor R. Basili. 1996. The role of experimentation in software engineering: past, current, and future. In: Proceedings of IEEE 18th International conference on software engineering. (March 1996). Berlin, Germany: IEEE, 442–449. DOI: https://doi.org/10.1109/ICSE.1996.493439
Valery G. Kolesnyk. 2012. DS-teoriya kak prototip teorii prikladnykh algoritmov [DS-theory as a prototype of the theory of applied algorithms]. Probl. of program., 1 (Jan.2012), 17–33. Russian. Retrieved June 25, 2024 from https://pp.isofts.kiev.ua/index.php/ojs1/article/view/35/41
Valery H. Kolisnyk. 2020. Formalizatsiia protsesu dekompozytsii [Formalization of the decomposition process]. Epistemolog. Stud. in Philos., Soc. and Polit. Scien., 3, 2 (Dec. 2020), 26–43. Ukrainian. DOI: https://doi.org/10.15421/342030
Valery Kolisnyk and Ostap Bodyk. 2023. Synthesis theory in action: deductive derivation of algorithms for application software. Epistemolog. Stud. in Philos., Soc. and Polit. Scien., 6, 2 (Dec. 2023), 11–26. DOI: https://doi.org/10.15421/342321
Valery H. Kolisnyk and Ostap Bodyk. 2024. Algorithmic approaches to universal analysis models. Contr. Sys. and Comp., 2 (July 2024), 35–47. DOI: https://doi.org/10.15407/csc.2024.02.035
Valery G. Kolesnyk. 2015. DS-teoriya. Issledovaniye faktorov deleniya r-dannykh dlya generatsii prikladnykh algoritmov. Chast 1 [DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1]. Probl. of program., 3 (Sept. 2015), 3–12. Russian. Retrieved June 25, 2024 from https://pp.isofts.kiev.ua/index.php/ojs1/article/view/143/136
Valery G. Kolesnyk. 2015. DS-teoriya. Issledovaniye faktorov deleniya r-dannykh dlya generatsii prikladnykh algoritmov. Chast 2 [DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2]. Probl. of program., 4 (Dec. 2015),3–13. Russian. Retrieved June 25, 2024 from https://pp.isofts.kiev.ua/index.php/ojs1/article/view/155/149
Valery G. Kolesnyk. 2016. DS-teoriya. Issledovaniye faktorov formatirovaniya r-dannykh [DS-theory. The research of R-data factors formatting]. Probl. of program., 4 (Dec. 2016), 14–26. Russian. Retrieved June 25, 2024 from https://pp.isofts.kiev.ua/index.php/ojs1/article/view/209/201
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2025 Автори
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
