Показати скорочений опис матеріалу
dc.contributor.author | Литвинов, В. В.![]() |
|
dc.contributor.author | Богдан, І. В.![]() |
|
dc.contributor.author | Слівко, К. С.![]() |
|
dc.date.accessioned | 2015-09-22T12:38:53Z | |
dc.date.accessioned | 2015-10-23T23:08:00Z | |
dc.date.available | 2015-09-22T12:38:53Z | |
dc.date.available | 2015-10-23T23:08:00Z | |
dc.date.issued | 2013 | |
dc.identifier.uri | ||
dc.identifier.uri | http://ir.stu.cn.ua/123456789/7297 | |
dc.description | Литвинов, В. В. Інструментальні засоби верифікації моделей програмного забезпечення / В. В. Литвинов, І. В. Богдан, К. С. Слівко // Вісник Чернігівського державного технологічного університету. Серія: Технічні науки. - 2013. – №2 (65). – C. 120-125. | en_US |
dc.description.abstract | Обґрунтовано необхідність перевірки правильності діаграм на етапі проектування програмного забезпечення. Розглянуто найбільш відомі засоби, що дозволяють проводити верифікацію UML-діаграм. Проведене порівняльне оцінювання існуючих засобів. Основними критеріями оцінювання є відкритість коду, точність перевірки, кількість задіяних методів верифікації. | en_US |
dc.language.iso | ru | en_US |
dc.publisher | Чернігів: ЧНТУ | en_US |
dc.relation.ispartofseries | Технічні науки; №2 (65) | |
dc.title | Інструментальні засоби верифікації моделей програмного забезпечення | en_US |
dc.type | Article | en_US |