Основываясь на собственном, причем весьма обширном, опыте, авторы, с одной стороны, раскрывают основные технические вопросы проектирования, специфицирования и проверки правильности, а с другой - неизменно подчеркивают важность коммерческого контекста, в котором проводится проектирование крупных систем....