Integrating Requirements Engineering Techniques and Formal Methods

Integrating Requirements Engineering Techniques and Formal Methods

María Virginia Mauco, Daniel Riesco
DOI: 10.4018/978-1-59140-553-5.ch274
OnDemand:
(Individual Chapters)
Available
$37.50
No Current Special Offers
TOTAL SAVINGS: $37.50

Abstract

Formal methods help to develop more reliable and secure software systems, and they are increasingly being accepted by industry. The RAISE1 Method (George et al., 1995), for example, is intended for use on real developments, not just toy examples. This method includes a large number of techniques and strategies for formal development and proofs, as well as a formal specification language, the RAISE Specification Language (RSL) (George et al., 1992), and a set of tools (George et al., 2001).

Complete Chapter List

Search this Book:
Reset