Domain PropertiesΒΆ

Domain Properties are descriptive properties about the statement world. Domain Properties may be either hypothesis or invariants.

Adding, updating, and deleting a domain propertyΒΆ

Domain Property form
  • Click on the Requirements/Domain Properties menu to open the Domain Properties table, and click on the Add button to open the Domain Property form.
  • Enter a domain property name, description, and select the type of domain property from the type combo box.
  • Click on the Create button to add the new domain property.
  • Existing domain properties can be modified by clicking on the domain property name in the Domain Properties table, making the necessary changes, and clicking on the Update button.