Перегляд за автором "Максимец, А.Н."

Результати 1-7 з 7

Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками

Гломозда, Д.К.; Глибовец, Н.Н.; Максимец, А.Н. (Кибернетика и системный анализ, 2018)

Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет ...
Верификация программ: состояние, проблемы, результаты. I

Крывый, С.Л.; Максимец, А.Н. (Кибернетика и системный анализ, 2013)

Представлено аналiтичний огляд сучасних методiв верифiкацiї програмного забезпечення послiдовних, функцiональних, паралельних та розподiлених систем. Основну увагу придiлено методам верифiкацiї на основi властивостей ...
Верификация программ: состояние, проблемы, результаты. II

Крывый, С.Л.; Максимец, А.Н. (Кибернетика и системный анализ, 2014)

Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных ...
Верификация программ: состояние, проблемы, экспериментальные результаты. I

Максимец, А.Н. (Проблеми програмування, 2013)

Представлен углубленный обзор проблем верификации программного обеспечения. Рассмотрены методы верификации реактивных и функциональных систем. Даны основные определения для представления и анализа программ. Приведено краткое ...
Верификация программ: состояние, проблемы, экспериментальные результаты. II

Максимец, А.Н. (Проблеми програмування, 2014)

Рассматриваются алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приводится краткий обзор таких методов и примеры для иллюстрации ...
Поиск программных инвариантов в виде полиномов

Максимец, А.Н. (Доповіді НАН України, 2013)

Представлено решение проблемы поиска инвариантов программ в виде полиномиальных зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и ...
Разработка и обоснование алгоритмов на основе семантических свойств

Крывый, С.Л.; Максимец, А.Н. (Проблеми програмування, 2014)

Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма.

Результати 1-7 з 7

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Максимец, А.Н."

Репозиторій DSpace/Manakin

Перегляд за автором "Максимец, А.Н."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис