| Name | Description |
|---|---|
| VerificationModel | |
| Scenario | A scenario defines the course of actions to be simulated. It emulates the user or external events that will be experienced by the system. |
| Requirement | |
| Design | A particular design alternative or version is represented by a model to be used for verification against requirements. |