Приложение
для AndroidПолное описание
Белеванцев, А. А. Многоуровневый статический анализ исходного кода для обеспечения качества программ : автореф. дис. ... д-ра физ.-мат. наук: 05.13.11 / А. А. Белеванцев. - 2017. - 42 с. : ил. - Библиогр.: с. 41-42 (21 назв.). - 60 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.37.23 | 004.415.53(043) |
Кл.слова (ненормированные): ИСХОДНЫЙ КОД -- ПОИСК ОШИБОК -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ЭВМ -- СТАТИЧЕСКИЙ АНАЛИЗ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар18-424)
Шифр в сводном ЭК: a7e1d7281b001c3d74fbaf578f11b8cb
Белеванцев А.А. Спекулятивные оптимизации программ для архитектур с явно выраженным параллелизмом команд : автореф. дис. .. канд. физ.-мат. наук: 05.13.11 / А. А. Белеванцев, 2008. - 21 с. - Текст : непосредственный.Элементы теории алгоритмов : учебно-методическое пособие для студентов 1 курса / А. А. Белеванцев, С. С. Гайсарян, Л. С. Корухова, Е. А. Кузьменкова, 2019. - 35 с. - Текст : непосредственный.Практические задачи по вводному курсу программирования : учеб. пособие / К. А. Батузов [и др.], 2012. - 78 с. - Текст : непосредственный.Белеванцев А.А. Многоуровневый статический анализ исходного кода для обеспечения качества программ : автореф. дис. .. д-ра физ.-мат. наук: 05.13.11 / А. А. Белеванцев, 2017. - 42 с. - Текст : непосредственный.
Гришаев С.П. Правовая охрана товарных знаков,программ ЭВМ, ноу-хау в России и за рубежом / С. П. Гришаев, 1994. - 64 c. - Текст : непосредственный.Kane P. Keine Macht den Viren! : монография / P. Kane ; @:ubers. P. Riswick, 1990. - XVI,343 S. S. - Текст : непосредственный.Прокушев Я.Е. Криптографическая защита информации / Я. Е. Прокушев, 2005. - 145 с. - Текст : непосредственный.Фомичев В.М. Дифференциация элементов в конечных группах и в автоматах по заданным признакам, определяющим криптографические свойства систем защиты информации : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени д-ра физ.-мат. наук / В. М. Фомичев, 2006. - 38 с. - Текст : непосредственный.Хоглунд Г. Руткиты: внедрение в ядро Windows / Г. Хоглунд, Д. Батлер, 2007. - 284 с. - Текст : непосредственный.Басан А.С. Разработка моделей, алгоритмов и программ реализации мандатного разграничения доступа в СУБД с интеграцией прав доступа в цифровые сертификаты : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / А. С. Басан, 2007. - 16 с. - Текст : непосредственный.Балашов С.Г. Научно-методическое обеспечение риск-анализа и управление защитой региональных информационно-телекоммуникационных систем : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / С. Г. Балашов, 2007. - 15 с. - Текст : непосредственный.Пелешенко В.С. Разработка математической модели информационного обмена в локальной вычислительной сети для реализации средств и метода сетевой защиты информации : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / В. С. Пелешенко, 2007. - 18 с. - Текст : непосредственный.Оглтри Т.В. Firewalls. Практическое применение межсетевых экранов / Т. В. Оглтри, 2001. - 396 с. - Текст : непосредственный.Степанов П.В. Развитие телекоммуникационных систем и обеспечение информационной безопасности / П. В. Степанов, 2008. - 56 с. - Текст : непосредственный.Астахова А. В. Информационные системы в экономике и защита информации на предприятиях - участниках ВЭД : выставочные материалы / А. В. Астахова, 2014. - 214 с. - Текст : непосредственный.Клименко С.Г. Разработка моделей и методов взаимодействия интернет-ориентированных систем управления документооборотом со средствами аутентификации / С. Г. Клименко, 2011. - 18 с. - Текст : непосредственный.Полищук В.С. Охранные и сетевые устройства внешнего контура системы защиты информации на объектах электронновычислительной техники : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. С. Полищук, 2000. - 21 с. - Текст : непосредственный.Шевченко А.С. Исследование и разработка комплексной методики обнаружения сетевых вторжений : автореф. дис. .. канд. техн. наук: 05.13.13 / А. С. Шевченко, 2007. - 20 с. - Текст : непосредственный.Хорев П.Б. Методы и средства защиты информации в компьютерных системах : учеб. пособие / П. Б. Хорев, 2007. - 255 с. - Текст : непосредственный.Сыпин А.А. Модель и методика обнаружения несанкционированных действий и атак в сетях TCP/IP : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Сыпин, 2006. - 20 с. - Текст : непосредственный.Проблемы информационной безопасности : материалы временных коллективов / Ростовский гос. экономический ун-т, 2006. - 96 с. - Текст : непосредственный.Легкий В.Н. Методы защиты информации / В. Н. Легкий, Р. А. Пермяков, А. Г. Жуков, 1998. - 44 с. - Текст : непосредственный.Ермилов Е.В. Анализ и управление рисками нарушения информационной безопасности критически важного объекта / Е. В. Ермилов, 2014. - 17 с. - Текст : непосредственный.Мошак Н.Н. Организация безопасного доступа к информационным ресурсам : выставочные материалы / Н. Н. Мошак, Т. М. Татарникова, 2014. - 121 с. - Текст : непосредственный.
Показать все результатыПетров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 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 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽