Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.)

У доповіді обговорено результати робіт, виконаних в Інституті програмних систем НАН України, з розвитку формальних та інтелектуальних методів автоматизації проєктування програмних систем, які сьогодні широко використовують у галузі безпеки та оборони, метеорології, екології, енергетиці, нанотехнолог...

Full description

Saved in:
Bibliographic Details
Published in:Вісник НАН України
Date:2025
Main Author: Дорошенко, А.Ю.
Format: Article
Language:Ukrainian
Published: Видавничий дім "Академперіодика" НАН України 2025
Subjects:
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/206174
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) / А.Ю. Дорошенко // Вісник Національної академії наук України. — 2025. — № 4. — С. 63-69. — Бібліогр.: 12 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Description
Summary:У доповіді обговорено результати робіт, виконаних в Інституті програмних систем НАН України, з розвитку формальних та інтелектуальних методів автоматизації проєктування програмних систем, які сьогодні широко використовують у галузі безпеки та оборони, метеорології, екології, енергетиці, нанотехнологіях, робототехніці тощо. Наголошено, що українська наукова школа з цього напряму, започаткована ще академіком В.М. Глушковим, сьогодні займає передові позиції у світі. Розвиток формальних та інтелектуальних методів автоматизації проєктування програмних систем досяг необхідної наукової і технологічної зрілості, щоб стати основою цифрової трансформації галузей економіки України. The report discusses the results of the works carried out at the Institute of Soft ware Systems of the National Academy of Sciences of Ukraine on the development of formal and intelligent methods for automating the design of soft ware 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 soft ware systems has reached the necessary scientific and technological maturity to become the basis for the digital transformation of Ukraine’s economic sectors.
ISSN:1027-3239