• 沃夫兰

  • 引用36篇[SW078号]
  • 轻松创建新的商业 过程以及对现有过程. 不幸的是,今天的工作流产品。。。不支持工作流验证. 在设计时未检测到错误。。。
  • 威普托尔

  • 引用13篇文章【sw13755】
  • 在一个名为VIP的项目中做的研究(验证通过评估部分有序。。。模拟和建模概念商业 过程由Petri网给出,它是基于。。。
  • evt公司

  • 参考7篇文章[sw09805]
  • 项目”,由瑞典资助业务发展署(NUTEK)和爱立信在。。。主动权。它的主要成果是二郎验证工具(EVT),一个帮助。。。递归。我们总结一下验证框架由EVT支持,讨论推理。。。总结,以及支持的方法验证在有程序库的情况下。。。
  • 数学软件

  • 在5703篇文章中引用[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • R

  • 在7624篇文章中引用[sw00771]
  • 是一种统计语言和环境。。。
  • 元图

  • 引用了20篇文章[sw01368]
  • 元图:一个建模决策支持系统的工具。。。
  • 小话

  • 在163篇文章中引用[sw01561]
  • Smalltalk是一个面向对象的、动态类型的、反射的。。。
  • 催眠

  • 在14篇文章中引用[sw02743]
  • HYPROLOG:一种新的逻辑程序设计语言。。。
  • 库达

  • 引用1136篇文章[sw03258]
  • NVIDIA®CUDA®工具箱提供全面的开发。。。
  • 克隆

  • 引用51篇文章[sw03334]
  • 一个基于DEVS的多形式化仿真环境。。。