Logical Operators v3.4.0 (TR292E)

The ontology model specified in this document defines logical operators that can be used to concatenate atomic conditions into a logical tree. Evaluating this tree determines the compliance of a system to partial requirements and ultimately to an intent.

General Information

Document series: TR292E
Document version: 3.4.0
Status: Team Approved
Document type: Technical Report
Team approved: 29-Feb-2024
IPR mode: RAND
Published on: 05-Mar-2024
Date modified: 29-Feb-2024