Приложение
для AndroidПолное описание
Кулаков, А. Ф. Управление качеством программных средств ЭВМ / А.Ф.Кулаков. - Киев : Тэхника, 1989. - 217 с. : ил. - ISBN 5-335-00244-1 : 0.95 р., кс . - Текст : непосредственный.
Библиогр.: с.214-215.
| ГРНТИ | УДК | |
| 50.41 | 004.415.5 |
Рубрики:
Программное обеспечение ЭВМ -- Качество
Кл.слова (ненормированные): программа -- эвм -- качество
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Программное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.
Показать все результатыХубаев Г.Н. Экономическая оценка потребительского качества программных средств : Текст лекций / Г.Н.Хубаев, 1997. - 102 с. - Текст : непосредственный.Саркисян А.А. Повышение качества программ на основе автоматизированных методов / А.А.Саркисян, 1991. - 156 с. - Текст : непосредственный.Кулаков А.Ф. Управление качеством программных средств ЭВМ / А.Ф.Кулаков, 1989. - 217 с. - Текст : непосредственный.Yourdon E. Structured walkthroughs / E.Yourdon, 1989. - XII,193 p. p. - Текст : непосредственный.Оценка и аттестация зрелости процессов создания и сопровождения программных средств и информационных систем (ISO/IEC TR 15504-CMM) : Пер.с англ., 2001. - 348 с. - Текст : непосредственный.Липаев В.В. Обеспечение качества программных средств. Методы и стандарты / В.В.Липаев, 2001. - 370 с. - Текст : непосредственный.Липаев В.В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты / В.В.Липаев, 2001. - 224 с. - Текст : непосредственный.Галкин И.М. Сетевое моделирование, статический и динамический анализ программ / И.М.Галкин, 1991. - 52 c. - Текст : непосредственный.Липаев В.В. Качество программных средств : Метод.рекомендации / В.В.Липаев;Под общ.ред.А.А.Полякова, 2002. - 399 с. - Текст : непосредственный.Карев А.А. Оценка показателей качества программного обеспечения информационно-вычислительной системы / А.А.Карев,В.М.Добрянский, 2003. - 12 с. - Текст : непосредственный.Предеина О.Ю. Метрология, стандартизация и сертификация программного обеспечения : Учеб. пособие / О.Ю.Предеина, 2004. - 86 с. - Текст : непосредственный.Тенякова Р.В. Надежность и качество программных средств : Учеб. пособие по курсу "Надежность, эргономика и качество АСОИУ" / Р.В. Тенякова, С.Ю. Цыкунова, 2004. - 80 с. - Текст : непосредственный.Методы обеспечения качества крупномасштабных программных средств / В. В. Липаев, 2003. - 510 с. - Текст : непосредственный.Метрология, стандартизация и сертификация программного обеспечения : учеб. пособие / Д. Н. Ермоленко, 2008. - 82 с. - Текст : непосредственный.Бураков В.В. Управление качеством программных средств / В. В. Бураков, 2009. - 287 с. - Текст : непосредственный.The common component modeling example : comparing software component models / ed. A. Rausch [et al.], 2008 r=on-line.Software engineering techniques: design for quality / ed. K. Sacha, 2006 r=on-line.O'Regan G. Mathematical approaches to software quality / G. O'Regan, 2006 r=on-line.Программная инженерия. Обеспечение качества программных средств методами статического анализа : учеб. посоюие / М. И. Глухих, В. М. Ицыксон, 2011. - 149 с. - Текст : непосредственный.Метрология качества программного обеспечения : учеб. пособие / А. В. Любимов, 2010. - 203 с. - Текст : непосредственный.
Показать все результатыБеляева С.И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / С. И. Беляева, 1991. - 33 с. - Текст : непосредственный.Бондарев М.Ю. Инструментально-методический комплекс оценки надежности прикладных программных средств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / М. Ю. Бондарев, 1991. - 17 с. - Текст : непосредственный.Молин А.В. Разработка полигона для испытания программ статистического анализа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16:05.13.16 / А. В. Молин, 1991. - 17 с. - Текст : непосредственный.Скворцов С.А. Алгоритмы оценки качества функционирования программного обеспечения вычислительных систем реального времени на основе моделей нечеткой математики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / С. А. Скворцов, 1991. - 16 с. - Текст : непосредственный.Бекетова Е.А. Методы и средства оценки качества программ имитационных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Бекетова, 1992. - 16 с. - Текст : непосредственный.Мадан В.И. Исследование и анализ количественных характеристик качества программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. И. Мадан, 1992. - 18 с. - Текст : непосредственный.Черноножкин С.К. Методы и инструменты метрической поддержки разработки качественных программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / С. К. Черноножкин, 1998. - 18 с. - Текст : непосредственный.Коган Б.И. Измерительные языковые процессоры для исследования и оценки качества программных средств : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.11 / Б. И. Коган, 1993. - 31 с. - Текст : непосредственный.Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11,05.13.16 / С. В. Панков, 1995. - 25 с. - Текст : непосредственный.Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / С. В. Панков, 1996. - 25 с. - Текст : непосредственный.Шубинский М.И. Развитие методов оценки и прогноза качества и надежности программного обеспечения на основе нечеткой математики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / М. И. Шубинский, 1996. - 18 с. - Текст : непосредственный.Кудрин К.А. Разработка методов автоматизированного тестирования программного обеспечения систем автоматизации эксперимента : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / К. А. Кудрин, 1998. - 19 с. - Текст : непосредственный.Маликова Л.В. Разработка математического и программного обеспечения для исследования исполняемых модулей с использованием теории алгоритмических алгебр и унификации алгебраических термов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / Л. В. Маликова, 1998. - 16 с. - Текст : непосредственный.Былинович А.П. Методы повышения качества программных средств на основе мультихромосомной генетической модели : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. П. Былинович, 1998. - 23 с. - Текст : непосредственный.Ануреев И.С. Системы переписывания формул и их применение в автоматической верификации программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. С. Ануреев, 1998. - 19 с. - Текст : непосредственный.Пинаев Д.В. Методы и средства интегральной оценки тестированности программного проекта. Позволяющие управлять процессом разработки тестов : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Д. В. Пинаев, 1998. - 18 с. - Текст : непосредственный.Ермолаева Е.К. Разработка адаптивной экспертной системы сравнительного анализа алгоритмов и программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Е. К. Ермолаева, 2000. - 28 с. - Текст : непосредственный.Покозий Е.А. Методы спецификации и верификации параллельных моделей с непрерывным временем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий, 1999. - 16 с. - Текст : непосредственный.Фофанов В.А. Внешнее тестирование интерфейсных библиотек (на примере интерфейса ASIS) : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. А. Фофанов, 2000. - 15 с. - Текст : непосредственный.Куликова Н.Л. Разработка и исследование логических методов тестирования программных комплексов в информационных системах : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.25.05 / Н. Л. Куликова, 2000. - 20 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽