Quote: segments are the computation units for a Programmers_Assistant plan; consists of input/output ports, preconditions, and postconditions

Quotation Skeleton

The basic unit of a plan is a … A segment corresponds to a unit of computation. … receives and the output values it produces. … [p. 4] It has a set of specifications … which give pre-conditions which must be true of … be true after the segment is executed. …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: executable code from specifications and designs (18 items)