| 
|
Quote: Model II checks for ambiguities, incompleteness, inconsistencies and redundancies
topics >
all references >
references p-r >
Topic:
automated tests of specifications and designs
Topic:
executable code from specifications and designs
Topic:
business application language
Quotation Skeleton
The system verifies many mathematical aspects of the … that have been discovered. … When all problems are resolved, the Model II … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: Model II produces a PL/1 or Cobol program from a specification
Topic: automated tests of specifications and designs (12 items)
Topic: executable code from specifications and designs (18 items)
Topic: business application language (11 items)