Denotational Cognitive Model
Jump to navigation
Jump to search
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) |
---|
Context | Denotational Cognitive Model/Context |
---|---|
Goal | Denotational Cognitive Model/Goal |
Success Criteria (Liveness) | Denotational Cognitive Model/Criteria |
Outputs | Process | Inputs |
---|---|---|
Denotational Cognitive Model/Output | Denotational Cognitive Model/Process |
Inputs can be in the following forms:
|
Boundary Conditions of Denotational Cognitive Model/(Safety Conditions) |
---|
|