• MPT

  • 200篇参考文献[ SW047 32 ]
  • 自定义约束,如多面体,收缩或避免碰撞约束,或创建自定义目标函数…
  • JML

  • 187篇参考文献[SW04997 ]
  • Java模块。它结合了设计合同埃菲尔方法和基于模型的方法…
  • ADA95

  • 128篇参考文献[SW01753]
  • CII霍尼韦尔公牛Jean Ichbiah合同给美国国防部…
  • 艾菲尔

  • 105篇参考文献[SW03522]
  • 原则,包括设计合同、命令查询分离、统一访问原则、单选…
  • 踪迹

  • 96篇参考文献[ SW07823 ]
  • 搜索空间收缩图的正则标号。计算的个性化细化范式…
  • 单词大全

  • 54篇参考文献[SW30582]
  • 最初开发的多个个人计算机平台合同在杨伯翰大学…
  • 连铸坯

  • 26篇参考文献[SW150 333 ]
  • 面向服务计算的问题。二语习得合同指定客户需求和服务保证,重点是…工作我们提出了一个简单的模型合同对于QoS和SLA也允许…
  • KQML

  • 32篇参考文献[SW29 718]
  • 代理间交互的模型,如合同网络和谈判。此外,KQML提供…
  • 葡萄糖

  • 31篇参考文献[ SW07833 ]
  • 葡萄糖。求解者的名字是收缩“胶水条款”的概念,一个特殊的…
  • 盖根

  • 30篇参考文献[SW04958]
  • 几何积,外积,左右收缩,标量积,(修正)Hestes内积)加上…
  • XTRAS

  • 23篇参考文献[SW16622]
  • 场论。除此之外,它还可以计算收缩求解方程,求解张量方程…
  • 加斯利布

  • 21篇参考文献[SW1797]
  • 技术气体网络描述以及合同基于提名数据(气体流量和压力)
  • J承包商

  • 10篇参考文献[ SW01488 ]
  • J承包商:通过以下方式介绍设计合同用反射字节码设计实现Java合同运营设计的基本构造合同是方法先决条件和后置条件,以及类…允许程序员编写的可用工具合同作为标准的Java方法跟随直觉…字节码检测以检测违反合同程序执行过程中的规范。J承包商…
  • 贾斯

  • 11篇参考文献[SW32 265]
  • Jass - Java的断言。设计通过合同由Meyer提出的编程语言埃菲尔…具有断言的Java是由合同允许Java注释Java的扩展…动态测试。除标准设计外合同从经典程序验证已知的特征…
  • 工作室B

  • 16篇参考文献[SW07086]
  • 没有任何限制,维修保养版合同持有人只。它是用来开发…
  • 西柚

  • 15篇参考文献[SW25129]
  • 极值)图论。葡萄柚是收缩词的图形和多面体是因为…
  • 方阵

  • 14篇参考文献[SW13708]
  • 在CulsSOT中,基于静态的抽象解释合同.NET的检查器。我们经验验证…
  • 努克斯病毒

  • 14篇参考文献[SW18526]
  • 满足需求分析的几个扩展,合同基于混合动力系统的设计、模型检验…