Литвинов, В. В.; Богдан, І. В.; Слівко, К. С.
(Чернігів: ЧНТУ, 2013)
Обґрунтовано необхідність перевірки правильності діаграм на етапі проектування програмного забезпечення. Розглянуто найбільш відомі засоби, що дозволяють проводити верифікацію UML-діаграм. Проведене порівняльне оцінювання ...