We present an approach to the design of a literate programming tool for the algebraic programming language Opal, which serves as a back-end in the formal program derivation process. In designing our documentation system we not only take technical aspects into account , but also have the acceptance of the documentation system by the software developer in mind.

Abstract Introduction It was noticed that the current electronic theatre coding system limited in its reflection of departmental activity and discrepancies discharge letters compared to actual operations performed. To prevent this from recurring, a standardised neurosurgical operation note developed, an audit undertaken see if correct matched code listed. Method A 6-month retrospective analysis...