Первая иллюстрация к книге Автоматное программирование - Поликарпова, Шалыто

Иллюстрация 1 из 3 для Автоматное программирование - Поликарпова, Шалыто | Лабиринт - книги. Источник: Лабиринт
Иллюстрация 1 из 3 для книги Автоматное программирование - Поликарпова, Шалыто
Источник: Лабиринт
В книге рассматривается автоматное программирование - подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям "Прикладная математика и информатика", "Управление и информатика в технических системах" и "Вычислительные машины, системы, комплексы и сети".