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

  Завантажити