Полное описание
Методы и модели оценивания качества программного обеспечения / В. И. Воробьев, А. В. Копыльцов, Б. Н. Пальчун, Р. М. Юсупов. - СПб : [б. и.], 1992. - 36 с. - Текст : непосредственный.
Рубрики: Математическое обеспечение ЭВМ -- Качество
Доп. точки доступа: Воробьев, В.И.
Копыльцов, А.В.
Пальчун, Б.Н.
Юсупов, Р.М.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-92/6652)
Шифр в сводном ЭК: d6225d17cedc8f0e857de9ff8184e98c
Пальчун Б.П. Оценка надежности программного обеспечения / Б. П. Пальчун, Р. М. Юсупов, 1994. - 84 c. - Текст : непосредственный. Юсупов Р.М. Особенности развития сложных наукоемких систем оборонной промышленности / Р. М. Юсупов, 2008. - 211 с. - Текст : непосредственный. Копыльцов А.В. Математическое моделирование кровотока и транспорта кислорода в нормальных и экстремальных условиях : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени д-ра техн. наук / А. В. Копыльцов, 1996. - 43 с. - Текст : непосредственный. Концепция развития энергосберегающих электромеханических систем / А. С. Космодамианский, М. И. Борзенков, В. И. Воробьев [и др.], 2014. - 243 с. - Текст : непосредственный. Воробьев В.И. Макроструктура облачного покрова северного полушария / В. И. Воробьев, 1990. - 217 c. - Текст : непосредственный. Техническая инновационика. Проектирование конкурентоспособных машин / О. В. Измеров, С. Ю. Радченко, А. С. Космодамианский [и др.], 2013. - 414 с. - Текст : непосредственный. Методы и модели оценивания качества программного обеспечения / В. И. Воробьев, А. В. Копыльцов, Б. Н. Пальчун, Р. М. Юсупов, 1992. - 36 с. - Текст : непосредственный. САПР тягового привода. Методологии синтеза изобретательских решений / Д. Я. Антипин, В. И. Воробьев, О. В. Измеров [и др.], 2017. - 247 с. - Текст : непосредственный. Проектирование тяговых приводов локомотивов с учетом фрикционных автоколебаний : монография / Д. Я. Антипин, В. И. Воробьев, О. В. Измеров [и др.], 2016. - 179 с. - Текст : непосредственный. Синтез новых решений приводов транспортных систем в интеллектуальных САПР : монография / В. И. Воробьев, О. В. Дорофеев, О. В. Измеров [и др.], 2017. - 303 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Копыльцов А.А. Модели и алгоритмы слабоформализованных объектов и процессов / А. А. Копыльцов, А. В. Копыльцов, 2016. - 162 с. - Текст : непосредственный. Показать все результаты Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Глухих М.И. Программная инженерия. Обеспечение качества программных средств методами статического анализа : учебное пособие / М. И. Глухих, В. М. Ицыксон, 2011. - 149 с. - Текст : непосредственный. Verification of object-oriented software. The key approach / SpringerLink (Online service), 2007 r=on-line. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Былинович А.П. Методы повышения качества программных средств на основе мультихромосомной генетической модели : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. П. Былинович, 1998. - 23 с. - Текст : непосредственный. Липаев В.В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты / В. В. Липаев, 2001. - 224 с. - Текст : непосредственный. Стивенс Р. Тестирование и отладка программ на Visual Basic / Р. Стивенс, 2001. - 378 с. - Текст : непосредственный. Посыпкин М.А. Применение формальных методов для тестирования компиляторов : специальность 05.19.11 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный. ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Голубев А.А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный. Вигура А.Н. Модели и методы тестирования программных систем на основе алгебраического подхода / А. Н. Вигура, 2013. - 24 с. - Текст : непосредственный. Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Поляков С.Д. Разработка нормативно-методического и информационного обеспечения процесса сертификации программной продукции : специальность 05.02.23 "Стандартизация и управление качеством продукции" : диссертация на соискание ученой степени канд. техн. наук / С. Д. Поляков, 2007. - 22 с. - Текст : непосредственный. Software engineering techniques: design for quality / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Бейзер Б. Тестирование черного ящика.Технологии функционального тестирования программного обеспечения и систем / Б. Бейзер, 2004. - 317 с. - Текст : непосредственный. Groote J.F. Verification of parallel systems via decomposition / J. F. Groote, F. Moller, 1992. - 21 p. - Текст : непосредственный. Middeldorp A. Modular properties of conditional term rewriting systems / A. Middeldorp, 1991. - 42 p. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
