| 
|
Quote: in Cleanroom, used intensive team reviews to verify two formal grammars of 1500 productions each; no grammar errors found in field testing
topics >
all references >
references i-l >
Group:
program proving
Topic:
software review
Topic:
Cleanroom software development
Quotation Skeleton
Formal verification begins with specifications, which are checked … VS COBOL II, comprised of some 1500 productions … were encountered in field testing. Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: software review (80 items)
Topic: Cleanroom software development (38 items)