-
拉帕克
- 1579篇参考文献[SW0503]
- 3级BLASα-α集规格对于FORTRAN子程序做各种类型…由制造商提供。高效机械具体的BLAS的实现是可用的…不会像A一样表演明确地调谐实现…
-
加姆斯
- 816篇参考文献[SW0497 8]
- 通用代数建模系统（GAMS）是明确地设计用于线性、非线性和混合整数的建模。耗时的细节具体的机器和系统软件的实现。GAMS特别有用。
-
莫德
- 651篇参考文献[SW06263]
- 支持等式和重写逻辑的系统规格并且编程范围广…等式逻辑子语言。除了支持等式规格和编程，Maude还支持重写逻辑运算…
-
Z
- 274篇参考文献[SW1091]
- 使用Z.规格精炼和证明。这本书是一个深入的介绍…规格语言$Z$。它主要是针对用户的，背景理论是…提倡正式的纪律规格推理？另一个失望是…
-
抱怨
- 373篇参考文献[SW0610]
- 许多平台和操作系统。为了更多具体的产品信息、库内容和可用性点击…
-
PS-BLAST
- 217篇参考文献[SW17324]
- 由爆炸产生的对准位置具体的得分矩阵，并使用……搜索数据库。这个矩阵。结果位置-特定的迭代爆破（PSSIBLT）程序运行在大致相同的…
-
JML
- 188篇参考文献[SW04997 ]
- 建模语言（JML）是一种行为接口。规格可以用来指定…的语言…Eiffel:基于模型的方法规格落叶松亲缘关系的探讨规格语言，有一些元素的细化演算…
-
团结
- 173篇参考文献[SW13461 ]
- 团结。我们评估Unity——一个计算模型，规格Chandy定义的语言和证明系统…程序——作为仿真模型的平台规格并进行分析。我们描述了一个统一的基础…方法从一个仿真模型开始规格以一组耦合的形式…用形式证明定理规格. 该方法是通过生成说明…
-
塞萨尔
- 153篇参考文献[SW0810]
- 规格CSEAR并发系统的验证。本文的目的是…关于一组给定的规格. 进行了算法描述。CSP的高级语言规格是一组公式…评价每一个公式规格…
