ace-lectures / atco-eats

Requirement document for the ATCO-Eats case study (3RA3)
https://ace-lectures.github.io/atco-eats/
Other
4 stars 6 forks source link

(E.6) Invariants #9

Closed mosser closed 1 year ago

mosser commented 1 year ago

Properties of the environment that the system's operation must preserve, i.e., properties of the environment that operations of the system may assume to hold when they start, and must maintain