Applying mathematical software documentation

Those who do not use 'formal methods' for developing software (and they remain the overwhelming majority of software developers) often claim that mathematical software development can only be used by highly educated people, and on especially well-written programs. We counter this claim by reporting on some recent experience. An undergraduate engineering student who had no previous exposure to mathematical software documentation techniques was …