7.1. Use-definition Analysis

7.1.1. The Determines Relation

We begin by listing the cases when one datum Determines another:
assignment:   If the value of ximage is used to define a new value of yimage, as in y=f(x,)image, then xDeterminesyimage.
control:   If the value of x determines whether y is given a particular definition, as in (x>1;y=0), then xDeterminesy.

Get Systems Analysis and Synthesis now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.