• ADA95

  • 128篇参考文献[SW01753]
  • 频谱与面向对象的高级计算机编程语言,从Pascal和其他语言扩展…CII霍尼韦尔公牛Jean Ichbiah合同给美国国防部…取代数以百计的编程然后由国防部使用的语言。艾达是以…命名的。
  • 艾菲尔

  • 105篇参考文献[SW03522]
  • 编程方法两者都是基于一套原则,包括设计。合同命令…
  • DLIB ML

  • 9篇参考文献[SW14413]
  • 整个图书馆已经发展起来了。合同 编程,提供完整和精确的文档…
  • 贾斯

  • 11篇参考文献[SW32 265]
  • 有断言。设计通过合同Meyer提出的编程埃菲尔语…设计通过合同Java的扩展,允许注释Java程序随规格…将注释翻译成纯Java的编译器程序其中符合规格…标准设计合同经典特征程序验证(例如前置和后置条件,不变量)…
  • J承包商

  • 10篇参考文献[ SW01488 ]
  • 检测违反合同A期间规范程序执行死刑。J承包商的字节码工程…
  • Q火炬

  • 4篇参考文献[SW27 767 ]
  • 研究了张量网络收缩 程序用多核模拟量子电路…张量指数排序的生成收缩一是基于树分解…
  • 辅酶

  • 2篇参考文献[SW30949 ]
  • 在.NET中表达编码假设程序. 这个合同采取先决条件,后…利用设计带来的优势合同 编程对所有的编程语言
  • 猪瘟病毒

  • 20篇参考文献[SW13701]
  • 处理大程序分别对每个过程进行分析。为此目的程序合同允许…
  • 荣光

  • 3篇参考文献[SW23 942]
  • 逻辑通过指称语义。即使是好类型的程序在现代功能语言中可能出错…响应是允许程序员编写合同表达语义属性,例如崩溃…静态验证的研究合同. 我们的主要贡献是一个新的翻译…Haskell的一阶逻辑程序合同写在哈斯克尔,所有的理由…
  • 连铸坯

  • 26篇参考文献[SW150 333 ]
  • 工作我们提出了一个简单的模型合同对于QoS和SLA也允许…要求我们的语言结合了两个基本编程范例:名称传递计算和并发约束编程
  • 链状链

  • 8篇参考文献[SW120 58]
  • 链软件:链收缩同调和同调软件及实例。描述的算法…论文已在C++中实现编程语言的最佳有效性和灵活性。虽然…
  • 责怪

  • 1篇参考文献[SW18495]
  • 高阶合同系统中的Python。合同 编程是最有希望的方法之一…Python,它变得越来越需要。高阶合同支持完全指定行为的系统…
  • 勒弗雷默

  • 4篇参考文献[SW11993 ]
  • 不可判定的因此,这个程序限制人数收缩每个路径的规则…
  • 贾霍布

  • 10篇参考文献[SW1285]
  • JAHOB是一个验证系统。程序用Java的一个子集编写的。使用JAHOB…静态证明方法满足其要求合同在所有可能的处决中,以及……
  • 蘑菇

  • 7篇参考文献[SW12000 ]
  • 当地收缩性在合理假设下给出。得到的非线性程序被视为数学…
  • QPHPSC

  • 7篇参考文献[SW12001 ]
  • 当地收缩性在合理假设下给出。得到的非线性程序被视为数学…
  • 第欧根尼

  • 3篇参考文献[ SW3023 8]
  • 开发诚实的Java程序和狄奥根尼在一起。现代分布式应用通常是通过集成…从行为的角度看这些服务之间的相互作用合同. 这个想法是一个动态的发现和组成…说实话,如果它总是尊重合同它做广告。诚实是至关重要的,因为…然而,发展诚实程序不是一件容易的事,因为合同必须尊重甚至…
  • 佛罗多

  • 1篇参考文献[SW0159]
  • 计算矩阵元素之间收缩的波函数的符号化程序执行密度的正式降低…内部之间收缩的在一个完整的主动空间(CAS)方案中的功能。这个程序说明…
  • 金斯佩克

  • 1篇参考文献[SW21609]
  • 自动推断软件技术合同程序这是写在一个不平凡的…
  • 坚固性

  • 1篇参考文献[SW30784]
  • 智能实现语言合同. 智能合同程序管理账目的行为其它特性坚定,你可以创造合同比如投票、众筹、盲…