Author(s)

A. Ward

Abstract

BluePrint is a software engineering environment. It provides support for the practical use of formal specification and machine assisted reasoning. The environment maintains system-wide completeness and consistency check- ing, that supports the control of modern risk-driven development processes. Proofs of required system properties can be developed at the specification level, and semantic checking is available to prove that an implementation meets the specification and therefore will also have these properties. Highly automated testing and Failure Modes Effects Analysis are possible. Appropriate process models for the use of BluePrint are described. These models emphasise tackling major threats early, and have short planning cy- cles to keep flexibility. High risk in particular subsystems is controlled by the use of early parti

Keywords