SCSs Elements

Verified

Via

Syntax &

Type Checking

Domain

Checking

Proof by

Reduction

Requirements Capturing

Use case Diagram

Y

Y

Y

Design Specification

Class Diagram

Y

Y

Y

Construct and Test safety cases

Sequence Diagram

Y

Y

Y