Specification Languages
Sws
Some Formal Specification Languages
- Specware/Metaslang, the specification language of the Specware system
- CASL, Common Algebraic Specification Language
- CafeOBJ, the specification language of the Cafe system
- B -- not only a language, but also a method
- VDM, Vienna Development Method