В книге американского специалиста рассматривается методология разработки прикладных систем программного обеспечения с использованием средств алгоритмического языка Ада. Значительное внимание уделяется принципам формализованного описания проектируемых систем, обеспечивающим концептуальное единство всех их компонентов и возможность прямого преобразования системных представлений в Ада-программы. Изложение иллюстрируется множеством примеров, позволяющих легко освоить предлагаемую методологию.Для разработчиков автоматизированных систем управления, системных и прикладных программистов, а также студентов соответствующих специальностей вузов.

Скачать книгу бесплатно (djvu, 5.93 Mb)

---

Читать «Язык Ада в проектировании систем»