Страницу Назад
Поискать другие аналоги этой работы

Поликарпова Н.И., Шалыто А.А. Автоматное программирование

ID: 72712
Дата закачки: 26 Августа 2012
Продавец: Aronitue9 (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца

Тип работы: Книга
Форматы файлов: Adobe Acrobat (PDF)

Описание:
СПб.: СПбГПУ, 2008. - 227с.
В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети».

Предметом этой книги является парадигма автоматного программирования.
Автоматное программирование, иначе называемое ≪программирование от состояний≫ или ≪программирование с явным выделением состояний≫ – это метод разработки программного обеспечения (ПО), основанный на расширенной модели конечных автоматов и ориентированный на создание широкого класса приложений.
Вопреки распространенному мнению, здесь речь идет не только и не столько о
использовании конечных автоматов в программировании, сколько о методе создания
программ в целом, поведение которых описывается автоматами.
Программирование с использованием автоматов имеет достаточно богатую историю
развития. Различные аспекты и понятия, связанные с этой идеей, рассматривались в
работах многих авторов с самых разных точек зрения и применительно к различным
конкретным вопросам. Программирование от состояний является одним из основных
стилей программирования.
Как целостная парадигма разработки ПО, автоматное программирование сформировалось, в основном, благодаря усилиям одного из авторов этой книги, который в 1991 г. предложил технологию для поддержки этого стиля программирования. В его работах можно найти обсуждение различных аспектов этого метода программирования, а краткое описание предлагаемой парадигмы программирования содержится, например, в работе [Шалыто А. А. Парадигма автоматного программирования //Научно-технический

Размер файла: 1,4 Мбайт
Фаил: