Приложение
для AndroidПолное описание
Пинаев, Д. В. Методы и средства интегральной оценки тестированности программного проекта. Позволяющие управлять процессом разработки тестов : автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Д. В. Пинаев. - СПб : [б. и.], 1998. - 18 с. : ил. - Текст : непосредственный.
Библиогр.:с. 17-18(7 назв.)
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.53(043) |
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Система автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыБеляева С.И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов : Автореферат диссертации на соискание ученой степени д-ра техн.наук: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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽