Model-Based Requirements Engineering

by Jon Holt, Simon Perry, Mike Brownsword

This book provides a hands-on introduction to model-based requirementsengineering and management by describing a set of views that form the basisfor the approach. These views take into account each individual requirement interms of its description, but then also provide each requirement with meaning byputting it into the correct OCycontextOCO. A requirement that has been put into a contextis known as a OCyuse caseOCO and may be based upon either stakeholders or levelsof hierarchy in a system. Each use case must then be analysed and validated bydefining a combination of scenarios and formal mathematical and logic-basedproofs that provide the rigour required for safety-critical and mission-critical systems.The book also looks at the crucial question of modelling notations for requirementsmodelling and includes discussions on the use and application of SysML, text andtabular formats.Pragmatic issues, such as tailoring the approach for short, non-critical projectsto massive, mission-critical projects is discussed to show how the techniquesintroduced in the book can be applied on real-life projects and systems.The use of multiple tools will also be discussed, along with examples of howan effective process can lead to realisation by any tool."

357 pages, Kindle Edition

First published November 30, 2011