Summary Of: Specification language

Encyclodia Page On: Specification language

These Are Links To Other Documents

formal language | computer science | programming languages | systems analysis | requirements analysis | systems design | algebraic | model-theoretic | sets | functions | CASL | axioms | logical system | VDM | Z | Hartmann pipelines | dataflow | Actor model | proofs | program correctness | theorem prover | Unified Modelling Language | CASL | Vienna Development Method | Z notation | Formal specification | Language-independent specification | | computer language | stub | help | Categories | Specification languages | Technical communication | Computer language stubs |