VDict - Definition of formal methods

search result for formal methods in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

formal methods method software reliability EPROS COLD-K safety-critical system Basic Object System FORMAL Imperial Software Technology Methods inheritance neats vs. scruffies component architecture class hierarchy formal argument FSL Formal Description Technique Language Of Temporal Ordering Specification Estelle alpha conversion object-oriented programming lclint De Bruijn notation KEE linear type Business Application Programming Interface CATE referential transparency copy protection HDFL CADD Relative Record Data Set IGL structured analysis Return To Zero Privacy Enhanced Mail Knowledge Sharing Effort type class huff ontology Keyed Sequenced Data Set gripenet FDT parameter param content-based information retrieval Eurisko TM inspection SMoLCS term rewriting system OBSCURE social science number wiggles thunk theory change Eva EML Pam ICONIX Software Engineering, Inc.requirements ALEPH CASE tools math-out parser generator FORML Software Verification Research Centre ASPLE complete theory operational test and evaluation Formal Object Role Modeling Language Adam7 actual argument logic DigiCash Forward Error Correction Assembly Language FFP TL/I SmallVDM

First < Previous 1 2 3 Next > Last