Presenting micro-theories of program comprehension in pattern form

We present the notion of cognitive patterns, and provide several examples. A cognitive pattern is the written record of a solution to a recurring cognitive problem typically employed by experienced practitioners. We focus on those relevant to program comprehension, which we have developed through studying the literature and conducting field studies. Collectively the set of patterns constitute a rich theory of program comprehension, which is why we call each one a micro-theory. We expand on one pattern, temporal details, which is also a ´pattern language since it breaks down into sub-patterns´. A key use of cognitive patterns is to suggest useful features for tool designers to implement.