| 
|
Quote: Model II specifies a program by describing the source and target data and by asserting relations between these
topics >
all references >
references p-r >
Topic:
requirement specification by assertion
Quotation Skeleton
A Model II specification of a program consists … and names of databases. The second part is … involved in the specification. [input,output data] … The third part, the assertions, is the relational … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: requirement specification by assertion (28 items)