Chris Johnson, Index
Leveson's Completeness Criteria
- Human Computer Interface Criteria.
- State Completeness.
- Input/Output Variable Completeness.
- Trigger Event Completeness.
- Output Specification Completeness.
- Output to Trigger Relationships.
- State Transitions.