During the assumption stage, we must assume that there
exists a correspondence between the program and the
functionalities that it incorporates. However, with no
information available from the documents about the program
with its functionality relationship, one would have to find it
individually. In addition to the difficulty we face as to “what
programs should we read?” we also have the problem that
we might have to start again with a new assumption posted
again if we find that our assumption was wrong (Fig. 2(a)).
Factor 2: Programming knowledge level difference between
writer and reader