| 
|
Quote: Cleanroom designs are mapped statement-to-statement into PL/1; automated
topics >
all references >
references i-l >
Topic:
executable code from specifications and designs
Topic:
Cleanroom software development
Quotation Skeleton
Once correctness verification is complete for each increment, … are permitted in the translation; hard- won design … detail sufficient to ensure statement-to-statement mappings into PL/I. … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: coding a Cleanroom design must follow the design exactly
Topic: executable code from specifications and designs (18 items)
Topic: Cleanroom software development (38 items)