Эта книга представляет собой практическое введение в проектирование и управление требованиями на основе моделей, описывая набор представлений, которые составляют основу подхода. Эти представления учитывают каждое отдельное требование с точки зрения его описания, но затем также придают каждому требованию смысл, помещая его в правильный контекст. Требование, помещенное в контекст, известно как «сценарий использования» и может основываться либо на заинтересованных сторонах, либо на уровнях иерархии в системе. Затем каждый вариант использования должен быть проанализирован и подтвержден путем определения комбинации сценариев и формальных математических и логических доказательств, которые обеспечивают строгость, необходимую для критически важных для безопасности и критически важных систем. В книге также рассматривается важнейший вопрос нотаций моделирования требований и обсуждаются вопросы использования и применения текстовых и табличных форматов sysML@. Прагматические вопросы@, такие как адаптация подхода к коротким@ некритическим проектам к масштабным@ критически важным проектам, обсуждаются, чтобы показать, как методы, представленные в книге, могут быть применены к реальным проектам и системам. Можно обсудить использование нескольких инструментов вместе с примерами того, как эффективный процесс может привести к реализации с помощью любого инструмента. Автор(ы) Джон Холт@ Саймон А. Перри@ Майк Браунсворд