• 特惠软件

  • 23篇参考文献[SW11715]
  • 软件设计过程中的谎言逐步的 精化,用户从一个简单的抽象的开始…
  • 自动阅读器

  • 12篇参考文献[SW12809]
  • 感谢它与伊莎贝尔的融合精化框架和伊莎贝尔集合框架,Autoref…用作后端到逐步的 精化基于开发方法,具有访问权限…
  • 奥帕

  • 8篇参考文献[ SW09832 ]
  • 程序推导是一种技术。逐步的 精炼一个程序的关系规范…
  • 埃德蒙卡普

  • 4篇参考文献[SW28 58]
  • 形式化。然后我们使用逐步的 精化获得Edmonds Karp算法,并正式证明…
  • 强制求精

  • 3篇参考文献[SW29 2155]
  • 支持A的工具逐步的 精化基于命令式程序的方法。这个条目是基于…
  • XYZ/ADL

  • 2篇参考文献[SW0924]
  • 软件体系结构。ADL支持逐步的 精化可以让它更方便一个好…体系结构描述语言XYZ/ADL可以支持逐步的从高层体系结构向低层体系结构的转换
  • SRRS

  • 2篇参考文献[SW1283]
  • 逐步的响应精化筛分器(SRRS)。过饱和设计(SSD)有助于研究大量的…纸,一种分析程序,叫做逐步的响应精化提出了SRRER(SRRS)方法。
  • DTRE

  • 3篇参考文献[SW22672]
  • 种类。抽象规范(理论)是精炼的在一个逐步的时尚越来越具体的理论…
  • 实时操作系统

  • 1篇参考文献[ SW0308]
  • 混合级仿真环境逐步的实时操作系统软件精化在这篇文章中,我们提出…嵌入式实时软件仿真环境精化通过混合级协同仿真。为此…齐穆为了支持逐步的实时操作系统软件精化从系统级到目标…
  • 辅酶Q

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

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

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

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • COBOL

  • 171篇参考文献[SW01228 ]
  • COBOL(/KO-B)L,是面向商业的缩写词。