Зображення обкладинки

Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 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

Схожі ресурси

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

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

Формальні методи розпаралелювання алгоритму Тар'яна
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2008)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Із зали засідань Президії НАН України (5 лютого 2025 р.)
Опубліковано: (2025)

Із зали засідань Президії НАН України (19 лютого 2025 р.)
Опубліковано: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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