The Lambda System [Fourman, et. al. 88]
The Lambda System [Fourman, et. al. 88]
m Built on top of ML. Integrates proof and design into a single paradigm.
IF present _design + additions ACHIEVES task_1
AND ...
...
AND present_design + additions ACHIEVES task_n
__________________________________________________
THEN present_design + additions ACHIEVES specification