Domain Based Program Reading
A program reader usually begins code reading with some knowledge of the application domain from which the program to be read is taken
Program reading instantiates and extends this knowledge as more is learned about the functioning of the program
That is, SR refines a domain model at the same time it refines the corresponding program model
Hence the name, Synchronized Refinement