Functions are discrete, testable system behaviors. The atomic unit of requirements. One input, one expected output. Answer: How exactly must it behave?

UID prefix: FN- Traces up to: Features (FEAT-) Implemented by: Source code (# impl FN-NNN) Verified by: Tests (# verify FN-NNN)

• FEAT-000

  1. Feature Template UID: FEAT-000 STATUS: Template RELATIONS (Parent):

  • UC-000 Use Case Template

  RELATIONS (Child):

  • FN-000 Function Template
  • DATA-000 Data Entity Template
  • INTF-000 Interface Template

  STATEMENT:

  The system shall provide [feature description].

  Scope: - [included]

  Out of scope: - [excluded]

  Dependencies: [other features or systems required]

FN-000

1. Function Template UID: FN-000 STATUS: Template RELATIONS (Parent):

• FEAT-000 Feature Template

STATEMENT:

The system SHALL [specific measurable behavior].

Input: [what triggers this] Output: [what the system produces] Constraints: [timing, format, limits] Verification method: [test / inspection / analysis / demonstration]