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

Генерація багатоцільових формальних моделей із успадкованого коду

У роботі запропоновано метод генерації формальних моделей із коду успадкованих систем. Призначення таких моделей полягає в можливості застосування в різних задачах, таких як автоматична генерація виконуваних тестів, трансляція в сучасні мови програмування, зворотня інженерія. Робота переслідує цілі...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2022
Автори:	Потієнко, С.В., Колчин, О.В.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2022
Теми:	Теоретичні і методологічні основи програмування
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/188627
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Генерація багатоцільових формальних моделей із успадкованого коду / С.В. Потієнко, О.В. Колчин // Проблеми програмування. — 2022. — № 3-4. — С. 42-50. — Бібліогр.: 16 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Про локальну коректність формальних визначень
за авторством: Провотар, О.І.
Опубліковано: (2006)

Засіб вимірювання метрик вихідного коду FORTRAN за допомогою синтаксичного аналізу
за авторством: Покровський, А.М.
Опубліковано: (2021)

Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
за авторством: Колчин, А.В.
Опубліковано: (2008)

Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2016)

Метод извлечения логики поведения из промышленного программного кода на языке Кобол
за авторством: Губа, А.А., та інші
Опубліковано: (2016)

Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2014)

Двохкомпонентні алгоритми сортування
за авторством: Шинкаренко, В.І., та інші
Опубліковано: (2022)

Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2022)

Information resources distribution between automated workstations in local corporative networks
за авторством: Pursky, O.I., та інші
Опубліковано: (2022)

NP-трудность задач оптимизации коллективного преследования
за авторством: Пашко, С.В.
Опубліковано: (2014)

Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
за авторством: Потиенко, С.В.
Опубліковано: (2008)

Виникнення та інтерпретація тризначних логік Кліні
за авторством: Шишацька, О.В.
Опубліковано: (2010)

Про нові методи опису невизначених величин
за авторством: Провотар, О.І., та інші
Опубліковано: (2012)

Семантичні властивості п’ятизначних логік
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)

Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
за авторством: Крывый, С.Л., та інші
Опубліковано: (2008)

Темпоральні процедури та алгоритми
за авторством: Зубенко, В.В.
Опубліковано: (2006)

Дефинитологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2012)

Программологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2008)

Дескриптологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2010)

Конструкционно-продукционная модель структур данных на логическом уровне
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2014)

Дескриптивные системы: концептуальный базис
за авторством: Редько, В.Н., та інші
Опубліковано: (2006)

Структурний підхід до проблеми відтворення граматик
за авторством: Ільман, В.М., та інші
Опубліковано: (2007)

Конструктивное представление множественных объектов и их свойства
за авторством: Ильман, В.М., та інші
Опубліковано: (2014)

DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
за авторством: Колесник, В.Г.
Опубліковано: (2015)

К-значная логика в расширенной алгебре алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2008)

Особливості практичного застосування показників обчислювальної складності алгоритмів
за авторством: Шинкаренко, В.І.
Опубліковано: (2008)

DS-теория. Исследование факторов форматирования Р-данных
за авторством: Колесник, В.Г.
Опубліковано: (2016)

DS-теория. Представление канонического алгоритма с помощью алгоритмического языка
за авторством: Колесник, В.Г.
Опубліковано: (2015)

DS-теория. Научные аспекты и перспективы развития
за авторством: Колесник, В.Г.
Опубліковано: (2017)

Экзистенциальный базис дескриптивных сред
за авторством: Редько, И.В.
Опубліковано: (2008)

Швидка або якісна розробка?
за авторством: Панченко, Т.В.
Опубліковано: (2014)

Программирование и интеллект
за авторством: Мейтус, В.Ю.
Опубліковано: (2009)

Расширенная алгебра алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2007)

Функциональная эффективность нечетко специфицированных алгоритмов
за авторством: Шинкаренко, В.И.
Опубліковано: (2006)

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
за авторством: Панченко, Т.В.
Опубліковано: (2008)

Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
за авторством: Шинкаренко, В.И.
Опубліковано: (2006)

DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2
за авторством: Колесник, В.Г.
Опубліковано: (2015)

Основы алгебры алгоритмов, базирующейся на данных
за авторством: Акуловский, В.Г.
Опубліковано: (2010)

Интенсиональные основания дескриптивных сред
за авторством: Редько, И.В.
Опубліковано: (2006)

Прагматические основания дескриптивных сред
за авторством: Редько, И.В.
Опубліковано: (2005)