Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.)
У доповіді обговорено результати робіт, виконаних в Інституті програмних систем НАН України, з розвитку формальних та інтелектуальних методів автоматизації проєктування програмних систем, які сьогодні широко використовують у галузі безпеки та оборони, метеорології, екології, енергетиці, нанотехнолог...
Saved in:
| 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| _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 |