Том 21, № 6 (2014)

Содержание

Editorials

От редакторов специального выпуска PDF (Rus)
В. А. Непомнящий, В. А. Соколов 5-6

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

Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей PDF (Rus)
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон 7-17
Управляемые тупики в параллельных ресурсно-ограниченных потоках работ PDF (Rus)
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова 18-30
Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN PDF (Rus)
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова 31-43
Подход к автоматизации отладки поведенческих сценариев PDF (Rus)
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко 44-56
О некоторых задачах реконфигурирования программно-конфигурируемых сетей PDF (Rus)
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий 57-70
Разработка самоприменимой системы верификации. Теория и практика PDF (Rus)
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский 71-82
Использование метода ограниченной проверки моделей для генерации тестов PDF (Rus)
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон 83-93
Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри PDF (Rus)
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий 94-106
Поддержка эволюции визуальных языков в платформе QReal PDF (Rus)
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин 107-119
Поведенческая идентификация программ PDF (Rus)
Максим Викторович Баклановский, Артур Рафаэльевич Ханов 120-130
Инструментальная поддержка встроенных языков в интегрированных средах разработки PDF (Rus)
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун 131-143
Инкрементальный подход к технологии создания тестов для индустриальных проектов PDF (Rus)
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский 144-154
Программный комплекс для анализа и визуализации графов PDF (Rus)
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский 155-168
PolarDB – система создания специализированных NoSQL баз данных и СУБД PDF (Rus)
Александр Гурьевич Марчук 169-175
О работе семинара «Нелинейная динамика» PDF (Rus)
Статья Редакционная 176-192


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


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