Re: Ada 95 & MIL-STD 498

[mfb@mbunix.mitre.org (Michael F Brenner)]

Responding to the question how to document under Mil Std 498:

If the contract really demands 498 documentation, then try tailoring 498
(498 shows you how) to eliminate most of the documents, and only
write the documents needed to maintain the system. Do not produce
incorrect documents. Instead of traceability matrices and cross
references, deliver a tool that produces these automatically from the
spec and the code. Instead of elaborate test plans, deliver an automated
test for each unit and for each spec requirement. Instead of design
documents give the entire data flow (including all aliasing), the
preconditions and postconditions of all units, the invariants for all
loops, the timings and sizings for all parallel structures (tasks,
etc.). The most important documentation for software is the full source
code including all library and run-time code used. The most important
advice above is not to produce incorrect documents. Never deliver
paper copies of these documents, only on-line documents in simple
text format or hyperlinked text. Do not pretty them up with word
processors, but a little html is acceptible (only to put in the links). 
Use a consistent format for paragraph numbers and page numbers so
other programs can parse the text of your documents. Finally,
subcontract out the documentation to someone else.