Template:NewLM

From PKC
Revision as of 12:43, 3 December 2021 by Benkoo (talk | contribs) (Created page with " {| class="wikitable margin-left: 10px;" style="width: 95%; border-width: 5px; margin: auto;" |- ! Denotational Cognitive Model ([[{{{name}}}]]) |- | {{Template:AbstractSpecif...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
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}}