dc.contributor.author |
Литвинов, В. В.
|
|
dc.contributor.author |
Богдан, І. В.
|
|
dc.date.accessioned |
2015-09-22T12:38:53Z |
|
dc.date.accessioned |
2015-10-26T23:06:44Z |
|
dc.date.available |
2015-09-22T12:38:53Z |
|
dc.date.available |
2015-10-26T23:06:44Z |
|
dc.date.issued |
2015 |
|
dc.identifier.uri |
|
|
dc.identifier.uri |
http://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.iso |
ru |
en_US |
dc.publisher |
Чернігів: ЧНТУ |
en_US |
dc.relation.ispartofseries |
Технічні науки; №1 (77) |
|
dc.title |
Автоматизована система верифікації моделей об’єктно-орієнтованого програмного забезпечення |
en_US |
dc.type |
Article |
en_US |