┌─────────────────────────┐ │Functional Specifications│ ├─────────────────────────┤ ┌───────────────────────────┐ │Completeness │ │Supplemental Specifications│ │Correctness │ ├───────────────────────────┤ │Appropriateness │ └───────────────────────────┘ └─────────────────────────┘ | | | ┌──────────────────────────────┐ | │System Functional Requirements│ | ├──────────────────────────────┤ | │DateTime │ | │Diagnostics │ | │Caching │ ┌──────────────────────────────┐ ┌──────────┐ ┌──────────────────┐ │Host Settings │ ┌───────────────────────────┐ │Domain Functional Requirements│ │Principles│ │System Constraints│ │Data Access │ │Non-Functional Requirements│ ├──────────────────────────────┤ ├──────────┤ ├──────────────────┤ │Authentication │ ├───────────────────────────┤ └──────────────────────────────┘ └──────────┘ └──────────────────┘ │Authorisation │ └───────────────────────────┘ │Auditing │ │Assistance │ │Cryptographic Services │ │Licensing │ │etc. │ └──────────────────────────────┘