VDict - Definition of formal methods

search result for formal methods in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

selector to a first approximation formal review lobotomy me too Program Design Language GIP algebraic structure acceptance testing Cecil John McCarthy radiosity symbolic logic knowledge base Gottlob Frege Rapidly Extensible Language, English manularity SFLV SIPLAN Monte Carlo attribute EULER collision detection POLYGOTH Virtual Storage Access Method query B-Method Internet-Draft hakspek encapsulation Calculus of Communicating Systems algorithm Nuprl A Language for Attributed Definitions bubble sort FLIP Concrete Data Structure Ellie brute force and ignorance CORAL Vienna Definition Language Larch bound variable protocol linear argument Request For Comments infinite automaton source code japh Vienna Development Method Object Management Group black art password POOL2 inline Oberon-2 Fast Fourier Transform ActiveX back-propagation programming language class out-of-band abstract data type Graphical Kernel System domain engineering Berkeley Network protocol layer Expanded Memory Specification CDL symbolic mathematics abstract machine priority inversion data model pattern matching digital carrier crunch ML argument macro

First < Previous 1 2 3 Next > Last