Specification Languages

Sws

---++ Some Formal Specification Languages

   * [[http://www.specware.org/doc.html][Specware/Metaslang]],
     the specification language of the Specware system

   * [[http://www.brics.dk/Projects/CoFI/CASL.html][CASL]],
     Common Algebraic Specification Language

   * [[http://www.ldl.jaist.ac.jp/cafeobj/][CafeOBJ]],
     the specification language of the Cafe system

   * [[http://www.b-core.com/ONLINEDOC/BMethod.html][B]] --
     not only a language, but also a method

   * [[http://www.zuser.org/z/][Z]]

   * [[http://www.csr.ncl.ac.uk/vdm/][VDM]],
     Vienna Development Method

   * [[http://www.omg.org/spec/UML/2.0/][UML 2.0]]