RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2014, том 21, номер 6  


От редакторов специального выпуска
В. А. Непомнящий, В. А. Соколов
5
Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей
М. Х. Ахин, С. Л. Колтон, В. М. Ицыксон
7
Управляемые тупики в параллельных ресурсно-ограниченных потоках работ
В. А. Башкин, Н. Ю. Панфилова
18
Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN
Н. О. Гаранина, Е. В. Бодин, Е. А. Сидорова
31
Подход к автоматизации отладки поведенческих сценариев
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, А. А. Летичевский, В. С. Песчаненко
44
О некоторых задачах реконфигурирования программно-конфигурируемых сетей
В. А. Захаров, Е. В. Чемерицкий
57
Разработка самоприменимой системы верификации. Теория и практика
Д. А. Кондратьев, А. В. Промский
71
Использование метода ограниченной проверки моделей для генерации тестов
М. А. Петров, К. А. Гагарский, М. А. Беляев, В. М. Ицыксон
83
Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри
С. А. Черненок, В. А. Непомнящий
94
Поддержка эволюции визуальных языков в платформе QReal
Т. Ю. Агапова, Т. А. Брыксин
107
Поведенческая идентификация программ
М. В. Баклановский, А. Р. Ханов
120
Инструментальная поддержка встроенных языков в интегрированных средах разработки
С. В. Григорьев, Е. А. Вербицкая, М. И. Полубелова, А. В. Иванов, Е. В. Мавчун
131
Инкрементальный подход к технологии создания тестов для индустриальных проектов
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, А. А. Летичевский
144
Программный комплекс для анализа и визуализации графов
М. И. Коломейченко, А. А. Золотых, И. В. Поляков, А. М. Чеповский
155
PolarDB — система создания специализированных NoSQL баз данных и СУБД
А. Г. Марчук
169
О работе семинара «Нелинейная динамика»
176
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019