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

Previous slide Next slide Back to the first slide View Graphic Version