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