Автоматное программирование (Надежда Поликарпова); Питер, 2011

Издатель: ПИТЕР
ISBN: 978-5-4237-0075-1
Книги: Программирование
ID:5850609

Где купить

Рейтинг:

(4/5)

Отзывы (5) Оставить отзыв

Описание Характеристики Цены Отзывы (5)

Где купить

Последняя известная цена от 58 р. до 58 р. в 1 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

Магазин	Цена	Наличие
Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	✔ Промокоды на скидку

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома

История цены
Магазин	Последняя известная цена	Обновлено
ЛитРес	58 р.

Описание

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

Смотри также о книге.

О книге

Параметр	Значение
Автор(ы)	Надежда Поликарпова
Издатель	Питер
Год издания	2011

Отзывы (5)

Денис Бушуляк — 2 Ноября 2020

4/5

Сложно написано, как для тех, кто в теме уже давно. Но тем не менее вдохновляет на исследование и лично я с этого момента буду стремиться освоить этот подход разработки.
autoreg918102938 — 1 Июля 2020

5/5

По-моему Очень глубокая книга (и при этом краткая).
Автоматное программирование – один из подходов, которые должны помочь решить Основное Противоречие современного IT: чрезвычайная Сложность и Высокочастотная Изменчивость прикладной логики эксплуатантов, при одновременном требовании Высочайшей Надежности (предсказуемость, однозначность подведения и корректная обработка исключительных ситуаций).
Другие подходы, непосредственно родственные Автоматному Программированию:
* Domain Driven Design (DDD) – по сути проекция единых методов Системной Инженерии (Systems Engineering) на разработку ПО.
* Языково-ориентированное программирование – создание узко-специализированных языков предметной области (Domain Specific Language, DSL)
для описания алгоритмов и структур данных «данного ограниченного контекста модели предметной области», выражаясь в терминах DDD.
* Test Driven Design (TDD)
* Контрактное программирование (ЯП Eiffel, Бертран Мейер) – по сути, автоматное описание, описание на DSL, юнит-тесты в TDD… – все это формы «контракта», когда
Система обязуется обработать некую ситуацию так-то и так-то.
Это тесно переплетается в идеей Шалыто, что нужен не «открытый исходный код» («открытый» часто лишь для того, кто его писал сам, а для остальных – «проще переписать заново!»), но «открытые спецификации» (по четко описанным спецификациям, генерировать исполняемый код сможет система мета-программирования автоматически.)
Но по-настоящему «открытыми» спецификации могут стать Только тогда, когда выражены очень просто, на языке, понятном специалисту предметной области, которую мы хотим автоматизировать. Пока же мы «хороним» прикладную логику под тоннами низкоуровневого кода на C++/Qt, SQL и reg-exp , то поведение системы для эксплуатантов совершенно непонятно. А знания предметной области, накопленные за годы (!) эксплуатации системы будут утеряны – т.к. выражены не в human-readable спецификациях, а «размазаны» по «костыльному» коду (а, начиная с некоторого уровня сложности, который достигается «неожиданно» быстро, код становится непонятным и для нас самих тоже).