A methodology for deriving implementations from specifications. See also [[program synthesis]], [[program refinement]], [[Bird Meertens Formalism]].

-- Main.EelcoVisser - 01 Apr 2002 <br />