IRChNUT
Електронний архів Національного університету "Чернігівська політехніка"
Автоматизована система верифікації моделей об’єктно-орієнтованого програмного забезпечення
ISSN 2415-363X
JavaScript is disabled for your browser. Some features of this site may not work without it.
Показати скорочений опис матеріалу
| 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 |
