The system shall provide command line interface (CLI) to faciliate model management.
- type: user-requirement
- derive: CLI Interface Structure
- derivedFrom: System Model Interfaces
The system SHALL provide a web-based interface to browse the System model documentation, including all generated artifacts such as diagrams, reports, and verification traces.
Implementation details shall follow the associated refinement specifications.
- type: user-requirement
- derive: HTML Export
- derive: Serve Command
- derivedFrom: System Model Interfaces
- refinedBy: Web Interface Refinement Specification