1. Електронний репозиторій Чернігівського Національного Технологічного Університету
  2. ПЕРІОДИЧНІ ВИДАННЯ НУ «Чернігівська політехніка»
  3. Вісник Чернігівського державного технологічного університету. Серія "Технічні науки"
  4. 2013
  5. №2(65)
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ir.stu.cn.ua/123456789/7297
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorЛитвинов, В. В.
dc.contributor.authorБогдан, І. В.
dc.contributor.authorСлівко, К. С.
dc.date.accessioned2015-09-22T12:38:53Z
dc.date.accessioned2015-10-23T23:08:00Z
dc.date.available2015-09-22T12:38:53Z
dc.date.available2015-10-23T23:08:00Z
dc.date.issued2013
dc.identifier.uri
dc.identifier.urihttp://ir.stu.cn.ua/123456789/7297
dc.descriptionЛитвинов, В. В. Інструментальні засоби верифікації моделей програмного забезпечення / В. В. Литвинов, І. В. Богдан, К. С. Слівко // Вісник Чернігівського державного технологічного університету. Серія: Технічні науки. - 2013. – №2 (65). – C. 120-125.en_US
dc.description.abstractОбґрунтовано необхідність перевірки правильності діаграм на етапі проектування програмного забезпечення. Розглянуто найбільш відомі засоби, що дозволяють проводити верифікацію UML-діаграм. Проведене порівняльне оцінювання існуючих засобів. Основними критеріями оцінювання є відкритість коду, точність перевірки, кількість задіяних методів верифікації.en_US
dc.language.isoruen_US
dc.publisherЧернігів: ЧНТУen_US
dc.relation.ispartofseriesТехнічні науки; №2 (65)
dc.titleІнструментальні засоби верифікації моделей програмного забезпеченняen_US
dc.typeArticleen_US
Розташовується у зібраннях:Богдан І. В.: наукові статті
Богдан І. В.: наукові статті
№2(65)

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


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