×

找到15个软件包(结果1-15)

艾菲尔

234篇文献引用(1989–2023)
软件作者: 贝特朗·梅耶
相关软件: JML;Smalltalk;规范#…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

JML公司

161份文件引用(2000–2023)
软件作者: 加里·利文斯(Gary T.Leavens);Yoonsik Cheon公司
相关软件: 规范#;埃菲尔;卡拉卡拉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

rCOS公司

12份文件引用(2007–2016)
软件作者: 刘志明;查尔斯·莫里塞特(Charles Morisset);沃尔克·斯托尔茨
相关软件: Z;自旋蛋白;马戏团…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

贾斯

5份文件引用(2005–2009)
软件作者: Bartetzko,医学博士,Fischer,C.,Wehrheim,H。
相关软件: JML;埃菲尔;规范#…
主要字段: 计算机科学(68-XX)

j承包商

9份文件引用(2002–2012)
软件作者: 穆拉特·卡拉曼;帕克·阿伯克龙比
相关软件: JML;埃菲尔;规范#…
主要字段: 计算机科学(68-XX)

小埃菲尔

9份文件引用(2001–2011)
软件作者: 奥利维埃·泽德拉(Olivier Zendra);多米尼克·科尔内
相关软件: 埃菲尔;Smalltalk;TREX…
主要字段: 计算机科学(68-XX)

衍生品

6篇文献引用(2001–2022)
软件作者: FinancialCAD®公司
相关软件: GAMLSS公司
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

GASTAP公司

引用于3份文件(2020–2022)
软件作者: E.阿尔伯特、P.戈迪略、A.鲁比奥、I.谢尔盖。
相关软件: github;加气站快车;亚当…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

比例

引用于3份文件(2016–2019)
软件作者: B.T.里尔登;M.A.杰西
相关软件: 比例尺6.2;COBRA-TF;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);统计力学,物质结构(82-XX)

代码合同

在0个文档中引用
软件作者: 微软
相关软件: 艾菲尔基础2;布吉;Why3…
主要字段:

JCML公司

2份文件引用(2009–2012)
软件作者: Da Costa,翁贝托·苏扎;莫雷拉(Moreira)、阿纳玛丽亚·马丁斯(Anamaria Martins);Martin A.Musicante。;索扎·内托(Souza Neto),Pl’acido A。
相关软件: 回路;Z;JML…
主要字段: (68N15-XX);(68N30-XX)

Clousot公司

1份文件引用(2012)
软件作者: 曼努埃尔·Fähndrich;弗朗西斯科·洛戈佐
相关软件: 艾菲尔
主要字段: 计算机科学(68-XX)

普拉斯佩尔

在0个文档中引用
软件作者: 伊凡·恩德林;弗莱德里克·达多;阿兰·乔尔盖蒂;阿卜杜拉·本·奥斯曼
相关软件: 菲律宾比索
主要字段:

翼身

1份文件引用(2016)
软件作者: 卡迈克尔·R
相关软件: github;FOILGEN公司;JBLADE…
主要字段: 可变形固体力学(74-XX);流体力学(76-XX);系统论;控制(93-XX)

土狼

在0个文档中引用
软件作者: 混沌郊狼
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件