503 Lecture 13


•	Definition: The task of building mental models

	of the underlying software at various

	abstraction levels, ranging from models of the

	code itself to ones of the underlying application

	domain, for maintenance, evolution, and re-

	engineering purposes [H. Müller]