Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Model-Based Requirements Engineering, PDF eBook

Model-Based Requirements Engineering PDF

Part of the Computing and Networks series

PDF

Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.

Description

This book provides a hands-on introduction to model-based requirements engineering and management by describing a set of views that form the basis for the approach.

These views take into account each individual requirement in terms of its description, but then also provide each requirement with meaning by putting it into the correct 'context'.

A requirement that has been put into a context is known as a 'use case' and may be based upon either stakeholders or levels of hierarchy in a system.

Each use case must then be analysed and validated by defining a combination of scenarios and formal mathematical and logic-based proofs that provide the rigour required for safety-critical and mission-critical systems.

Information

Information