| Definition: | | 1. "Research on Knowledge-Based Software Environments at Kestrel Institute", D.R. Smith et al, IEEE Trans Soft Eng, SE-11(11) (1985). E-mail: <[email protected]>. 2. Cordell Green et al, Stanford U. Uses logic to specify and evolve programs. Reasoning Systems, Inc. E-mail: <[email protected]>. |