うーにゃー

• Discription Logics
  • http://www2.nict.go.jp/univ-com/isp/x163/kaneiwa/DLs.pdf
• cafeobj
  • http://www.ldl.jaist.ac.jp/cafeobj/
• Event-B
  • http://www.event-b.org/
• Alloy
  • http://alloy.mit.edu/alloy/
• protege
  • http://protege.stanford.edu/
• TopBraid Composer
  • http://www.topquadrant.com/products/TB_Composer.html