Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Вісник НАН України
Datum:	2025
1. Verfasser:	Дорошенко, А.Ю.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Видавничий дім "Академперіодика" НАН України 2025
Schlagworte:	З кафедри Президії НАН України
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/206174
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.) / А.Ю. Дорошенко // Вісник Національної академії наук України. — 2025. — № 4. — С. 63-69. — Бібліогр.: 12 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Людський капітал України: втрати внаслідок війни і перспективи повоєнного відродження (стенограма доповіді на засіданні Президії НАН України 5 лютого 2025 р.)
von: Лібанова, Е.М.
Veröffentlicht: (2025)

Шляхи посилення ефективності дії ліків (стенограма доповіді на засіданні Президії НАН України 22 січня 2025 р.)
von: Стойка, Р.С.
Veröffentlicht: (2025)

Формальні методи розпаралелювання алгоритму Тар'яна
von: Погорілий, С.Д., et al.
Veröffentlicht: (2008)

Комп’ютерно-інтегрована технологія проєктування та виготовлення індивідуальних ендопротезів (стенограма доповіді на засіданні Президії НАН України 3 квітня 2024 р.)
von: Бобир, М.І.
Veröffentlicht: (2024)

Стратегічна мінеральна сировина для відновлення України (стенограма наукової доповіді на засіданні Президії НАН України 7 травня 2025 р.)
von: Шехунова, С.Б.
Veröffentlicht: (2025)

Місцеві біогазові палива для систем розподіленої генерації (стенограма доповіді на засіданні Президії НАН України 7 травня 2025 р.)
von: Жук, Г.В.
Veröffentlicht: (2025)

Квантові технології в Україні: розвиток і застосування (стенограма доповіді на засіданні Президії НАН України 2 липня 2025 р.)
von: Семенов, А.О.
Veröffentlicht: (2025)

Геоекономічне зростання Китаю у сучасному світі (стенограма наукової доповіді на засіданні Президії НАН України 22 лютого 2017 р.)
von: Кіктенко, В.О.
Veröffentlicht: (2017)

Наукові засади кібербезпеки об’єктів критичної інфраструктури (стенограма доповіді на засіданні Президії НАН України 9 лютого 2022 р.)
von: Летичевський, О.О.
Veröffentlicht: (2022)

Функціональні феромагнітні оксидні матеріали: особливості синтезу та застосування (стенограма доповіді на засіданні Президії НАН України 18 червня 2025 р.)
von: Солопан, С.О.
Veröffentlicht: (2025)

Сучасні методи комп'ютерного моделювання для дослідження речовини: від фізичних характеристик до медичного застосування (стенограма доповіді на засіданні Президії НАН України 19 березня 2025 р.)
von: Оковитий, С.І.
Veröffentlicht: (2025)

"Довголіття-Кардіо": інноваційний досвід імплантації клапанів серця (стенограма наукової доповіді на засіданні Президії НАН України 22 лютого 2017 р.)
von: Ємець, І.М.
Veröffentlicht: (2017)

Про Національну доповідь НАН України "Євроатлантичний вектор України" (стенограма доповіді на засіданні Президії НАН України 26 лютого 2020 р.)
von: Пирожков, С.І.
Veröffentlicht: (2020)

Інноваційні підходи до переробки радіоактивних відходів об’єктів ядерно-паливного циклу з метою досягнення цілей сталого розвитку держави (стенограма доповіді на засіданні Президії НАН України 5 лютого 2025 р.)
von: Забулонов, Ю.Л.
Veröffentlicht: (2025)

Про підготовку "Української літературної енциклопедії" у 5 томах (стенограма наукової доповіді на засіданні Президії НАН України 14 лютого 2018 р.)
von: Жулинський, М.Г.
Veröffentlicht: (2018)

Атлас "Населення України та його природна і культурна спадщина" (стенограма доповіді на засіданні Президії НАН України 3 лютого 2021 р.)
von: Руденко, Л.Г.
Veröffentlicht: (2021)

Низькотемпературні аспекти квантових технологій: стан і перспективи інноваційного розвитку (стенограма наукової доповіді на засіданні Президії НАН України 2 квітня 2025 р.)
von: Долбин, О.В.
Veröffentlicht: (2025)

Відновлювані джерела енергії та їх використання для систем розподіленої генерації (стенограма доповіді на засіданні Президії НАН України 16 липня 2025 р.)
von: Кузнєцов, М.П.
Veröffentlicht: (2025)

Цитоскелет як внутрішньоклітинний регулятор і мішень для біологічно активних сполук (стенограма доповіді на засіданні Президії НАН України 2 липня 2025 р.)
von: Ємець, А.І.
Veröffentlicht: (2025)

Із зали засідань Президії НАН України (5 лютого 2025 р.)
Veröffentlicht: (2025)

Із зали засідань Президії НАН України (19 лютого 2025 р.)
Veröffentlicht: (2025)

Новітня технологія довготривалого зберігання інформації на сапфірових оптичних дисках (стенограма спільної доповіді на засіданні Президії НАН України 12 лютого 2014 р.)
von: Петров, В.В., et al.
Veröffentlicht: (2014)

Перспективи зниження вмісту платинових металів у каталізаторах гідрування органічних сполук (стенограма доповіді на засіданні Президії НАН України 22 лютого 2023 р.)
von: Колотілов, С.В.
Veröffentlicht: (2023)

Регуляторні платформи як інструмент підвищення інноваційної активності в ЄС та Україні (стенограма доповіді на засіданні Президії НАН України 16 липня 2025 р.)
von: Устименко, В.А.
Veröffentlicht: (2025)

Каховське водосховище після катастрофи: сучасний стан, виклики та стратегія відновлення (стенограма наукової доповіді на засіданні Президії НАН України 16 квітня 2025 р.)
von: Осадчий, В.І.
Veröffentlicht: (2025)

Проблеми формування змісту історичної освіти в Україні: інтеграція науки і освіти (стенограма доповіді на засіданні Президії НАН України 23 лютого 2022 р.)
von: Удод, О.А.
Veröffentlicht: (2022)

Про підсумки виконання програми інформатизації НАН України у 2015–2019 роках (стенограма доповіді на засіданні Президії НАН України 12 лютого 2020 р.)
von: Андон, П.І.
Veröffentlicht: (2020)

Сучасні дослідження раннього періоду розвитку людства на теренах Східної Європи (стенограма наукової доповіді на засіданні Президії НАН України 8 лютого 2017 р.)
von: Чабай, В.П.
Veröffentlicht: (2017)

Сучасний стан лісів в Україні: вплив глобального потепління та російської агресії (стенограма наукової доповіді на засіданні Президії НАН України 16 квітня 2025 р.)
von: Ткач, В.П.
Veröffentlicht: (2025)

Фізико-хімічні основи створення нових функціональних матеріалів на основі оксидів рідкісноземельних елементів (стенограма доповіді на засіданні Президії НАН України 4 червня 2025 р.)
von: Корнієнко, О.А.
Veröffentlicht: (2025)

Збалансованість розвитку міст і регіонів України: довоєнний вимір та орієнтири післявоєнної відбудови (стенограма доповіді на засіданні Президії НАН України 8 січня 2025 р.)
von: Лісовський, С.А.
Veröffentlicht: (2025)

Нові технології і методи теплоенергопостачання в комунальній енергетиці (стенограма доповіді на засіданні Президії НАН України 5 жовтня 2022 р.)
von: Снєжкін, Ю.Ф.
Veröffentlicht: (2022)

Про стан та перспективи розвитку сейсмічних досліджень для захисту від землетрусів (стенограма наукової доповіді на засіданні Президії НАН України 17 лютого 2016 р.)
von: Кендзера, О.В.
Veröffentlicht: (2016)

Математичні моделі та методи динаміки рідини в рухомих резервуарах (стенограма доповіді на засіданні Президії НАН України 12 січня 2022 р.)
von: Тимоха, О.М.
Veröffentlicht: (2022)

Спадщина Г. С. Сковороди і сучасність (до 300-річчя від дня народження) (стенограма наукової доповіді на засіданні Президії НАН України 26 лютого 2020 р.)
von: Єрмоленко, А.М.
Veröffentlicht: (2020)

Фізичне матеріалознавство функціональних сплавів із пам’яттю форми та технологічні рішення для промисловості України (стенограма доповіді на засіданні Президії НАН України 4 червня 2025 р.)
von: Фірстов, Г.С.
Veröffentlicht: (2025)

Полімери спеціального призначення (стенограма доповіді на засіданні Президії НАН України 29 вересня 2021 р.)
von: Бровко, О.О.
Veröffentlicht: (2021)

Щодо повоєнного відродження України (стенограма доповіді на засіданні Президії НАН України 14 грудня 2022 р.)
von: Лібанова, Е.М.
Veröffentlicht: (2023)

Магнітне поле Землі: екологічний аспект (за матеріалами доповіді на засіданні Президії НАН України 21 лютого 2024 р.)
von: Орлюк, М.І.
Veröffentlicht: (2024)

Моделі та методи штучного інтелекту в задачах керування рухом космічних апаратів (стенограма доповіді на засіданні Президії НАН України 4 вересня 2024 р.)
von: Хорошилов, С.В.
Veröffentlicht: (2024)