Template:CombinedMentalModel

A Combined Mental Model, or a Denotational Cognitive Model, must include an Abstract Specification, and at least one Concrete Specification.

It can be organized in the following table:

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