Submissions:ActivitySpecification CoversRequirement
From Odp
- If we observe some state
- Is/are the effect(s) true at some time t?
- Is/are the precondition(s) true at some time t?
- What are the preconditions (effects) of a given activity?
- what activity may have caused it?