Uses of Specification
l
Specification can be used before coding, to
prove that an already-constructed program
is correct.
l
l
Specification can be used before coding, as
a specification to which code can be
written.
