Метод извлечения логики поведения из промышленного программного кода на языке Кобол
Цель работы – разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка Кобол. Разработана экспериментальная система, реализующая предложенные методы...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2016 |
| Main Authors: | Губа, А.А., Колчин, А.В., Потиенко, С.В. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/126386 |
| 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: | Метод извлечения логики поведения из промышленного программного кода на языке Кобол / А.А. Губа, А.В. Колчин, С.В. Потиенко // Проблеми програмування. — 2016. — № 2-3. — С. 17-25. — Бібліогр.: 14 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
by: Резниченко, В.А., et al.
Published: (2015)
by: Резниченко, В.А., et al.
Published: (2015)
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
by: Колчин, А.В.
Published: (2008)
by: Колчин, А.В.
Published: (2008)
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
by: Потиенко, С.В.
Published: (2008)
by: Потиенко, С.В.
Published: (2008)
Генерація багатоцільових формальних моделей із успадкованого коду
by: Потієнко, С.В., et al.
Published: (2022)
by: Потієнко, С.В., et al.
Published: (2022)
Формалізований метод проектування застосувань в технології GPGPU
by: Кривий, С.Л., et al.
Published: (2018)
by: Кривий, С.Л., et al.
Published: (2018)
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
by: Панченко, Т.В.
Published: (2008)
by: Панченко, Т.В.
Published: (2008)
Аспекты моделирования в системе Гомеопат
by: Провотар, А.А., et al.
Published: (2012)
by: Провотар, А.А., et al.
Published: (2012)
О методе проектирования абстрактного типа данных в алгебре алгоритмики
by: Дорошенко, А.Е., et al.
Published: (2012)
by: Дорошенко, А.Е., et al.
Published: (2012)
О некоторых подходах к вычислению неопределенностей
by: Провотар, А.И., et al.
Published: (2010)
by: Провотар, А.И., et al.
Published: (2010)
Объектно-компонентная разработка изменяемых программных систем
by: Лаврищева, Е.М., et al.
Published: (2016)
by: Лаврищева, Е.М., et al.
Published: (2016)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)
by: Новокшонов, А.К.
Published: (2016)
Описание списков и множеств в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2020)
by: Кургаев, А.Ф.
Published: (2020)
Дослідження паралельного алгоритму побудови діаграми Вороного на площині
by: Березовський, К.А.
Published: (2009)
by: Березовський, К.А.
Published: (2009)
Керування синтезом нейронних мереж
by: Катеринич, Л.А.
Published: (2009)
by: Катеринич, Л.А.
Published: (2009)
Аналітичний огляд підходів до інтеграції програмних систем
by: Дивак, Ю.А.
Published: (2021)
by: Дивак, Ю.А.
Published: (2021)
Мультимножества: обзор библиографии, построение решетки мультимножеств
by: Богатырева, Ю.А.
Published: (2010)
by: Богатырева, Ю.А.
Published: (2010)
Актуальные проблемы современной арифметики с плавающей запятой
by: Ющенко, Р.А.
Published: (2012)
by: Ющенко, Р.А.
Published: (2012)
Формализация: алгоритмический подход
by: Провотар, А.И.
Published: (2008)
by: Провотар, А.И.
Published: (2008)
Модификация метаязыка нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2019)
by: Кургаев, А.Ф.
Published: (2019)
Возведение в степень n и вычисление корня степени n больших чисел на основе рекуррентных соотношений
by: Терещенко, А.Н.
Published: (2015)
by: Терещенко, А.Н.
Published: (2015)
Засіб вимірювання метрик вихідного коду FORTRAN за допомогою синтаксичного аналізу
by: Покровський, А.М.
Published: (2021)
by: Покровський, А.М.
Published: (2021)
О структурних элементах компонентной сети Петри
by: Лукьянова, Е.А.
Published: (2012)
by: Лукьянова, Е.А.
Published: (2012)
Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
by: Хіміч, О.М., et al.
Published: (2020)
by: Хіміч, О.М., et al.
Published: (2020)
Полнота алгебры алгоритмов с данными
by: Акуловский, В.Г., et al.
Published: (2016)
by: Акуловский, В.Г., et al.
Published: (2016)
Концептуальні моделі розподілених компонентних систем
by: Лавріщева, К.М., et al.
Published: (2013)
by: Лавріщева, К.М., et al.
Published: (2013)
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
Согласованное описание алгоритмов в рамках алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2014)
by: Акуловский, В.Г., et al.
Published: (2014)
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
by: Дорошенко, А.Е., et al.
Published: (2011)
by: Дорошенко, А.Е., et al.
Published: (2011)
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
by: Резниченко, В.А., et al.
Published: (2016)
by: Резниченко, В.А., et al.
Published: (2016)
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
n- исчисление – реалистичная формализация класса переписывающих систем
by: Шевченко, Р.С., et al.
Published: (2011)
by: Шевченко, Р.С., et al.
Published: (2011)
Построение и преобразование операций и некоторых алгоритмических конструкций алгебры алгоритмов с данными
by: Дорошенко, А.Е., et al.
Published: (2011)
by: Дорошенко, А.Е., et al.
Published: (2011)
Двохкомпонентні алгоритми сортування
by: Шинкаренко, В.І., et al.
Published: (2022)
by: Шинкаренко, В.І., et al.
Published: (2022)
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
by: Дорошенко, А.Е., et al.
Published: (2007)
by: Дорошенко, А.Е., et al.
Published: (2007)
Management of the coordination process in socio-technical system
by: Girchenko, L.A., et al.
Published: (2020)
by: Girchenko, L.A., et al.
Published: (2020)
Композиційно-номінативні логіки з операторами нерухомої точки
by: Нікітченко, М.С., et al.
Published: (2008)
by: Нікітченко, М.С., et al.
Published: (2008)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2019)
by: Нікітченко, М.С., et al.
Published: (2019)
Програмування в обмеженнях у системі інсерційного моделювання
by: Летичевський, О.А., et al.
Published: (2011)
by: Летичевський, О.А., et al.
Published: (2011)
Дефинитологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2012)
by: Редько, В.Н., et al.
Published: (2012)
Insertion modeling in distributed system design
by: Letichevsky, A.A., et al.
Published: (2008)
by: Letichevsky, A.A., et al.
Published: (2008)
Similar Items
-
Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
by: Резниченко, В.А., et al.
Published: (2015) -
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
by: Колчин, А.В.
Published: (2008) -
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
by: Потиенко, С.В.
Published: (2008) -
Генерація багатоцільових формальних моделей із успадкованого коду
by: Потієнко, С.В., et al.
Published: (2022) -
Формалізований метод проектування застосувань в технології GPGPU
by: Кривий, С.Л., et al.
Published: (2018)