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 |