• 艾菲尔

  • 引用289篇文章[sw03522]
  • 原则,包括设计通过合同,命令查询分离,统一访问原则,单选…Java,C#等语言。新语言设计想法,特别是通过Ecma/ISO标准化过程。。。
  • 吉咪

  • 引用了190篇文章[sw04597]
  • Java模块。它结合了设计通过合同埃菲尔的方法和基于模型的。。。
  • Ada95型

  • 在294篇文章中引用[sw01753]
  • 设计由CII霍尼韦尔公牛队的Jean Ichbiah领导的小组合同...
  • nuXmv公司

  • 引用28篇文章[sw18526]
  • 扩展以处理需求分析,合同基于设计混合动力系统的模型检查,安全。。。
  • 贾斯

  • 参考11篇文章[sw32265]
  • Jass-java和断言。设计通过合同,由Meyer为编程语言Eiffel提出…Jass,Java和断言,是一个设计通过合同Java扩展允许注解…动态测试。除了标准设计通过合同从经典程序验证已知的功能。。。
  • J承包商

  • 在10篇文章中引用[sw01488]
  • J承包商:介绍设计-通过-合同使用反射字节码检测设计通过合同…正确操作。基本结构设计通过合同是方法的前置条件和后置条件…类不变量。本文详细介绍了设计以及jContractor的实现概述,它是一个免费提供的工具,允许程序员编写合同“作为标准的Java方法遵循一个直观的。。。
  • 踪迹

  • 引用191篇文章[sw07823]
  • 搜索空间收缩在图的规范标号中。研究了计算图的个性化求精范式。一种新算法设计旨在缩小相关的。。。
  • MPT公司

  • 引用了235篇文章[sw04732]
  • 免费的Matlab工具箱设计,分析和部署受约束线性、非线性…自定义约束的最优控制器,如多面体,收缩,或碰撞避免约束,或创建自定义目标函数。。。
  • 衍生工具

  • 参考6篇文章[sw01304]
  • 导致了各种各样的合同 设计衍生品市场超越国界。。。
  • 石墨炉

  • 引用16条[sw25129]
  • 系统设计帮助(极值)图论的研究者。GraPHedron是收缩...
  • 共同合同

  • 引用2篇文章[sw30949]
  • 代码合同带来设计-通过-合同编程到所有.NET编程语言。。。
  • 盖根

  • 引用36篇[sw04958]
  • 几何积、外积、左、右收缩,标量积,(修正)Hestenes内积)加…连接)已经实现。一切都过去了设计考虑到内存和时间效率。。。
  • JCML公司

  • 引用2篇文章[sw06406]
  • 基于设计通过合同为了提高Java卡的安全性。。。
  • KQML公司

  • 引用31篇文章[sw29718]
  • 信息交流。本文描述了设计以及知识查询的实验…代理间交互的模型,例如合同网络和谈判。此外,KQML还为……代理提供了支持演进的思想设计目前正在通过。。。
  • 贾霍布

  • 在10篇文章中引用[sw12385]
  • 静态证明方法满足合同在所有可能的执行中,以及…它们保留了基本的结构不变量和设计约束。。。
  • 恶作剧

  • 1条引用[sw30376]
  • Praspel:一种规范语言合同-基于PHP的测试。我们在本文中介绍…这种语言是基于设计-通过-合同范式。Praspel子句注释方法。。。
  • 滑梯

  • 1条引用[sw37688号]
  • 静态分析框架设计提供丰富的以太坊智能信息合同。它起作用…用户对合同(4)协助代码评审。在本文中。。。设计并评估其在现实世界中的能力合同我们展示。。。
  • 针鼹

  • 1条引用[sw37693]
  • 针鼹:一个敏捷的聪明人合同毛茸茸的。针鼹是一种吃虫子的奇怪生物…哈斯克尔计划设计用于以太坊smarts的模糊化/基于属性的测试合同它使用复杂的语法。。。合同可以伪造用户定义的谓词或可靠断言。我们设计具有模块性的针鼹…包括新的突变或测试特异性合同在特定情况下。。。
  • 水瓶座

  • 引用5篇文章[sw26678]
  • 在水瓶座实施,避免了落后收缩纯共享内存方法的瓶颈…并行演绎。然后,我们描述水瓶座设计,其特点和用户界面。我们呈现。。。