Активные методы обеспечения надёжности алгоритмов и программ

📗 В книге изложены вопросы создания эффективных методов автоматизированной разработки ПО распределенных вычислительных систем на основе CASE-технологии, включающей начальные этапы проектирования. Рассматриваются модели и методы концептуального и алгоритмического проектирования, синтеза программ, сертификации программных средств. Описываются технологии проектирования и программные средства их поддержки.
Книга предназначена для специалистов, занимающихся вопросами разработки ПО, а также студентов вузов соответствующих специальностей.