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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	Вісник НАН України
Дата:	2025
ISSN:	1027-3239
Автор:	Дорошенко, А.Ю.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 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

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

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

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

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

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

Формальні та адаптивні методи й інструментальні засоби паралельного програмування
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)

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

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

Розвиток низькочастотної радіоастрономії в Україні (стенограма доповіді на засіданні Президії НАН України 5 листопада 2025 р.)
за авторством: Захаренко, В.В.
Опубліковано: (2026)

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

Формальні нейронні структури
за авторством: Ільман, В.М., та інші
Опубліковано: (2012)

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

Про результати виконання цільового науково-технічного проєкту НАН України "Створення і впровадження інфраструктури відкритої науки в НАН України (OPENS)" на 2023—2024 роки (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.)
за авторством: Хіміч, О.М.
Опубліковано: (2025)

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

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

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

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

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

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

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

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

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

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

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

Про підсумки діяльності Секції хімічних і біологічних наук НАН України у 2020—2025 рр. (стенограма доповіді на засіданні Президії НАН України 24 вересня 2025 р.)
за авторством: Кошечко, В.Г.
Опубліковано: (2025)

Про підсумки діяльності Секції суспільних і гуманітарних наук НАН України у 2020—2025 рр. (стенограма доповіді на засіданні Президії НАН України 24 вересня 2025 р.)
за авторством: Пирожков, С.І.
Опубліковано: (2025)

Електронно-променеві технології отримання та зварювання титанових сплавів нового покоління для потреб оборони та медицини (стенограма доповіді на засіданні Президії НАН України 19 листопада 2025 р.)
за авторством: Ахонін, С.В.
Опубліковано: (2026)

Про підсумки діяльності Секції фізико-технічних і математичних наук НАН України у 2020—2025 рр. (стенограма доповіді на засіданні Президії НАН України 17 вересня 2025 р.)
за авторством: Богданов, В.Л.
Опубліковано: (2025)

Категорії як формальні моделі обчислень
за авторством: Provotar, Oleksandr, та інші
Опубліковано: (2023)

Мовний ландшафт Балкан початку ХХІ століття: уроки для України (стенограма доповіді на засіданні Президії НАН України 22 жовтня 2025 р.)
за авторством: Ярмак, В.І.
Опубліковано: (2025)

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

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

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

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

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

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

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

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

Екоцид природного середовища України внаслідок російської агресії (за матеріалами доповіді на засіданні Президії НАН України 19 листопада 2025 р.)
за авторством: Ходосовцев, О.Є.
Опубліковано: (2026)

Про основні положення Національної доповіді «Українське суспільство: міграційний вимір» (стенограма наукової доповіді на засіданні Президії НАН України 19 грудня 2018 р.)
за авторством: Лібанова, Е.М.
Опубліковано: (2019)

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