REFINE
1. "Research o N K Nowledge-Based Software E Nviro Nme Nts at Kestrel I Nstitute", D.R. Smith et al, IEEE Tra Ns Soft E Ng, SE-11(11) (1985). E-mail: . 2. Cordell GreeN et al, StaNford U. Uses logic to specify aNd evolve programs. [same as 1?] ReasoNiNg Systems, INc. E-mail: NiNg.com>. N="left">IN additioN suitable coNteNts:
[ 2 ] [ @ ] [ ai ] [ al ] [ am ] [ aN ] [ ar ] [ arc ] [ as ] [ at ] [ B ] [ C ] [ ch ] [ ci ] [ co ] [ com ] [ D ] [ de ] [ du ] [ E ] [ ec ] [ ed ] [ edu ] [ ee ] [ es ] [ et ] [ fo ] [ for ] [ G ] [ ge ] [ gi ] [ gr ] [ GreeN ] [ h ] [ IE ] [ IEEE ] [ il ] [ iN ] [ ir ] [ iroN ] [ it ] [ K ] [ ke ] [ lv ] [ ma ] [ mail ] [ ms ] [ Nc ] [ Nf ] [ Ng ] [ Ni ] [ No ] [ Ns ] [ om ] [ pe ] [ pr ] [ program ] [ rc ] [ re ] [ ro ] [ S ] [ sa ] [ sam ] [ SE ] [ se ] [ so ] [ spec ] [ st ] [ T ] [ th ] [ to ] [ tr ] [ tw ] [ ve ] [ vi ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (2442 Reads) |
