Debrief

Aliases

Mental Models in SW Eng

Citation Status
Verified
Cited in Generated Atlas
Design Consequence

The real program is the shared mental model in builders' heads; code is a lossy residue — why intent and theory must be carried across human–AI handoffs.

Full Citation

Naur, P. (1985). Programming as Theory Building. (Reprinted in Computing: A Human Activity, ACM Press, 1992.)

Generated Atlas Citations
Source Class
Canonical
Themes
Cognitive Load & Dimensions
The Snag

Code (or output) is a lossy residue; the real theory lives in builders' heads and is lost at handoff.

The Move

Carry intent and theory explicitly in prompts and docs — don't assume the artifact conveys the why.

The Cure

Preserve and transmit the theory behind the work, not only its residue.

The Read

What must transfer across human-AI handoffs is the mental model, not just the artifact.