Difference between revisions of "Template:AbstractSpecification"

From PKC
Jump to navigation Jump to search
Line 1: Line 1:
<noinclude>
<noinclude>
This template is designed to help users state the requirements in logically testable terms.
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 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'''.


{| class="wikitable margin-left: 0px;" style="width: 100%; margin: auto;"
{{Template:AbstractSpecification
|+ style="caption-side:top;"|<small>Abstract Specification</small>
|name=AbstractSpecification
|-
}}
!style="width: 15%"| '''[[AbstractSpecification/Context|Context]]'''
|| {{:AbstractSpecification/Context}}
|-
!style="width: 15%"| '''[[AbstractSpecification/Goal|Goal]]'''
|| {{:AbstractSpecification/Goal}}
|-
!style="width: 15%"| '''[[AbstractSpecification/Criteria|Success Criteria]]'''
|| {{:AbstractSpecification/Criteria}}
|}


</noinclude>
</noinclude>

Revision as of 07:50, 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.


Abstract Specification
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 A unified collection of decidable statements that checks on the observed outputs and determines the logical conditions or degrees of success.


Abstract Specification
[[{{{name}}}/Context|Context]] {{:{{{name}}}/Context}}
[[{{{name}}}/Goal|Goal]] {{:{{{name}}}/Goal}}
[[{{{name}}}/Criteria|Success Criteria]] {{:{{{name}}}/Criteria}}