VDict - Definition of algebraic specification

search result for algebraic specification in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

Algebraic Specification Language SRDL ACT ONE Extended ML ASPIK ASL+SDF algebraic ASF ASL Omega-algebraic LOOK PLUSS GSBL algebraic data type ASpecT Multimedia Personal Computer LARCH/CLU LISP Extended Algebraic Facility RSL Opal Magritte AMBIT formal methods ANNotated Ada IAM Fresco Vienna Development Method Algebraic Interpretive Dialogue Vienna Development Method Specification Language SPADE BMASF ATX CLEAR PAISley SmallVDM functional specification me too Spec Ina Jo framing specification Document Style Semantics and Specification Language Calc Denotational Semantics Language SPLX Extended Memory Specification Iota VDM++SPECIAL MARVIN Graphics Interchange Format Language Of Temporal Ordering Specification null modem PCI Mezzanine Card B-Toolkit Larch Synthesizer Specification Language Bertrand MPC Level 1 Specification Z Slot 1 DOS Protected Mode Interface Socket 7 B Cache On A STick SDL PowerOpen Environment Axiomatic Architecture Description Language NLX Lex JavaServer Pages MPC Level 2 Specification Octave PROgrammed Graph REwriting Systems OpenStep Java Virtual Machine Internet Open Trading Protocol model checking International Algebraic Language ALF

First < Previous 1 2 3 4 5 Next > Last