3. An apparatus for producing machine-executable object code, a program listing, and verified design documentation from a source program having a plurality of statements of implementation code including keywords, and corresponding design documentation code including keywords identical to the keywords of the corresponding implementation code, each of said design code statements further including a symbol designating the statement as design code, said apparatus comprising: input means for reading said source program; comparison means for verifying that the implementation code keywords include the corresponding design documentation code; error indication means for signifying any locations in the source program where the implementation code does not include corresponding design documentation code; compilation means for producing (a) the machine-executable object code from said implementation code, said machine-executable object code including executable commands derived from the implementation code keywords, and (b) the program listing as a listing of all the implementation code in the order of appearance in the source program; and extractor means for producing the design documentation by listing all the design documentation code statements in the order of appearance in the source program, said design documentation including any error indication from said error indication means.
3. An apparatus for producing machine-executable object code, a program listing, and verified design documentation from a source program having a plurality of statements of implementation code including keywords, and corresponding design documentation code including keywords identical to the keywords of the corresponding implementation code, each of said design code statements further including a symbol designating the statement as design code, said apparatus comprising: input means for reading said source program; comparison means for verifying that the implementation code keywords include the corresponding design documentation code; error indication means for signifying any locations in the source program where the implementation code does not include corresponding design documentation code; compilation means for producing (a) the machine-executable object code from said implementation code, said machine-executable object code including executable commands derived from the implementation code keywords, and (b) the program listing as a listing of all the implementation code in the order of appearance in the source program; and extractor means for producing the design documentation by listing all the design documentation code statements in the order of appearance in the source program, said design documentation including any error indication from said error indication means. 4. An apparatus according to claim 3 wherein the error indication means signifies locations where keywords do not include corresponding design documentation code.