• 玻璃器皿

  • 引用25篇文章[sw11715]
  • Specware中的设计过程逐步 精炼,其中用户从一个简单、抽象的。。。
  • 自动参考

  • 在14篇文章中引用[sw12809]
  • 感谢它与伊莎贝尔的融合精炼框架和Isabelle收集框架,Autoref。。。用作逐步 精炼基于开发方法,具有访问权限。。。
  • 埃德蒙斯·卡普

  • 引用5篇文章[sw28548]
  • 形式化。然后我们使用逐步 精炼得到了Edmonds-Karp算法,并对其进行了形式化证明。。。
  • XYZ/ADL公司

  • 引用2篇文章[sw02924]
  • 软件架构。ADL支持逐步 精炼可以让它更方便一个好的。。。体系结构描述语言XYZ/ADL可以支持逐步从高层体系结构过渡到低级体系结构。。。
  • SRR

  • 引用2篇文章[sw12283]
  • 逐步响应精炼筛分机(SRRS)。过饱和设计(SSD)在研究大量。。。论文,一种分析程序,叫做逐步回应精炼筛分机(SRRS)方法,被提出。。。
  • DTRE公司

  • 引用3篇文章[sw22672]
  • 种类。抽象规范(理论)是精炼 的在一个逐步形成越来越具体的理论。。。
  • 实时操作系统

  • 1条引用[sw03087]
  • 混合级仿真环境逐步RTOS软件精炼在本文中,我们介绍。。。嵌入式实时软件仿真环境精炼通过一个混合水平的共同模拟。为了这个。。。凯姆。为了支持逐步RTOS软件精炼从系统级到目标。。。
  • 迪克西特

  • 1条引用[sw10564]
  • 也支持逐步基于以下概念的系统开发精炼谓词图的。。。
  • 达夫尼

  • 参考文献62篇[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • 数学软件

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

  • 引用于7904篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 毫升

  • 参考506篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • COBOL公司

  • 在227篇文章中引用[sw01228]
  • COBOL(/ˈkoʊbɒl/,面向商业的通用缩写。。。