АР91-8692 Беляева, С. И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов [Текст] : автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / С. И. Беляева. - Н. Новгород, 1991. - 33 с. В надзаг.: Нижегород.политехн.ин-т. Библиогр.: с. 30-33(22 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР91-10240 Молин, А. В. Разработка полигона для испытания программ статистического анализа [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16:05.13.16 / А. В. Молин. - Новосибирск, 1991. - 17 с. : ил В надзаг.: Новосиб.электротехн.ин-т. Библиогр.: с. 16-17(14 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР99-2632 Черноножкин, С. К. Методы и инструменты метрической поддержки разработки качественных программ [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / С. К. Черноножкин. - Новосибирск, 1998. - 18 с. В надзаг. :Рос.АН. Сиб. отд-ние.Ин-т систем информатики им.А.П.Ершова. Библиогр.:с. 18(8 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР98-4947 Кудрин, К. А. Разработка методов автоматизированного тестирования программного обеспечения систем автоматизации эксперимента [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / К. А. Кудрин. - Самара, 1998. - 19 с. : ил. Библиогр.:с. 19(10 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР99-7385 Пинаев, Д. В. Методы и средства интегральной оценки тестированности программного проекта. Позволяющие управлять процессом разработки тестов [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Д. В. Пинаев. - СПб, 1998. - 18 с. : ил. Библиогр.:с. 17-18(7 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР00-5987 Фофанов, В. А. Внешнее тестирование интерфейсных библиотек (на примере интерфейса ASIS) [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. А. Фофанов. - М., 2000. - 15 с. В надзаг.: МГУ им.М.В.Ломоносова. Фак. вычислит. мат. и кибернетики. Библиогр.:с. 15 (6 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР00-10035 Куликова, Н. Л. Разработка и исследование логических методов тестирования программных комплексов в информационных системах [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.25.05 / Н. Л. Куликова. - М., 2000. - 20 с. Библиогр.:с. 19-20(10 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар03-11825 Никифорова, Н. Ю. Разработка и исследование методов и средств структурных испытаний программ [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Н. Ю. Никифорова. - Владивосток, 2003. - 18 с. : ил. Библиогр.: с. 17-18(14 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар04-2878 Петренко, А. К. Тестирование на основе формальных спецификаций в процессах разработки программных комплексов [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.11 / А. К. Петренко. - М., 2003. - 59 с. : ил. Библиогр.: с. 54-58.
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар04-6180 Епифанов, Н. А. Методы реализации регрессивного тестирования по расширенным тестовым набором [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Н. А. Епифанов. - СПб., 2003. - 19 с. : ил. Библиогр.: с. 19(6 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар04-8975 Посыпкин, М. А. Применение формальных методов для тестирования компиляторов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.19.11 / М. А. Посыпкин. - М., 2004. - 22 c. В надзаг.: Ин-т системного программирования Рос.АН. Библиогр.: с. 22(4 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар05-4964 Зеленский, В. П. Структурно-статистические методы обеспечения контролепригодности программных систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / В. П. Зеленский. - Н. Новгород, 2005. - 18 c. : ил. - Библиогр.: с. 17-18(12 назв.) В надзаг.: Нижегород. гос. техн. ун-т
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар06-7716 Хорошилов, А. В. Спецификация и тестирование компонентов с асинхронным интерфейсом [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / А. В. Хорошилов. - М., 2006. - 21 с. : ил. - Библиогр.: с. 21 (5 назв.). В надзаг.: Рос. АН, Ин-т систем. программирования
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар06-9592 Гриппа, Г. Л. Автоматизация тестирования программных приложений методом ключевых состояний [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Г. Л. Гриппа. - СПб., 2006. - 18 с. : ил. - Библиогр.: с. 18 (7 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар06-14557 Яковлев, Ю. А. Методы определения входных данных, обеспечивающих эффективное тестирование программ [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / Ю. А. Яковлев. - СПб., 2006. - 16 с : ил. - Библиогр.: с. 15-16(8 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар07-6119 Карпов, А. Н. Технологий настраиваемой генерации текстов по формальным спецификациям для встроенных приложений и программных интерфейсов, реализованных на Java-подобных языках [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. Н. Карпов. - СПб., 2007. - 18 с. - Библиогр.: с. 18. - 100 экз.
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар07-7227 Петров, К. В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / К. В. Петров. - СПб., 2007. - 19 с. : ил. - Библиогр.: с. 18-19 (5 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар08-871 Голубев, А. А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. А. Голубев. - СПб., 2007. - 18 с. : ил. - Библиогр.: с. 18(6 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар08-2263 Бурдонов, И. Б. Теория конформности для функционального тестирования программных систем на основе формальных моделей [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.11 / И. Б. Бурдонов. - М., 2007. - 44 с. - Библиогр.: с. 42-44(27 назв.) В надзаг.: Ин-т системного программирования Рос. АН
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар08-2653 Батаев, А. В. Методы и средства генерации данных для тестирования встроенного бортлового программного обеспечения [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. В. Батаев. - М., 2008. - 20 с. - Библиогр.: с. 19-20(13 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |