• 佐尔塔

  • 引用3篇文章[sw26818号]
  • 循环。自动化诊断软件故障的出现可以提高系统的效率调试进程。。。自动插入软件源代码程序生成运行时数据,随后。。。分析后返回诊断候选人。以全面自动化为目标。。。
  • 格索尔塔

  • 1条引用[sw26885]
  • 测试和调试. 测试和调试是最昂贵、最容易出错的阶段。。。软件开发生命周期。自动化测试和诊断软件故障可以大大改善。。。回归)测试套件最小化和自动故障诊断(即基于频谱的故障定位)。工具集。。。自动插入软件源代码程序生成运行时数据。随后数据。。。
  • R

  • 参考文献8565篇[sw00771]
  • 是一种统计语言和环境。。。
  • 毫升

  • 引用516篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 库达

  • 参考1195篇文章[sw03258]
  • NVIDIA®CUDA®工具箱提供全面的开发。。。
  • 旋转

  • 引用711篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • 艾菲尔

  • 引用290篇文章[sw03522]
  • Eiffel是一个ISO标准化的、面向对象的编程...
  • 吉咪

  • 参考文献188篇[sw04597]
  • Java建模语言(JML)是一种行为。。。
  • 米诺斯

  • 引用文献442篇[sw05095]
  • MINOS是一个大规模的优化系统,用于。。。
  • 斯塔塔

  • 引用671篇文章[sw06029]
  • Stata是一个完整的,综合的统计软件包。。。
  • 莫德

  • 引用661篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。
  • 引用570篇文章[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔可满足性。。。