Justification

[Base] tab

  • Namespace

    • Display the namespace (module hierarchy) to which the Justification belongs.

  • ID

    • It is a unique identifier in the name space to which the Justification belongs and can be changed.

  • Uninstantiated

    • If this checkbox is checked, it indicates that the Justification is not yet instantiated and will be further elaborated later.

  • Public

    • If this checkbox is checked, it indicates that the Justification can be referenced by other Modules.

  • Statement

    • Description of this Justification