Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ir.stu.cn.ua/123456789/7494
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorЛитвинов, В. В.
dc.contributor.authorБогдан, І. В.
dc.date.accessioned2015-09-22T12:38:53Z
dc.date.accessioned2015-10-26T23:06:44Z
dc.date.available2015-09-22T12:38:53Z
dc.date.available2015-10-26T23:06:44Z
dc.date.issued2015
dc.identifier.uri
dc.identifier.urihttp://ir.stu.cn.ua/123456789/7494
dc.descriptionЛитвинов, В. В. Автоматизована система верифікації моделей об’єктно-орієнтованого програмного забезпечення / В .В. Литвинов, І. В. Богдан // Вісник Чернігівського державного технологічного університету. Серія: Технічні науки. - 2015. – №1 (77). – C. 83-90.en_US
dc.description.abstractОбґрунтовано необхідність створення інструментального засобу верифікації моделей об’єктно-орієнтованого програмного забезпечення, який би максимально точно виконував оцінювання коректності UML-діаграм. Запропоновано автоматизовану систему верифікації моделей об’єктно-орієнтованого програмного забезпечення, яка дозволяє виконувати верифікацію кожної з UML-діаграми, що входить до складу моделі, декількома методами.en_US
dc.language.isoruen_US
dc.publisherЧернігів: ЧНТУen_US
dc.relation.ispartofseriesТехнічні науки; №1 (77)
dc.titleАвтоматизована система верифікації моделей об’єктно-орієнтованого програмного забезпеченняen_US
dc.typeArticleen_US
Розташовується у зібраннях:Богдан І. В.: наукові статті
Богдан І. В.: наукові статті
Литвинов В. В.: наукові статті
№1(77)

Файли цього матеріалу:
Файл Опис РозмірФормат 
1352.pdfстаття611,3 kBAdobe PDFПереглянути/Відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.