Difference between revisions of "Template:AbstractSpecification"
Jump to navigation
Jump to search
| (2 intermediate revisions by the same user not shown) | |||
| Line 18: | Line 18: | ||
|| {{:{{{name}}}/Goal}} | || {{:{{{name}}}/Goal}} | ||
|- | |- | ||
!style="width: 15%"| '''[[{{{name}}}/Criteria|Success Criteria]]''' | !style="width: 15%"| '''[[{{{name}}}/Criteria|Success Criteria (Liveness) ]]''' | ||
|| {{:{{{name}}}/Criteria}} | || {{:{{{name}}}/Criteria}} | ||
|} | |} | ||
Latest revision as of 07:51, 4 December 2021
This template is designed to help users state the requirements in logically testable terms. The triplet as shown in the table enables users to click on the left-hand-side link to navigate to the corresponding field to enter statements or hyperlinked items. The following diagram shows an example of AbstractSpecification.
| Context | A statement that explicitly defines the temporal and spatial context using precise semantics, ideally hyperlinked entries. |
|---|---|
| Goal | An imperative statement that servers as a unique identifier that specifies the end result under given context. |
| Success Criteria (Liveness) | A unified collection of decidable statements that checks on the observed outputs and determines the logical conditions or degrees of success. |
| [[{{{name}}}/Context|Context]] | {{:{{{name}}}/Context}} |
|---|---|
| [[{{{name}}}/Goal|Goal]] | {{:{{{name}}}/Goal}} |
| [[{{{name}}}/Criteria|Success Criteria (Liveness) ]] | {{:{{{name}}}/Criteria}} |