Технология настраиваемой генерации тестов по формальным спецификациям для встроенных приложений и программных интерфейсов, реализованных на Yava-подобных языках: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Карпов Андрей Николаевич

Сохранено в:
Шифр документа: 2//9294(039),
Вид документа: Авторефераты диссертаций
Автор: Карпов, А. Н.
Опубликовано: Санкт-Петербург , 2007
Физические характеристики: 18 с. : ил.
Язык: Русский
Предмет:
00000cam0a2200000 ia4500
001 BY-NLB-br0000034402
005 20170518145439.0
100 # # $a 20070326d2007 k y0rusy50 ||||ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a a m 000yy 
109 # # $a ac  $a aa 
200 1 # $a Технология настраиваемой генерации тестов по формальным спецификациям для встроенных приложений и программных интерфейсов, реализованных на Yava-подобных языках  $e автореферат диссертации на соискание ученой степени кандидата технических наук  $e 05.13.11  $f Карпов Андрей Николаевич  $g [Санкт-Петербургский государственный политехнический университет] 
210 # # $a Санкт-Петербург  $d 2007 
215 # # $a 18 с.  $c ил. 
320 # # $a Библиография: с. 18 (8 назв.) 
606 0 # $3 BY-NLB-ar25502  $a ПРИКЛАДНЫЕ ПРОГРАММЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar80955  $a ЯЗЫКИ ПРОГРАММИРОВАНИЯ ВЫСОКОГО УРОВНЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2937849  $a ТЕСТИРОВАНИЕ ПРОГРАММ  $2 DVNLB 
606 0 # $3 BY-NLB-ar7080  $a ТРАНСЛЯЦИЯ (программирование)  $2 DVNLB 
606 0 # $3 BY-NLB-ar25725  $a ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar12014  $a ИНТЕРФЕЙСЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar84817  $a МОБИЛЬНЫЕ ТЕЛЕФОНЫ  $2 DVNLB 
616 # # $3 BY-NLB-ar990  $a JAVA  $c программный продукт  $2 BYVTM 
686 # # $a 50.41.25  $v 5  $2 rugasnti 
686 # # $a 50.41.01  $v 5  $2 rugasnti 
686 # # $a 50.05.09  $v 5  $2 rugasnti 
686 # # $a 49.39.33  $v 5  $2 rugasnti 
686 # # $a 05.13.11  $2 oksvnk 
700 # 1 $3 BY-SEK-136403  $a Карпов  $b А. Н.  $g Андрей Николаевич 
801 # 0 $a BY  $b BY-HM0000  $c 20070326  $g psbo