• MATLAB

  • 11343篇参考文献[SW0568]
  • 传统的编程语言,如C/C++或Java占地面积。您可以使用MATLAB的范围…
  • CPLEX

  • 2462篇参考文献[SW04082]
  • ILOG®CPLEX®提供C,C++,Java.NET和Python库解决线性规划…
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • 编译编译器认证项目或Java名片EAL7认证在工业背景下,形式化…
  • Python

  • 1072篇参考文献[SW14460]
  • 可能的语言,如C++或Java. 语言提供了旨在使…
  • JML

  • 188篇参考文献[SW04997 ]
  • Java建模语言(JML)是一种可以使用的行为接口规范语言。指定行为Java模块它结合了埃菲尔的设计合同法。
  • 班德拉

  • 134篇参考文献[SW07663]
  • 并发检查模型属性Java软件班德拉工具集是一个完整的集合…旨在促进模型检验的实验Java源代码。Bandera作为输入Java变量的值和内部状态Java锁定对象。在这个教程纸PAR…简单并发Java程序,以说明Bandera的主要组成部分的功能…
  • 爪哇探路者

  • 119篇参考文献[SW07688]
  • 模型检验Java程序使用Java探路者本文介绍了一个叫Java探路者…翻译过来的Java对于PROMELA,自旋模型检查器的建模语言…翻译给定的Java程序变成一个PROMELA模型,然后可以对模型进行检查…使用自旋。这个Java程序可能包含断言,这些语句被翻译成类似的断言…
  • AspectJ

  • 128篇参考文献[SW044 26]
  • 面向方面的扩展Java. AspectJ TM是一个简单实用的面向方面的…扩展到JavaTM。只有几个新的构造,AspectJ提供了模块化的支持…横切实现,包括切入点、建议和普通Java成员声明。AspectJ代码编译成…标准Java字节码。现有的简单扩展Java开发环境使得浏览成为可能。
  • ESC/爪哇

  • 133篇参考文献[SW07217]
  • 扩展静态检查器Java版本2(ESC/Java2)是一种编程工具,试图…JML注释中常见的运行时错误Java程序通过静态分析程序…
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 羽量级Java一个最小核演算Java和GJ。最近的一些研究已经介绍了…轻量级版本Java简化的语言,其中复杂的特征如线程和反射…赋值)获得一个微积分,轻量级Java,严格的证据不仅是…可能但容易。羽量级Java与…有相似的关系Java作为λ演算…
  • 针织品

  • 165篇参考文献[SW0490]
  • 提供C、C++、FORTRAN的接口,Java,AMPL,AIMMS,GAMS,MPL,Mathematica,Matlab微软Excel…
  • CEC 05

  • 161篇参考文献[SW18811]
  • 算法。Matlab和C的代码Java因为他们可以找到…
  • 矩阵市场

  • 149篇参考文献[SW04020]
  • 下载并包含在您的应用程序中,Java将在您的矩阵中生成矩阵的applet。
  • 喀拉喀托

  • 85篇参考文献[SW03159]
  • 证明环境的基本结构Java用JML规范注释的程序。我们的方法…我们自己的译者Java文件和生产规范…表示Java语义学Java程序变成了为什么输入语言…
  • 简化

  • 135篇参考文献[SW04966]
  • 模块-3和另一个检查器Java. ESC的目的是增加软件…
  • WHY3

  • 126篇参考文献[ SW044 38 ]
  • C语言验证的中间语言,Java或者艾达程序。WHY3是一个完整的…
  • 挂毯

  • 118篇参考文献[SW0698]
  • TabeNADE可作为服务器使用(JavaServlet),它运行在iRia索菲亚反波利斯…
  • SAT4J

  • 68篇参考文献[SW0783]
  • 发布2.2系统描述。SAT4J是一个Java求解布尔满意和优化的库…最小不可满足子集(MU)问题。存在于Java承诺…解决这些问题Java比…慢大约3.25倍。特色,健壮,用户友好,并遵循Java设计准则和代码约定(使用…
  • JSTATCOM

  • 78篇参考文献[ SW0873]
  • 像Matlab,高斯或牛,与Java全球此外,它有助于建立图形用户…无缝管理的数据管理特点Java摆动部件…