The advantages of using a NATSPEC specification