VDict - Definition of FORMAL

search result for FORMAL in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

FORMAL formal argument FSL Formal Description Technique Language Of Temporal Ordering Specification Estelle alpha conversion formal methods lclint De Bruijn notation ontology gripenet param FDT parameter TM inspection SMoLCS term rewriting system OBSCURE thunk Eva EML Pam ALEPH software reliability math-out parser generator FORML ASPLE complete theory operational test and evaluation Formal Object Role Modeling Language actual argument FFP EPROS TL/I SmallVDM COLD-K formal review lobotomy me too Program Design Language algebraic structure acceptance testing John McCarthy symbolic logic knowledge base Gottlob Frege Rapidly Extensible Language, English SFLV SIPLAN safety-critical system EULER POLYGOTH query B-Method Internet-Draft Calculus of Communicating Systems Nuprl A Language for Attributed Definitions FLIP Vienna Definition Language Larch bound variable Imperial Software Technology protocol linear argument Request For Comments infinite automaton source code Vienna Development Method black art POOL2 inline programming language Berkeley Network symbolic mathematics abstract machine

First < Previous 1 2 Next > Last