• CPLEX

  • 2432篇参考文献[SW04082]
  • 解决线性问题的图书馆编程(LP)及相关问题。明确地它是线性的或二次的求解…
  • 莫德

  • 647篇参考文献[SW06263]
  • 支持等式和重写逻辑规格编程对于广泛的应用…等式逻辑子语言。除了支持等式规格编程Maude还支持重写逻辑运算…
  • Obj3

  • 137篇参考文献[SW05370]
  • Obj3是程序 规格基于有序排序等式逻辑的证明系统。软件设计中的研究与教学规格快速原型、定理证明、用户界面设计…实现参数化的第一语言编程其模块系统对设计有一定的影响。
  • 落叶松

  • 85篇参考文献[SW02126]
  • 为一种语言设计的语言具体的 编程语言和另一种独立的语言…指定介面程序组件规格提供所需的信息…关于接口时的通信规格语言反映了编程语言每个接口语言处理…指定接口程序用不同的语言。接口规格依靠辅助定义规格
  • 规格说明

  • 117篇参考文献[SW0498]
  • 布吉静电程序验证者。语言包括写作的结构。规格捕捉程序员的意图…检查A之间的一致性程序及其规格
  • 班德拉

  • 134篇参考文献[SW07663]
  • 工具集是一个完整的集合程序分析、转换和可视化组件设计…Bandera时态软件需求的形式化规格语言,它产生了程序模型及规格在输入语言中…包括自旋,DSPIN,SMV和JPF)。两个程序切片和用户可扩展的抽象解释组件…
  • WHY3

  • 124篇参考文献[ SW044 38 ]
  • 提供丰富的语言规格编程称为WHYML,并依赖于外部定理…
  • 团结

  • 173篇参考文献[SW13461 ]
  • 团结。我们评估Unity——一个计算模型,规格Chandy定义的语言和证明系统…并行分布式程序--作为仿真模型的平台规格并进行分析。我们描述…方法从一个仿真模型开始规格以一组耦合的形式…正式规格. 通过生成仿真来说明该方法。程序解决机器…
  • PS-BLAST

  • 213篇参考文献[SW17324]
  • 产生空隙对准,产生空隙爆破程序大约运行三次…由爆炸产生的对准位置具体的得分矩阵,并使用……搜索数据库。这个矩阵。结果位置-特定的迭代爆破(PSIBLAST)程序跑差不多…
  • 雷维尤

  • 101篇参考文献[SW0798]
  • 有向图,特别是用于原型关系规格程序. 它是在部门开发的…
  • 抱怨

  • 359篇参考文献[SW0610]
  • 许多的编程语言和许多平台和操作系统。为了更多具体的产品信息…
  • 录像机

  • 65篇参考文献[SW07220]
  • 程序. VCC取一个C程序用函数注释规格数据不变量,循环不变量…成功,VCC承诺你程序事实上满足它规格
  • 斯纳皮亚

  • 147篇参考文献[ SW068 73]
  • 流形。然后在第二步计算机中程序因为Snaba被用来确定哪个…具有一定性质的小双曲3-流形具体的性能
  • 喀拉喀托

  • 85篇参考文献[SW03159]
  • Java环境程序用JML注释规格. 我们的方法是通用的尊重…建模辅助证明助手程序语义学并进行证明的发展,最后…规格对于COQ和Java语义的Java表示程序进入…
  • 普罗格斯

  • 69篇参考文献[SW02905]
  • 多范式视觉编程或可执行文件规格语言,它有一个明确的静态类型…概念它支持编程带有图形重写系统。综合型检查器能够…检查A的静态语义规格. 本文提出了静态完整性的集成。
  • 达夫尼

  • 60篇参考文献[SW0183]
  • 内置语言规格构造。Dafny静态程序验证器可以使用…设计支持静态验证程序. 这是必要的,顺序的,支持泛型类…分配和归纳数据类型,并在规格构造。这个规格包括前置和后置条件…程序员通过改变程序类型声明,规格和声明…
  • 阿迪福

  • 236篇参考文献[SW02185]
  • 程序. 给定FORTRAN 77源代码和用户的规格依赖的…
  • 连铸坯

  • 26篇参考文献[SW150 333 ]
  • 计算与并发约束编程(抄送)编程明确地我们扩展CC编程通过添加同步…
  • 泰勒

  • 70篇参考文献[SW10816]
  • 赠送电脑程序输出A具体的对于给定的数值积分…