• ITP

  • 31篇参考文献[ SW09808]
  • 支持规范的增量开发。会员资格 均等的 逻辑是一个表达性的版本均等的 逻辑
  • 调试器

  • 15篇参考文献[SW09904]
  • 重写的声明式调试逻辑规格声明式调试是一种半自动的技术,开始…通过它找出错误。会员资格 均等的 逻辑(MEL)是一个均等的 逻辑那个…状态会员资格表征一类元素的公理。重写逻辑是一个逻辑正规形式,最少排序均等的重写子集逻辑并重写…
  • 博莫德

  • 2篇参考文献[SW10135]
  • 走向行为莫德:行为会员资格 均等的 逻辑. 如何将代数和余代数规范集成在一起?隐藏排序语义。Maude的底层均等的 逻辑会员资格 均等的 逻辑推广和增加…开发一个隐藏排序的扩展会员资格 均等的 逻辑并给出条件下的理论…
  • 可可

  • 585篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 岩浆

  • 2602篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • MATLAB

  • 11158篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • R

  • 7189篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 减少

  • 730篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。
  • APL

  • 70篇参考文献[SW01165]
  • APL(以书命名)一种编程语言…
  • 合金

  • 28篇参考文献[SW01247 ]
  • 合金:一种新的软件建模技术。合金…
  • 埃兰

  • 108篇参考文献[SW02179]
  • ELAN系统提供了用于指定…的环境。