Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Зыков, Анатолий$<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.


    Зыков, Анатолий.
    Под Андреевским крестом [Текст] : [стихи ] / А. Зыков // Воин России. - 2007. - N 4. - С. . 38-39. - 0; Глубина. - 0; Будь готов.. - 0; Жена моряка. - 0; Под Андреевским крестом. - 0; Золотая свадьба. - RUMARS-voro07_000_004_0038_1. - Ил.: фот., 2 рис.
УДК
^a882
ББК 84(2Рос=Рус)
Рубрики: Художественная литература--Русская литература (произведения)
Кл.слова (ненормированные):
поэзия -- стихи -- подводники -- военно-морской флот -- тема военно-морского флота -- тема подводников -- матросы
Аннотация: Стихи о подводниках.


Найти похожие
2.


   
    Автоматизация генерации описания графо-аналитической модели программы [Текст] = Automating the Generation of a Description of the Graphical-Analytical Model of the Program / А. Г. Зыков [и др.] // Защита информации. Инсайд. - 2017. - № 4. - С. 60-65 : ил. - Библиогр. с. 65 (13 назв.)
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
Roslyn -- САПР -- абстрактное синтаксическое дерево -- автоматизация -- верификация -- графо-аналитическая модель -- защита информации -- исходный код программы -- не декларированные возможности -- синтаксический анализ -- тестирование -- язык описания ГАМ
Аннотация: Существует класс функциональных ошибок программных продуктов, влияющих на безопасность проектируемых программ, которые крайне сложно исследовать без анализа исходного кода. Эта проблема обостряется для систем, части которых написаны на различных языках программирования. Актуальность задачи поиска универсальных межязыковых средств тестирования остается высокой до сих пор. В качестве решения подобной задачи предлагается использовать язык описания графо-аналитической модели (ГАМ) алгоритма вычислительного процесса. Целью исследования является автоматизация построения описания ГАМ программы, реализованной на языке C#, с использованием методов синтаксического анализа для формальной верификации проекта и поиска не декларированных возможностей. Новизна данного исследования заключается в том, что на текущий момент не существует каких-либо средств, позволяющих получить языковое (формальное) описание ГАМ вычислительного процесса.


Доп.точки доступа:
Зыков, Анатолий Геннадьевич (кандидат технических наук); Кочетков, Илья Владимирович; Чистиков, Евгений Геннадьевич; Швед, Виктор Григорьевич (доктор технических наук)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
3.


   
    Автоматизация выявления и устранения НДВ при верификации программ [Текст] = Automating the Detection and Elimination of Undeclared Features When Verifying Programs / А. Г. Зыков, Я. С. Голованев, В. И. Поляков, Д. В. Швед // Защита информации. Инсайд. - 2020. - № 3. - С. 62-65 : ил. - Библиогр.: с. 65 (6 назв.)
УДК
^a004:002
ББК 73
Рубрики: Информатика
   Информатизация общества. Информационная политика
Кл.слова (ненормированные):
графо-аналитическая модель -- мертвый код -- недекларированные возможности -- синтаксический анализ
Аннотация: При разработке программных систем одним из основных подходов является модульный способ программирования. При этом отдельные задачи выделяются в виде самостоятельных модулей и могут проектироваться и реализовываться различными группами разработчиков. На каждом этапе проектирования обязательно осуществляется верификация. В качестве спецификации проекта предлагается использовать графо-аналитическую модель вычислительного процесса и ее описание на разработанном авторами языке. Задачу автоматизации обнаружения недекларированных возможностей и исключения их в программе предлагается решить с помощью дополнительных средств анализа при верификации программы.


Доп.точки доступа:
Зыков, Анатолий Геннадьевич (кандидат технических наук); Голованев, Яков Сергеевич; Поляков, Владимир Иванович (кандидат технических наук); Швед, Дарья Викторовна
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)