VDict - Definition of Software Verification Research Centre

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

First < Previous 4 5 6 7 8 9 10 Next > Last

CSCI NQS Purify ISV NSRD CAST PureLink DSEE Software bus SSADM Boehm B.Wolfram Research, Inc.XPC AST Research, Inc.FUSE Berkeley EDIF200 HOS-STPL MACAnalyst ISDE GANDALF NSE SuperTalk FL Napier European Strategic Programme for Research in Information Technology CASE Labtech Notebook Macintrash Domain Software Engineering Environment bottom-up model COSE neutrosophic statistics instrument Apple Open Collaboration Environment applications software GAMS 4.2BSD BSDI Blue Sky Software BSD Unix GEI CISI ProDoc SDE Pansophic Pretty Good Privacy Advanced Software Environment WizDOM Bertrand Meyer ISEE Software BackPlane DECdesign sneck lunatic fringe Stanford Artificial Intelligence Language JBOPS resolver BOLERO TK!Solver Systems Application Architecture toolbook copy protection CodeCenter interface analysis Analogy Model Foresight DataViews Refined Fortran ISO Development Environment edutainment PL/M Tornado AutoCAD Westmount ISTAR Application Portability Architecture payware rapid prototyping software tool Ada Software Repository

First < Previous 4 5 6 7 8 9 10 Next > Last