Том 22, № 6 (2015)

Весь выпуск

Посмотреть или загрузить весь выпуск PDF PDF (English)

Содержание

Оригинальные статьи

Модель безопасности информационных потоков для программно-конфигурируемых сетей PDF (Rus) PDF (Eng)
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов 735-749
Особенности применения модельно-ориентированного подхода при разработке промышленных приложений PDF (Rus) PDF (Eng)
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров 750-762
Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ PDF (Rus) PDF (Eng)
М. А. Беляев, В. М. Ицыксон 763-772
Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах PDF (Rus) PDF (Eng)
И. В. Марьясов, В. А. Непомнящий 773-782
О преподавании формальных моделей и алгоритмов анализа параллельных систем PDF (Rus)
Н. В. Шилов 783-794
Формальная диагонализация схем Лакса–Дарбу PDF (Eng) PDF (Rus)
А. В. Михайлов 795-817
Анализ системных исполнений с помощью Process Mining PDF (Rus) PDF (Eng)
С. А. Шершаков, В. А. Рубин 818-833
Лингвостатистический анализ терминологии для построения тезауруса предметной области PDF (Rus)
М. С. Каряева 834-851
Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight PDF (Rus)
А. А. Носков, М. А. Никитинский, И. В. Алексеев 852-861


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)