Отрывок:
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Варламова Е. П. | ru |
dc.coverage.spatial | синтетический метод верификации | ru |
dc.coverage.spatial | тестирование программного обеспечения | ru |
dc.coverage.spatial | построение верификатора бизнес-процессов | ru |
dc.coverage.spatial | прогон тестовых сценариев | ru |
dc.coverage.spatial | Model Checking | ru |
dc.creator | Варламова Е. П. | ru |
dc.date.issued | 2016 | ru |
dc.identifier | Dspace\SGAU\20161202\60538 | ru |
dc.identifier.citation | Варламова, Е. П. Верификация в тестировании программного обеспечения / Е. П. Варламова // Перспективные информационные технологии (ПИТ 2016) [Электронный ресурс] = Advanced information technologies and scientific computing : Междунар. науч.-техн. конф., 26 – 28 апреля 2016 г.. : сб. науч. тр. / М-во образования и науки РФ, Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т), Междунар. обществ. орг. Акад. навигации и упр. движением (Самар. отд-ние), Самар. регион. отд-ние науч. совета по проблемам методологии искусств. интеллекта РА ; [редкол.: Прохоров С. А. (гл. ред.) и др.]. - Самара : Издательство Самарского научного центра РАН, 2016. - С. 845-848. | ru |
dc.source | Перспективные информационные технологии (ПИТ 2016) [Электронный ресурс] : Междунар. науч.-техн. конф., 26 – 28 апреля 2016 г. : сб. науч. тр. | ru |
dc.title | Верификация в тестировании программного обеспечения | ru |
dc.type | Text | ru |
dc.citation.epage | 848 | ru |
dc.citation.spage | 845 | ru |
Располагается в коллекциях: | Перспективные информационные технологии |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
pit_2016_845-848.pdf | Основная статья | 152.57 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.