Abstract:
Обґрунтовано необхідність створення інструментального засобу верифікації моделей об’єктно-орієнтованого програмного забезпечення, який би максимально точно виконував оцінювання коректності UML-діаграм. Запропоновано автоматизовану систему верифікації моделей об’єктно-орієнтованого програмного забезпечення, яка дозволяє виконувати верифікацію кожної з UML-діаграми, що входить до складу моделі, декількома методами.
Description:
Литвинов, В. В. Автоматизована система верифікації моделей об’єктно-орієнтованого програмного забезпечення / В .В. Литвинов, І. В. Богдан // Вісник Чернігівського державного технологічного університету. Серія: Технічні науки. - 2015. – №1 (77). – C. 83-90.