ИССЛЕДОВАНИЕ НЕОБХОДИМОСТИ ИСПОЛЬЗОВАНИЯ ВЕРИФИКАЦИИ ПРОГРАММ

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ir.nmu.org.ua/handle/123456789/1856

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Нещадым, Валентин Андреевич	-
dc.contributor.author	Шевцова, О.С.	-
dc.date.accessioned	2013-06-11T13:44:46Z	-
dc.date.available	2013-06-11T13:44:46Z	-
dc.date.issued	2013	-
dc.identifier.uri	http://ir.nmu.org.ua/handle/123456789/1856	-
dc.description.abstract	Обеспечение высокой надежности и безошибочности программ — одна из главных задач индустрии информационных технологий. Использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать качество программ.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	ДВНЗ "НГУ" ТОВ "САЛВЕЙ"	uk_UA
dc.subject	верификация программ	uk_UA
dc.subject	ПО	uk_UA
dc.subject	метод формальной верификаци	uk_UA
dc.title	ИССЛЕДОВАНИЕ НЕОБХОДИМОСТИ ИСПОЛЬЗОВАНИЯ ВЕРИФИКАЦИИ ПРОГРАММ	uk_UA
dc.type	Article	uk_UA
dc.identifier.udk	004.415	uk_UA
Располагается в коллекциях:	V Всеукраїнська конференція "ІТБтаЗ" - 04 квітня 2013 р.

Файлы этого ресурса:

Файл	Описание	Размер	Формат
varification tools.pdf		158,85 kB	Adobe PDF	Просмотреть/Открыть

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.

DSpace JSPUI