VDict - Definition of formal review

search result for formal review in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

formal review FORMAL formal argument FSL Formal Description Technique Language Of Temporal Ordering Specification Estelle alpha conversion formal methods lclint De Bruijn notation PERT Khornerstone code walk Saturday-night special Eden prototyping Internet Engineering Steering Group trap-door function text Program Evaluation and Review Technique ontology UBASIC 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 ISO 9000 TL/I SmallVDM COLD-K 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 Interest Group in Pure and Applied Logics query B-Method Internet-Draft Open DataBase Connectivity Calculus of Communicating Systems Nuprl A Language for Attributed Definitions FLIP Vienna Definition Language Larch bound variable Imperial Software Technology

First < Previous 1 2 Next > Last