Полное описание
>
Липаев, В. В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты / В.В.Липаев. - М. : СИНТЕГ, 2001. - 224 с. - (Информационные технологии). - 1500 экз. - ISBN 5-89638-053-4 : Б. ц. - Текст : непосредственный.
В надзаг.: Моск. гос. технол. ин-т "СТАНКИН". Библиогр.: с. 220-224 (76 назв.)
| ГРНТИ | УДК | |
| 50.41 | 004.415.5 |
Рубрики:
Программное обеспечение ЭВМ -- Качество
Кл.слова (ненормированные): программа -- эвм -- качество>
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Информационные технологии : теоретический и прикладной научно-технический журнал. - Журнал выходит с 1995г. - Текст : непосредственный.Гитис, Л. Х. Современное университетское издательство. Ч. 1 : Роль в жизни ВУЗа. Начало деятельности. Прогрессивные технологии. Экономика малотиражного книгоиздания. Организация производства, 1997. - 234 с. - Текст : непосредственный.Богатюк В.А. Информационные технологии : Учеб.пособие / В.А.Богатюк, 1999. - 51 с. - Текст : непосредственный.Информационные технологии : Материалы ХХХVI междунар.науч.студен.конф."Студент и науч.-техн.прогресс", 1998. - 89 с. - Текст : непосредственный.Вестник Ульяновского государственного технического университета : Науч.-теорет. журн. Серия, "Информационные технологии". - Журнал выходит с 1998г. - Текст : непосредственный.Гитис, Л. Х. Современное университетское издательство. Ч. 2, 2001. - 179 с. - Текст : непосредственный.Липаев В.В. Обеспечение качества программных средств. Методы и стандарты / В.В.Липаев, 2001. - 370 с. - Текст : непосредственный.Липаев В.В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты / В.В.Липаев, 2001. - 224 с. - Текст : непосредственный.Бояркин Г.Н. Информационные технологии : Учеб. пособие / Г. Н. Бояркин, В. А. Маренко, С. Н. Чуканов, 2001. - 191 с. - Текст : непосредственный.Гитис, Л. Х. Современное университетское издательство. Вып. 3 : Автор выбирает издательство. Цена научной книги, 2002. - 36 с. - Текст : непосредственный.Информационные технологии : Путеводитель по новой экономике / Авт.-сост.:И.Пичугин,П.Шура,П.Шура и др., 2002. - 319 с. - Текст : непосредственный.Баранов В.П. Информационные технологии : Учеб. пособие / В.П.Баранов, 2002. - 130 с. - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : тема 2003 года: Библиотеки и доступность информации в современном мире: электронные ресурсы науке, культуре и образованию : Десятая юбилейная международная конференция "Крым 2003, Судак (основная программа), Алушта, Бахчисарай, Керчь, Коктебель, Новый Свет, Симферополь, Старый Крым, Феодосия (выездные заседания), Автономная Республика Крым, Украина, 7-15 июня 2003 г. : труды конференции : [в 3 томах]. Т. 3, 2003. - С. 881-1280 (Введено оглавление). - Текст : непосредственный.Информационные технологии : Учеб.-метод. пособие / Р.И.Саитов,Г.Р.Ильясова,Р.А.Нургалеев,Р.Р.Хасанов, 2002. - 115 с. - Текст : непосредственный.Жуковский О.И. Информационные технологии : Учеб. пособие / О.И.Жуковский, 2003. - 167 с. - Текст : непосредственный.Кульба В.В. Достоверность и сохранность информации в АСУ / В. В. Кульба, С. С. Ковалевский, А. Б. Шелков, 2003. - 496 с. - Текст : непосредственный.Советов Б.Я. Информационные технологии : Учеб. для вузов / Б.Я.Советов,В.В.Цехановский, 2003. - 263 с. - Текст : непосредственный.Каян Э. Информационные технологии : Толковый словарь аббревиатур / Э.Каян, 2003. - 646 с. - Текст : непосредственный.Федорова Г.В. Информационные технологии бухгалтерского учета, анализа и аудита / Г.В.Федорова, 2004. - 304 с. - Текст : непосредственный.Информационные технологии : Учеб. пособие / Б.В. Казаков, И.А. Казакова, 2004. - 157 с. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение 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 с. - Текст : непосредственный.
Показать все результатыБеляева С.И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов : Автореферат диссертации на соискание ученой степени д-ра техн.наук: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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽