• 乔丹

  • 参考12篇文章[sw24342]
  • 定义语法、类型system和operational语义学MJ的名字,并证明。。。相似效果系统和工具操作语义学. 然后我们证明了正确性。。。
  • J承包商

  • 在10篇文章中引用[sw01488]
  • 字节码仪器仪表契约式设计是一种软件工程实践,它允许语义的信息。。。接口。jContractor执行动态字节码仪器仪表发现违反合同的行为。。。
  • 曾荫权

  • 1条引用[sw21723]
  • 我们捕获的碎片仪器仪表通过限制公理语义学,并证明公理。。。语义学完全允许我们仪器仪表. 我们已经实施了我们的分析。。。
  • 理论

  • 参考6篇文章[sw08314]
  • 我们提倡一种工具主义关于科学理论。我们单独开发了这个。。。与传统英语版本相比语义的构思。第四,我们展示了FLBD。。。
  • 劫机者

  • 1条引用[sw16340]
  • 高性能计算中的应用。静态二进制仪器仪表是一种允许编译时。。。不影响整体执行流程语义的. 这项技术已被有效地运用。。。行为监控。然而,有效地依靠静态仪器仪表用于生成可部署的可执行文件。。。
  • 辛普森

  • 引用2篇文章[sw06443]
  • Petri网。该包支持多个服务器语义学对于两个的射击,离散。。。创建强大的代数,统计和图形仪器利用MATLAB中可用的例程。。。
  • insql公司

  • 1条引用[sw02055]
  • 对,他们真正的潜力是仪器管理像multi-agent这样的开放软件体系结构。。。对基本规范模型的推理。这个语义学提供了查询语言的。。。
  • R

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

  • 引用290篇文章[sw03522]
  • 埃菲尔是一个ISO标准化,面向对象的编程。。。
  • 克兰

  • 引用472篇文章[sw04351]
  • R是“GNU S”,一种免费提供的语言。。。
  • 叮当声

  • 参考61篇文章[sw04581]
  • 普林克是一个免费的,开源的全基因组。。。
  • 吉咪

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