Formal and intelligent methods for automating the design of software systems
Transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, February 19, 2025
DOI:
https://doi.org/10.15407/visn2025.04.062Abstract
The report discusses the results of the works carried out at the Institute of Software Systems of the National Academy of Sciences of Ukraine on the development of formal and intelligent methods for automating the design of software systems, which are widely used in security and defense, meteorology, ecology, energy, nanotechnology, robotics, etc. It is emphasized that the Ukrainian scientific school in this area, founded by Academician V.M. Glushkov, is now at the forefront in the world. The development of formal and intelligent methods for automating the design of software systems has reached the necessary scientific and technological maturity to become the basis for the digital transformation of Ukraine's economic sectors.
Cite this article:
Doroshenko A.Y. Formal and intelligent methods for automating the design of software systems (transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, February 19, 2025). Visn. Nac. Akad. Nauk Ukr. 2025. (4): 62—68. https://doi.org/10.15407/visn2025.04.062
References
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
