Литвинов, В. В.; Богдан, І. В.
(Чернігів: ЧНТУ, 2015)
Обґрунтовано необхідність створення інструментального засобу верифікації моделей об’єктно-орієнтованого програмного забезпечення, який би максимально точно виконував оцінювання коректності UML-діаграм. Запропоновано ...