TR292E Logical Operators v1.0.0

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: 1.0.0
Status: Member Evaluated
Document type: Technical Report
Team approved: 07-Feb-2023
IPR mode: RAND
Published on: 17-Feb-2023
Date modified: 17-Mar-2023