VDict - Definition of Vienna Development Method Specification Language

search result for Vienna Development Method Specification Language in Computing (FOLDOC) dictionary

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

Vienna Development Method Specification Language Vienna Development Method Meta-IV VDM-SL Vienna Definition Method LARCH/CLU Vienna Definition Language ASPIK Fresco SDL B Algebraic Specification Language Axiomatic Architecture Description Language RSL SRDL ACT ONE B-Toolkit Extended ML High Performance Fortran ANNotated Ada Denotational Semantics Language Synthesizer Specification Language P3L BMASF Z DOS Protected Mode Interface Hierarchical Music Specification Language Language Of Temporal Ordering Specification Larch Cecil Spec Ina Jo Prograph ASL+SPLX formal methods Iota Unified Modeling Language SPECIAL MARVIN Opal Vienna Fortran SSL Lex RDL Delta Java Virtual Machine SPADE Data definition language Tree Transformation Language SPL Abstract-Type and Scheme-Definition Language CLEAR PAISley VDM Syntax/Semantic Language A Language for Attributed Definitions PROgrammed Graph REwriting Systems ATX me too Dynamic Systems Development Method ADL B-Method natural language Process Design Language 2 Formal Description Technique Document Style Semantics and Specification Language Natural Language Information Analysis Method POLYGOTH SDF ISL Analog Hardware Design Language legalese Eva LPG GVL Pam ADELE OLGA PLUSS

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