Проектирование, разработка и оценка надежности сложных программных систем
Описание
В монографии рассмотрены проблемы проектирования и разработки программного обеспечения. Представлено описание этапов лексического, синтаксического и семантического анализа. Представлены основы семантической теории программ. Рассмотрены средства экспресс-анализа эффективности функционирования высоконадежной программной системы. Предназначено для специалистов в области проектирования и разработки программного обеспечения, а также аспирантов и докторантов. Материалы монографии рекомендуются к использованию при проведении лекционных и практических занятий у бакалавров направлений 09.03.03 «Прикладная информатика», 38.03.02 «Менеджмент», 38.03.05 «Бизнес-информатика».