Model-Based Requirements Engineering

Jon Holt

eBook (pdf)

(0)

Donner la première évaluation

This book provides a hands-on introduction to model-based requirementsengineering and management by describing a set of views that...

CHF131.90

Download est disponible immédiatement

eBook (pdf)

Description

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 'context'. A requirement that has been put into a contextis known as a 'use case' 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.