<programming, specification> The process of deriving (efficient) programs from (clear) specifications.
See also program transformation.
(23 Aug 1996)