| 1. ВВЕДЕНИЕ В АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ |
| А. А. Шалыто | Парадигма автоматного программирования | с. 3 |
2. ПОСТРОЕНИЕ АВТОМАТОВ ДЛЯ УПРАВЛЕНИЯ БЕСПИЛОТНЫМИ УСТРОЙСТВАМИ НА ОСНОВЕ ПРИМЕНЕНИЯ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ |
| Н.И.Поликарпова, В. Н. Точилин, А. А. Шалыто | Применение генетического программирования для генерации автоматов с большим числом входных переменных | с. 24 |
| Ф. Н. Царев | Совместное применение генетического программирования, конечных автоматов и искусственных нейронных сетей для построения системы управления беспилотным летательным аппаратом | с. 42 |
А. А. Давыдов, Д. О. Соколов, Ф. Н. Царев | Применение генетического программирования и методов сокращенных таблиц переходов и деревьев решений для построения автоматов управления моделью беспилотного летательного аппарата | с. 60 |
| П. Г. Лобанов, С. А. Сытник, А. А. Шалыто | Построение автопилота для упрощенной модели вертолета с помощью генетического алгоритма | с. 79 |
| Ю. Д. Бедный, А. А. Шалыто | Создание системы управления танком для игры Robocode с использованием генетических алгоритмов | с. 88 |
3. ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ ДЛЯ ГЕНЕРАЦИИ АВТОМАТОВ |
| Е. А. Мандриков, В. А. Кулев | Разработка инструментального средства для генерации конечных автоматов с использованием генетических алгоритмов | с. 100 |
| В. Р. Данилов | Метод представления автоматов деревьями решений для использования в генетическом программировании | с. 103 |
| А. А. Давыдов, Д. О. Соколов, Ф. Н. Царев | Применение генетических алгоритмов для построения автоматов Мура и систем взаимодействующих автоматов Мили на примере задачи об "Умном муравье" | с. 108 |
| П. Г. Лобанов | Методы оптимизации генетических алгоритмов для построения конечных автоматов | с. 114 |
4. ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ |
| С. Э. Вельдер, А. А. Шалыто | Методы верификации моделей автоматных программ | с. 123 |
| Е.А. Курбацкий | Верификация программ, построенных на основе автоматного подхода, с использованием программного средства SMV | с. 137 |
| М. А. Лукин, А. А. Шалыто | Верификация автоматных программ с использование верификатора SPIN | с. 145 |
| В. С. Гуров, Б. Р. Яминов | Верификация автоматных программ при помощи верификатора UniMod.verifier | с. 162 |
| К. В. Егоров, А. А. Шалыто | Разработка верификатора автоматных программ | с. 177 |
| А. Ю. Законов | Применение автоматного подхода для создания корректных Java Card-приложений | с. 189 |
| А. А. Клебанов, А. А. Шалыто | Разработка корректных Java Card-программ на основе автоматного подхода | с. 198 |
| С. Ю. Канжелев | Верификация взаимодействия частей реактивной системы, реализованной с помощью автоматного подхода | с. 211 |
| О. Г. Степанов | Метод автоматической динамической верификации автоматных программ | с. 221 |
5. МЕТОДЫ РАЗРАБОТКИ АВТОМАТНЫХ ПРОГРАММ |
| А. А. Астафуров | Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования | с. 230 |
| К. И. Тимофеев, А. А. Астафуров | Наследование автоматных классов с использованием динамических языков программирования на примере Ruby | с. 238 |
6. ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА АВТОМАТНОГО ПРОГРАММИРОВАНИЯ |
| Д. Ю. Кочелаев, И. А. Лагунов, Б. С. Хасянзянов, Б. Р. Яминов | Инструментальное средство для поддержки автоматного программирования UniMod 2. Проектирование. Валидация. Верификация. Реализация. | с. 251 |
7. ТЕКСТОВЫЕ ЯЗЫКИ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ |
| В. С. Гуров, М. А. Мазин, А. А. Шалыто | Текстовый язык автоматного программирования | с. 258 |
| И. А. Лагунов | Текстовый язык автоматного программирования FSML для инструментального средства UniMod | с. 263 |
8. ТЕСТИРОВАНИЕ ПРИЛОЖЕНИЙ И КОНЕЧНЫЕ АВТОМАТЫ |
| К. В. Рубинов, В. В. Веденеев,В. Г. Парфенов | Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования | с. 273 |
9. АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ МОБИЛЬНЫХ РОБОТОВ |
| В. О. Клебан, В. Г. Парфенов, А. А. Шалыто | Построение системы автоматического управления мобильным роботом на основе автоматного подхода | с. 281 |
10. ПРИМЕНЕНИЕ КОНЕЧНЫХ АВТОМАТОВ В ДОКУМЕНТООБОРОТЕ |
| В. О. Клебан, Ф. А. Новиков | Использование конечных автоматов в документообороте | с. 286 |
11. ИСКУСТВЕННЫЙ ИНТЕЛЛЕКТ И КОНЕЧНЫЕ АВТОМАТЫ |
| А. Л. Красс | Метод обучения сложных систем с большим числом входных данных и выходных воздействий | с. 295 |
