Приложение
для AndroidПолное описание
Фофанов, В. А. Внешнее тестирование интерфейсных библиотек (на примере интерфейса ASIS) : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. А. Фофанов. - М. : [б. и.], 2000. - 15 с. - Текст : непосредственный.
В надзаг.: МГУ им.М.В.Ломоносова. Фак. вычислит. мат. и кибернетики. Библиогр.:с. 15 (6 назв.)
| ГРНТИ | УДК | |
| 50.41.17 | 004.415.53(043) |
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.Программа связи для компьютеров IBM PC и совместимых с ними : Сжатое руководство пользователя. Версия 3.5Х / ВЦП. - 63 с. - Текст : непосредственный.Фирма Онлайн Софтвеа Интернэшнл. Семейство программного обеспечения Омнигад / ВЦП. - 26 c. - Текст : непосредственный.Система свободного программируемого управления на базе микро-ЭВМ / ВЦП. - 128 c. - Текст : непосредственный.Описание команд интерактивной лабораторной системы / ВЦП. - 128 с. - Текст : непосредственный.Языково-ориентированный редактор VAX : Руководство по работе с языком VAXELN-Паскаль / ВЦП. - 41 c. - Текст : непосредственный.Джокер. Система оценки и классификации. Верcия 2.0 / ВЦП. - 73 c. - Текст : непосредственный.Хусейн Мухсен.Исследование и разработка мобильного программного обеспечения для решения прикладных задач : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Хусейн Мухсен, 1991. - 16 с. - Текст : непосредственный.Бондарев М.Ю. Инструментально-методический комплекс оценки надежности прикладных программных средств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / М. Ю. Бондарев, 1991. - 17 с. - Текст : непосредственный.Липецкая Н.Д. Исследование и разработка интеллектуальных сервисных подсистем высокопроизводительных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Н. Д. Липецкая, 1991. - 16 с. - Текст : непосредственный.Бочков С.О. Автоматизация отладки программ на основе операционного описания их поведения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / С. О. Бочков, 1991. - 16 с. - Текст : непосредственный.Шербекова У.А. Программно-испытательный стенд для создания эффективных программ решения жестких задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / У. А. Шербекова, 1991. - 15 с. - Текст : непосредственный.Тарановский М.Р. Теоретические и прикладные аспекты генерации программ обработки данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / М. Р. Тарановский, 1991. - 16 с. - Текст : непосредственный.Терентьев И.В. Методы синтеза алгоритмов пространственно-распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / И. В. Терентьев, 1992. - 36 с. - Текст : непосредственный.Кириенко Н.А. Оптимизация программ в процессе трансляции : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Н. А. Кириенко, 1992. - 16 с. - Текст : непосредственный.Бекетова Е.А. Методы и средства оценки качества программ имитационных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Бекетова, 1992. - 16 с. - Текст : непосредственный.Леохин Ю.Л. Методы и аппаратно-программные средства комплексной динамической отладки для систем управления реального времени : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05;05.13.13 / Ю. Л. Леохин, 1992. - 20 с. - Текст : непосредственный.
Показать все результатыБеляева С.И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / С. И. Беляева, 1991. - 33 с. - Текст : непосредственный.Молин А.В. Разработка полигона для испытания программ статистического анализа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16:05.13.16 / А. В. Молин, 1991. - 17 с. - Текст : непосредственный.Черноножкин С.К. Методы и инструменты метрической поддержки разработки качественных программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / С. К. Черноножкин, 1998. - 18 с. - Текст : непосредственный.Кудрин К.А. Разработка методов автоматизированного тестирования программного обеспечения систем автоматизации эксперимента : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / К. А. Кудрин, 1998. - 19 с. - Текст : непосредственный.Пинаев Д.В. Методы и средства интегральной оценки тестированности программного проекта. Позволяющие управлять процессом разработки тестов : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Д. В. Пинаев, 1998. - 18 с. - Текст : непосредственный.Фофанов В.А. Внешнее тестирование интерфейсных библиотек (на примере интерфейса ASIS) : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. А. Фофанов, 2000. - 15 с. - Текст : непосредственный.Куликова Н.Л. Разработка и исследование логических методов тестирования программных комплексов в информационных системах : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.25.05 / Н. Л. Куликова, 2000. - 20 с. - Текст : непосредственный.Никифорова Н.Ю. Разработка и исследование методов и средств структурных испытаний программ : автореф. дис. .. канд. техн. наук : 05.13.11 / Н. Ю. Никифорова, 2003. - 18 с. - Текст : непосредственный.Петренко А.К. Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : автореф. дис. .. д-ра физ.-мат. наук : 05.13.11 / А. К. Петренко, 2003. - 59 с. - Текст : непосредственный.Епифанов Н.А. Методы реализации регрессивного тестирования по расширенным тестовым набором : автореф. дис. .. канд. техн. наук : 05.13.11 / Н. А. Епифанов, 2003. - 19 с. - Текст : непосредственный.Посыпкин М.А. Применение формальных методов для тестирования компиляторов : автореф. дис. .. канд. физ.-мат. наук : 05.19.11 / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный.Grecco A.J. AdaFlow : automation of software analysis using Petri nets: Diss. Mfiche.(3) / A.J.Grecco, 1988. - 266 мкфш. - Текст : непосредственный. Структурно-статистические методы обеспечения контролепригодности программных систем : автореф. дис. .. канд. техн. наук : 05.13.01 / В. П. Зеленский, 2005. - 18 c. - Текст : непосредственный.Спецификация и тестирование компонентов с асинхронным интерфейсом : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / А. В. Хорошилов, 2006. - 21 с. - Текст : непосредственный.Автоматизация тестирования программных приложений методом ключевых состояний : автореф. дис. .. канд. техн. наук : 05.13.11 / Г. Л. Гриппа, 2006. - 18 с. - Текст : непосредственный.Яковлев Ю.А. Методы определения входных данных, обеспечивающих эффективное тестирование программ : автореф. дис. .. канд. техн. наук : 05.13.12 / Ю. А. Яковлев, 2006. - 16 с. - Текст : непосредственный.Карпов А.Н. Технологий настраиваемой генерации текстов по формальным спецификациям для встроенных приложений и программных интерфейсов, реализованных на Java-подобных языках : автореф. дис. .. канд. техн. наук : 05.13.11 / А. Н. Карпов, 2007. - 18 с. - Текст : непосредственный.Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : автореф. дис. .. канд. техн. наук : 05.13.12 / К. В. Петров, 2007. - 19 с. - Текст : непосредственный.Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : автореф. дис. .. канд. техн. наук : 05.13.11 / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный.Теория конформности для функционального тестирования программных систем на основе формальных моделей : автореф. дис. .. д-ра физ.-мат. наук : 05.13.11 / И. Б. Бурдонов, 2007. - 44 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽