Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.)
У доповіді обговорено результати робіт, виконаних в Інституті програмних систем НАН України, з розвитку формальних та інтелектуальних методів автоматизації проєктування програмних систем, які сьогодні широко використовують у галузі безпеки та оборони, метеорології, екології, енергетиці, нанотехнолог...
Збережено в:
| Опубліковано в: : | Вісник НАН України |
|---|---|
| Дата: | 2025 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2025
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/206174 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) / А.Ю. Дорошенко // Вісник Національної академії наук України. — 2025. — № 4. — С. 63-69. — Бібліогр.: 12 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862571998015651840 |
|---|---|
| author | Дорошенко, А.Ю. |
| author_facet | Дорошенко, А.Ю. |
| citation_txt | Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) / А.Ю. Дорошенко // Вісник Національної академії наук України. — 2025. — № 4. — С. 63-69. — Бібліогр.: 12 назв. — укр. |
| collection | DSpace DC |
| container_title | Вісник НАН України |
| description | У доповіді обговорено результати робіт, виконаних в Інституті програмних систем НАН України, з розвитку формальних та інтелектуальних методів автоматизації проєктування програмних систем, які сьогодні широко використовують у галузі безпеки та оборони, метеорології, екології, енергетиці, нанотехнологіях, робототехніці тощо. Наголошено, що українська наукова школа з цього напряму, започаткована ще академіком В.М. Глушковим, сьогодні займає передові позиції у світі. Розвиток формальних та інтелектуальних методів автоматизації проєктування програмних систем досяг необхідної наукової і технологічної зрілості, щоб стати основою цифрової трансформації галузей економіки України.
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.
|
| first_indexed | 2025-11-26T05:33:53Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-206174 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1027-3239 |
| language | Ukrainian |
| last_indexed | 2025-11-26T05:33:53Z |
| publishDate | 2025 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Дорошенко, А.Ю. 2025-08-30T17:48:50Z 2025 Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) / А.Ю. Дорошенко // Вісник Національної академії наук України. — 2025. — № 4. — С. 63-69. — Бібліогр.: 12 назв. — укр. 1027-3239 https://nasplib.isofts.kiev.ua/handle/123456789/206174 https://doi.org/10.15407/visn2025.04.063 У доповіді обговорено результати робіт, виконаних в Інституті програмних систем НАН України, з розвитку формальних та інтелектуальних методів автоматизації проєктування програмних систем, які сьогодні широко використовують у галузі безпеки та оборони, метеорології, екології, енергетиці, нанотехнологіях, робототехніці тощо. Наголошено, що українська наукова школа з цього напряму, започаткована ще академіком В.М. Глушковим, сьогодні займає передові позиції у світі. Розвиток формальних та інтелектуальних методів автоматизації проєктування програмних систем досяг необхідної наукової і технологічної зрілості, щоб стати основою цифрової трансформації галузей економіки України. 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. uk Видавничий дім "Академперіодика" НАН України Вісник НАН України З кафедри Президії НАН України Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) 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) Article published earlier |
| spellingShingle | Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) Дорошенко, А.Ю. З кафедри Президії НАН України |
| title | Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) |
| title_alt | 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) |
| title_full | Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) |
| title_fullStr | Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) |
| title_full_unstemmed | Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) |
| title_short | Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) |
| title_sort | формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні президії нан україни 19 лютого 2025 р.) |
| topic | З кафедри Президії НАН України |
| topic_facet | З кафедри Президії НАН України |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/206174 |
| work_keys_str_mv | AT dorošenkoaû formalʹnítaíntelektualʹnímetodiavtomatizacííproêktuvannâprogramnihsistemstenogramadopovídínazasídanníprezidíínanukraíni19lûtogo2025r AT dorošenkoaû formalandintelligentmethodsforautomatingthedesignofsoftwaresystemstranscriptofscientificreportatthemeetingofthepresidiumofnasofukrainefebruary192025 |