TR292E Logical Operators v3.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: 3.0.0
Status: Member Evaluated
Document type: Technical Report
Team approved: 11-Apr-2023
IPR mode: RAND
Published on: 14-Apr-2023
Date modified: 15-May-2023