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