Template:MathematicalSemanticModel

Denotational Cognitive Model ([[{{{name}}}]]) Abstract Specification [[{{{name}}}/Context|Context]] {{:{{{name}}}/Context}} [[{{{name}}}/Goal|Goal]] {{:{{{name}}}/Goal}} [[{{{name}}}/Criteria|Success Criteria (Liveness) ]] {{:{{{name}}}/Criteria}}
Concrete Implementation(s) [[{{{name}}}/Output|Outputs]] [[{{{name}}}/Process|Process]] [[{{{name}}}/Input|Inputs]] {{:{{{name}}}/Output}} {{:{{{name}}}/Process}} {{:{{{name}}}/Input}}
[[{{{name}}}/Boundary|Boundary Conditions of {{{name}}}/(Safety Conditions)]] {{:{{{name}}}/Boundary}}