Template:AbstractSpecification
Jump to navigation
Jump to search
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. |
| (Liveness)Success Criteria | 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}} |
| (Liveness)[[{{{name}}}/Criteria|Success Criteria]] | {{:{{{name}}}/Criteria}} |