Формальні та інтелектуальні методи автоматизації проєктування програмних систем
Стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 року
DOI:
https://doi.org/10.15407/visn2025.04.062Анотація
У доповіді обговорено результати робіт, виконаних в Інституті програмних систем НАН України, з розвитку формальних та інтелектуальних методів автоматизації проєктування програмних систем, які сьогодні широко використовують у галузі безпеки та оборони, метеорології, екології, енергетиці, нанотехнологіях, робототехніці тощо. Наголошено, що українська наукова школа з цього напряму, започаткована ще академіком В.М. Глушковим, сьогодні займає передові позиції у світі. Розвиток формальних та інтелектуальних методів автоматизації проєктування програмних систем досяг необхідної наукової і технологічної зрілості, щоб стати основою цифрової трансформації галузей економіки України.
Як цитувати:
Дорошенко А.Ю. Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.). Вісник НАН України. 2025. № 4. С. 62—68. https://doi.org/10.15407/visn2025.04.062
Посилання
Ivanenko P.A., Doroshenko A.Yu. Method of Automated Generation of Autotuners for Parallel Programs. Cybernetics and Systems Analysis. 2014. 50(3): 465—475. https://doi.org/10.1007/s10559-014-9635-3
Doroshenko A.Yu., Haidukevych Ya.O., Haidukevych V.O., Zhyrenkov O.S. User-centric technology stack for weather and air pollution forecasting. Problems in Programming. 2024. (4): 34—42. https://doi.org/10.15407/pp2024.04.034
Doroshenko A., Zhora D., Haidukevych V., Haidukevych Y., Yatsenko O. Predicting 24-Hour Nationwide Electrical Energy Consumption Based on Regression Techniques. CEUR-WS. 2024. 3806: 122—138.
Doroshenko A., Sizonenko V., Zhora D., Yatsenko O. Forecasting the Dnipro Water Reservoir Cascade Pollution using Machine Learning Methods. In: Mathematical Modeling and Simulation of Systems 2024. Proc. 19th Int. Conf. Chernihiv, Ukraine (in print).
Doroshenko A.E., Zhereb K.A., Ivanov E.V., Nikitchenko N.S., Yatsenko E.A. Formalnyye metody postroyeniya parallelnykh programm [Formal methods for constructing parallel programs]. Kropyvnytskyi, 2016 [in Russian].
Andon F.I., Doroshenko A.E., Zhereb K.A., Shevchenko R.S., Yatsenko E.A. Metody algebraicheskogo programmirovaniya; formalnyye metody razrabotki parallelnykh programm [Methods of algebraic programming; formal methods for developing parallel programs]. Kyiv: Naukova Dumka, 2017 [in Russian].
Prusov V., Doroshenko A. Computational Techniques for Modeling Atmospheric Processes. Hershey: IGI Global, 2018. https://doi.org/10.4018/978-1-5225-2636-0
Doroshenko A.Yu., Andon P.I., Yatsenko O.A., Zhereb K.A. Algebra-Algorithmic Models and Methods of Parallel Programming. Kyiv: Akademperiodyka, 2018. https://doi.org/10.15407/akademperiodyka.367.192
Doroshenko A.Yu., Ivanov Ie.V., Nikitchenko M.S., Yatsenko O.A., Zhereb K.A. Formal Program Development Methods. Kyiv: Publishing and Printing Center “Kyiv University”, 2021.
Shpyg V., Doroshenko A., Shcheglov O. et al. Eksabaytova ekonomika [Exabyte Economy]. Edited by I.L. Tatomyr, Yu.O. Shulzhik. Truskavets: Posvit, 2022 [in Ukrainian].
Doroshenko A., Yatsenko O. Formal and adaptive methods for automation of parallel programs construction: emerging research and opportunities. Hershey: IGI Global, 2021. https://doi.org/10.4018/978-1-5225-9384-3
Andon P.I., Doroshenko A.Yu., Akulovsky V.G., Ivanenko P.A., Yatsenko O.A. Formalni ta adaptyvni metody konstruyuvannya vysokoproduktyvnykh paralelnykh prohram [Formal and adaptive methods for constructing high-performance parallel programs]. Kyiv: Naukova Dumka, 2023 [in Ukrainian]. https://doi.org/10.15407/978-966-00-1809-9
