Пошук академічних текстів

Інформація × Реєстраційний номер 0406U002017, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 27-04-2006 Статус Запланована Назва роботи Композиційні методи специфікації та верифікації програмних систем Здобувач Панченко Тарас Володимирович, Керівник Нікітченко Микола Степанович Опонент Лавріщева Катерина Михайлівна Опонент Глибовець Микола Миколайович Опис У дисертаційній роботі досліджено проблеми специфікації та верифікації прагматично важливих класів програмних систем методами композиційного програмування. Розроблено композиційні моделі та мови для специфікації програмних систем зі структурованими даними, виконано комплексний аналіз та розподіл структур даних і функцій над ними по рівнях абстракції. Доведено репрезентативну повноту номінативних даних комплексно-номінативного рівня. Розроблено композиційні методи для верифікації систем спеціального класу - моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом в режимі почергового виконання з переключенням із взаємодією через спільну пам'ять. Сформульовано два варіанти часткової коректності програм на введених композиційних мовах та запропоновано методологію верифікації, що включає метод з лінійною складністю замість експоненційної. Ключові слова: композиційне програмування, композиційно-номінативні системи, специфікація програмних систем, верифікація програм, моделі програм, модель виконання, доведення властивостей, часткова коректність, паралельне програмування, інваріант, транзиційні системи. Дата реєстрації 2006-04-27 Додано в НРАТ 2020-04-04 Закрити