Короткий опис(реферат):
Обґрунтовано необхідність перевірки правильності діаграм на етапі проектування програмного забезпечення. Розглянуто найбільш відомі засоби, що дозволяють проводити верифікацію UML-діаграм. Проведене порівняльне оцінювання існуючих засобів. Основними критеріями оцінювання є відкритість коду, точність перевірки, кількість задіяних методів верифікації.
Суть розробки, основні результати:
Литвинов, В. В. Інструментальні засоби верифікації моделей програмного забезпечення / В. В. Литвинов, І. В. Богдан, К. С. Слівко // Вісник Чернігівського державного технологічного університету. Серія: Технічні науки. - 2013. – №2 (65). – C. 120-125.