VDict - Definition of Formal Description Technique

search result for Formal Description Technique in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

DDL software reliability math-out overflow bit FORML ASPLE Computer Aided Software Engineering complete theory speculative execution operational test and evaluation Formal Object Role Modeling Language ISL actual argument optimal legalese multiple value FFP EPROS locked and loaded IDL Intent to Package TL/I SmallVDM fractal compression structured programming CGGL Staggered Pin Grid Array top-down design COLD-K constant folding packet writing hardware handshaking formal review lobotomy firefighting busy-wait Real-Time Common Design Language me too Digital Simultaneous Voice and Data Program Design Language speculative evaluation sequential file matching ternary stac compression Fourier transform boundary value analysis SPSS, Inc.Digicom Netfind algebraic structure acceptance testing admissible John McCarthy General Packet Radio Service subband encoding Program Evaluation and Review Technique symbolic logic dweeb knowledge base Gottlob Frege Rapidly Extensible Language, English bottom-up testing trampoline Adobe Systems, Inc.SFLV PCL SIPLAN safety-critical system simulated annealing distfix font EULER bit slice unary Delta PDP Assembly Language feasible POLYGOTH FOD Xilinx Netlist Format

First < Previous 1 2 3 4 5 Next > Last