VDict - Definition of Software Verification Research Centre

search result for Software Verification Research Centre in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

software development life cycle Software AG ESP extended memory manager Algorithmic Model HOL-UNITY New Jersey Groupwise antivirus software Directory User Agent USL finger-pointing syndrome code Enterprise Resource Planning PDP-10 Dynamic Drive Overlay distribution fault-based testing Oracle Corporation Compuware Corporation Conway's Law fry ULCC MSG.84 Extended Tiny Expanded Memory Specification Thinking Machines Corporation Revision Control System sorcerer's apprentice mode Alphard simultaneous shipment kit Sales Force Automation network operating system Yet Another Compiler Compiler DACNOS Artisoft, Inc.Debian SAL Constructive Cost Model Delta The Mythical Man-Month Universal Communications X Pantone Macintosh user interface Powersoft Corporation Pilot European Image Processing Archive wetware ill-behaved The Microsoft Network software interrupt MARSYAS display standard file server Expert Systems Ltd.GNU source package awk Amdahl Corporation shareware software handshaking Sticks&Stones Interest Group in Pure and Applied Logics ViewPoints domain distributed system pm2 Matrix Math eXtensions Archimedes paraML specific markup portability parallel processing apE voxel handshaking LPAC PDC Prolog exception heartbeat

First < Previous 1 2 3 4 5 6 7 Next > Last