| 
|
Quote: use tables to specify the post-value of a variable for various combinations of pre-values
topics >
all references >
references p-r >
Topic:
formal methods and languages
Topic:
decision table
Topic:
requirement specification by assertion
Topic:
design documentation
Quotation Skeleton
The basis of [a tabular] representation is the fact … predicate. … [p. 953] Each pair in [the relation] R will be … [where 'v_i is the value of v_i before an execution of P and v_i' is the value after an execution of P.] … [p. 954] We found it useful to introduce a … [to specify that some variables do not change their values]. [The column headers specify mutually exclusive sets of values for some expression. The row headers specify the post-value of a variable. The entries specify a value or constraint of a variable under a condition. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: an 'NC' entry specifies that the variable is not changed for that combination of pre-values
Topic: formal methods and languages (53 items)
Topic: decision table (29 items)
Topic: requirement specification by assertion (28 items)
Topic: design documentation (43 items)