Difference between revisions of "Template:AbstractSpecification"
Jump to navigation
Jump to search
| (7 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
<noinclude> | |||
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'''. | |||
{{Template:AbstractSpecification | |||
|name=AbstractSpecification | |||
}} | |||
</noinclude> | |||
{| class="wikitable margin-left: 0px;" style="width: 100%; margin: auto;" | {| class="wikitable margin-left: 0px;" style="width: 100%; margin: auto;" | ||
|+ style="caption-side:top;"|<small>Specification</small> | |+ style="caption-side:top;"|<small>Abstract Specification</small> | ||
|- | |- | ||
!style="width: | !style="width: 15%"| '''[[{{{name}}}/Context|Context]]''' | ||
|| {{:{{{name}}}/Context}} | || {{:{{{name}}}/Context}} | ||
|- | |- | ||
!style="width: | !style="width: 15%"| '''[[{{{name}}}/Goal|Goal]]''' | ||
|| {{:{{{name}}}/Goal}} | || {{:{{{name}}}/Goal}} | ||
|- | |- | ||
!style="width: | !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}} |