Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://ir.stu.cn.ua/123456789/7494
Назва: | Автоматизована система верифікації моделей об’єктно-орієнтованого програмного забезпечення |
Автори: | Литвинов, В. В. Богдан, І. В. |
Дата публікації: | 2015 |
Видавництво: | Чернігів: ЧНТУ |
Серія/номер: | Технічні науки; №1 (77) |
Короткий огляд (реферат): | Обґрунтовано необхідність створення інструментального засобу верифікації моделей об’єктно-орієнтованого програмного забезпечення, який би максимально точно виконував оцінювання коректності UML-діаграм. Запропоновано автоматизовану систему верифікації моделей об’єктно-орієнтованого програмного забезпечення, яка дозволяє виконувати верифікацію кожної з UML-діаграми, що входить до складу моделі, декількома методами. |
Опис: | Литвинов, В. В. Автоматизована система верифікації моделей об’єктно-орієнтованого програмного забезпечення / В .В. Литвинов, І. В. Богдан // Вісник Чернігівського державного технологічного університету. Серія: Технічні науки. - 2015. – №1 (77). – C. 83-90. |
URI (Уніфікований ідентифікатор ресурсу): | http://ir.stu.cn.ua/123456789/7494 |
Розташовується у зібраннях: | Богдан І. В.: наукові статті Богдан І. В.: наукові статті Литвинов В. В.: наукові статті №1(77) |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
1352.pdf | стаття | 611,3 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.