Інструментальні засоби верифікації моделей програмного забезпечення

Богдан, І. В.; Слівко, К. С.; Литвинов, В. В.

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