Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Пакулин, Н. В.$<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

Пакулин, Н. В.
Разработка формальных модулей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов [Текст] / Н. В. Пакулин, А. В. Хорошилов // Программирование. - 2007. - N 6. - С. 26-55. - Библиогр.: с. 55 (45 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
тестирование систем -- телекоммуникационные протоколы -- системы с асинхронными интерфейсами -- разработка модели систем -- тестирование программ
Аннотация: Предлагается подход к преодолению разрыва между методами формального моделирования и методами тестирования, основанный на формализации поведения систем с асинхронными интерфейсами посредством контрактных спецификаций и использовании таких спецификаций для построения адаптивных тестов.

Доп.точки доступа:
Хорошилов, А. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Никешин, А. В.
Верификация функций безопасности протокола IPSEC V2 [Текст] / А. В. Никешин, Н. В. Пакулин, В. З. Шнитман // Программирование. - 2011. - N 1. - С. 36-56. . - Библиогр.: с. 56 (17 назв. )

УДК

^a004.41/.42

^a681.3:62-52

ББК 32.973-018 + 30.6-5-05
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
   Техника
   Автоматизация оборудования
Кл.слова (ненормированные):
верификация функций безопасности -- методы верификации -- протоколы Интернет -- IPsec v2 -- протоколы безопасности -- автоматизированное тестирование
Аннотация: Статья посвящена разработке тестового набора для проверки соответствий реализаций узлов Интернет спецификациям нового протокола безопасности IPsec v2.

Доп.точки доступа:
Пакулин, Н. В.; Шнитман, В. З.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Российская академия наук. Президиум РАН.
Президиум РАН решил [Текст] : (ноябрь-декабрь 2012 г.) / Российская академия наук, Президиум РАН // Вестник Российской академии наук. - 2013. - Т. 83, № 4. - С. 371-373 . - ISSN 0869-5873

УДК

^a001.89

ББК 72.4
Рубрики: Наука. Науковедение
Организация науки
Кл.слова (ненормированные):
академии наук -- академики -- доктора наук -- журналы -- институты -- назначения -- научная деятельность -- периодические издания -- решения РАН -- советы -- утверждения РАН -- ученые -- члены-корреспонденты РАН
Аннотация: Дана информация о назначениях сотрудников РАН, об утверждении направлений научной деятельности исследовательских центров, об утверждении состава Совета молодых ученых РАН, о включении РАН в состав учредителей журнала "Лед и Снег".

Доп.точки доступа:
Бычков, И. В. (член-корреспондент РАН); Асеев, А. Л. (академик РАН); Шайдуров, В. В. (член-корреспондент РАН); Сагдеев, Р. З. (академик РАН); Мысина, В. А. (кандидат биологических наук); Котельников, А. Л. (кандидат физико-математических наук); Козлов, В. В. (академик РАН); Матвеев, А. В. (кандидат химических наук); Секиринский, Д. С. (кандидат исторических наук); Щербина, А. А. (кандидат химических наук); Авдеева, З. К. (кандидат технических наук); Андреев, С. Н. (кандидат физико-математических наук); Андрианов, В. Л. (кандидат исторических наук); Берендеева, Т. А. (кандидат медицинских наук); Булычев, А. В. (кандидат технических наук); Войтоловский, Ф. Г. (кандидат политических наук); Демин, Д. В. (ученый); Долгих, А. В. (кандидат географических наук); Есина, Е. Н. (кандидат технических наук); Курлов, А. С. (кандидат физико-математических наук); Латушко, Ю. В. (кандидат исторических наук); Марин, И. Н. (кандидат биологических наук); Пакулин, Н. В. (кандидат физико-математических наук); Пантелеев, М. А. (доктор физико-математических наук); Пыталов, Д. С. (кандидат физико-математических наук); Сафонов, А. А. (кандидат технических наук); Севостьянов, М. А. (ученый); Серов, А. А. (кандидат физико-математических наук); Сокольщик, И. М. (кандидат юридических наук); Степанова, Е. В. (кандидат физико-математических наук); Татусь, Н. А. (кандидат технических наук); Тищенко, И. П. (кандидат технических наук); Шведчикова, Т. Ю. (кандидат исторических наук); Яковлева, А. Ф. (кандидат политических наук); Костюк, В. В. (главный ученый секретарь Президиума РАН); Котляков, В. М. (академик РАН); Российская академия наук; РАН; Российская академия наук \совет молодых ученых\; Совет молодых ученых РАН

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Тематический навигатор

Статистика за 07.08.2024
Число запросов	105863
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)