Quote: define modules by assertions about state information and state changes; include exception conditions

Note

module definition (Parnas 72) assertions (constants, v- function before and after calls), state info by v-functions (value, initial value and exception conditions), state change by o-function (operation, exception conditions

Related Topics

Topic: requirement specification by assertion (28 items)