• CASL

  • 170篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • Obj3

  • 137篇参考文献[SW05370]
  • Obj3是一个程序规范和证明系统。
  • 莫德

  • 651篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 调试器

  • 15篇参考文献[SW09904]
  • 重写逻辑规范的声明性调试。声明性调试…
  • 咖啡厅

  • 2篇参考文献[SW1959]
  • CAFENMAODUD:Maude的CAFEOBO解释器。我们提出…
  • 精灵

  • 43篇参考文献[SW21361]
  • 精灵的元语言。精灵是一种约束…