Полное описание
Аветисян, А. И.
ГРНТИ УДК 50.41 004.415.53(043)
Кл.слова (ненормированные): КАЧЕСТВО -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ЭВМ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар12-18029)
Шифр в сводном ЭК: 374f7dfbc18ca03bea6d1c22a301effc
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Труды Института системного программирования РАН. Т. 29вып. 2 / гл. ред. А. И. Аветисян, 2017. - 256 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 30вып. 3 / [главный редактор А. И. Аветисян], 2018. - 362 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 30вып. 4 / [главный редактор А. И. Аветисян], 2018. - 230 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 30вып. 5 / [главный редактор А. И. Аветисян], 2018. - 288 с. - Текст : непосредственный. Труды Института системного программирования РАН / 3. Т. 30вып. 2 / [главный редактор А. И. Аветисян], 2018. - 316 с. - Текст : непосредственный. Аветисян А.И. Современные методы статистического и динамического анализа программ для решения приоритетных проблем программной инженерии : автореф. дис. .. д-ра физ.-мат. наук: 05.13.11 / А. И. Аветисян, 2011. - 36 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 30вып. 1 / гл. ред. А. И. Аветисян, 2018. - 226 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 29вып. 6 / гл. ред. А. И. Аветисян, 2017. - 320 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 29вып. 5 / гл. ред. А. И. Аветисян, 2017. - 344 с. - Текст : непосредственный. Аветисян А.И. Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения : автореф. дис. .. д-ра физ.-мат. наук: 05.13.11 / А. И. Аветисян, 2012. - 37 с. - Текст : непосредственный. Аветисян А.И. Исследование и разработка инструментальной системы программирования ParJava для параллельных вычислительных систем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.11 / А. И. Аветисян, 2001. - 20 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 31вып. 4 / [главный редактор Аветисян Арутюн Ишханович], 2019. - 226 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 31вып. 2 / [главный редактор Аветисян Арутюн Ишханович], 2019. - 201 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 31вып. 3 / [главный редактор Аветисян Арутюн Ишханович], 2019. - 239 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 30вып. 6 / главный редактор Аветисян Арутюн Ишханович, 2019. - 380 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 31вып. 1 / [главный редактор Аветисян Арутюн Ишханович], 2019. - 142 с. - Текст : непосредственный. Труды Института системного программирования РАН. Т. 29вып. 3 / гл. ред. А. И. Аветисян, 2017. - 296 с. - Текст : непосредственный. Технология использования вычислительной кластерной системы МФТИ-60 для численного моделирования : Учеб. пособие / О. И. Самоваров [и др.], 2009. - 72 с. - Текст : непосредственный. Показать все результаты Баженова И.Ю. 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 с. - Текст : непосредственный. Показать все результаты Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Посыпкин М.А. Применение формальных методов для тестирования компиляторов : специальность 05.19.11 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный. Голубев А.А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный. Вигура А.Н. Модели и методы тестирования программных систем на основе алгебраического подхода / А. Н. Вигура, 2013. - 24 с. - Текст : непосредственный. Полухин П.В. Байесовские модели и алгоритмы управления процессом тестирования веб-приложений методом фаззинга / П. В. Полухин, 2016. - 18 с. - Текст : непосредственный. Воинов Н.В. Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы / Н. В. Воинов, 2011. - 22 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Федотов А.Н. Разработка метода оценки эксплуатируемости программных дефектов / А. Н. Федотов, 2017. - 24 с. - Текст : непосредственный. Морин Е.В. Совершенствование информационного обеспечения испытательных центров и лабораторий в ходе сертификации программных средств / Е. В. Морин, 2018. - 31 с. - Текст : непосредственный. Сафин Л.К. Автоматический статический анализ программных систем, записанных на языках программирования семейства C / Л. К. Сафин, 2018. - 19 с. - Текст : непосредственный. Дудина И.А. Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения : специальность 05.13.11 - "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей": автореферат диссертации на соискание ученой степени кандидата физико-математических наук / И. А. Дудина, 2019. - 26 с. - Текст : непосредственный. Базин А.С. Разработка моделей и алгоритмов тестирования программных комплексов на основе принципа декомпозиции : автореф. дис. .. канд. техн. наук: 05.13.01 / А. С. Базин, 2012. - 23 с. - Текст : непосредственный. Батаев А.В. Методы и средства генерации данных для тестирования встроенного бортлового программного обеспечения : автореф. дис. .. канд. техн. наук: 05.13.11 / А. В. Батаев, 2008. - 20 с. - Текст : непосредственный. Фофанов В.А. Внешнее тестирование интерфейсных библиотек (на примере интерфейса ASIS) : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. А. Фофанов, 2000. - 15 с. - Текст : непосредственный. Благодаренко А.В. Разработка метода, алгоритмов и программ для автоматического поиска уязвимостей программного обеспечения в условиях отсутствия исходного кода : автореф. дис. .. канд. техн. наук: 05.13.19 / А. В. Благодаренко, 2011. - 24 с. - Текст : непосредственный. Гриппа Г.Л. Автоматизация тестирования программных приложений методом ключевых состояний : автореф. дис. .. канд. техн. наук: 05.13.11 / Г. Л. Гриппа, 2006. - 18 с. - Текст : непосредственный. Никифорова Н.Ю. Разработка и исследование методов и средств структурных испытаний программ : автореф. дис. .. канд. техн. наук: 05.13.11 / Н. Ю. Никифорова, 2003. - 18 с. - Текст : непосредственный. Моисеев М.Ю. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа : автореф. дис. .. канд. техн. наук: 05.13.11 / М. Ю. Моисеев, 2011. - 18 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
