×

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

JML公司

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

Java PathFinder

95篇文献引用(2000–2023)
软件作者: 克劳斯·哈弗伦德;托马斯·普雷斯伯格
相关软件: 自旋蛋白;班德拉;veriSoft…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

卡拉卡拉

79份文件引用(2004–2022)
软件作者: 马奇,C。;Paulin-Mohring,C。;X·乌尔班。
相关软件: Why3;Caduceus;JML…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

Frama-C公司

43篇文献引用(2009–2023)
软件作者: 帕特里克·鲍丁;理查德·博尼肯(Richard Bonichon);洛伊克·科伦森;帕斯卡尔·库克;扎伊娜·达盖伊(Zaynah Dargaye);Jean-Christophe Filliátre;菲利普·赫尔曼;克劳德·马奇;本杰明·莫纳特;扬尼克·莫伊;安妮·帕卡莱特;维吉尔·普雷沃斯托;朱利安·西莫尔斯和鲍里斯·亚科博夫斯基
相关软件: Coq;Why3;z3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

莫塞尔

引用于37份文件(2003年至2021年)
软件作者: Fair Isaac公司;科伦巴尼·Y、海普克·S。
相关软件: XPRESS;AMPL;游戏…
主要字段: 总体主题;藏品(00-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…

JUnit公司

16篇文献引用(2002–2022)
软件作者: 尹锡悦;Gary T.Leavens。
相关软件: JML;埃菲尔;ESC/Java…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

变身

23篇文献引用(2012–2023)
软件作者: 托尔斯滕·阿伦特;恩里科·比尔曼;斯特凡·尤拉克;克里斯蒂安·克劳斯(Christian Krause);加布里埃尔·坦泽尔
相关软件: AGG;沟槽;GrGen…
主要字段:

毛坯

15篇文献引用(2008–2022)
软件作者: Andrew McCallum等人。
相关软件: 威卡;C4.5;LIBSVM…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

测试时代

16篇文献引用(2002–2020)
软件作者: 马里诺夫,D;库尔希德,南
相关软件: 科拉特;Symstra公司;TACO…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

丛林

6篇文献引用(2008–2020)
软件作者: O'Madadhain,J.,Fisher,D.,White,S.,Boey,Y。
相关软件: 格菲;Mathematica;快照…
主要字段:

丽贝卡

8份文件引用(2010–2022)
软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔
相关软件: Uppaal;甲酚;定时丽贝卡…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

血红蛋白

2份文件引用(2013–2014)
软件作者: 达美III H
相关软件: R;JAGS;WinBUGS…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)

马塔

引用于3份文件(2012–2020)
软件作者: StataCorp公司
相关软件: Stata公司;培根;mixlogit…
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

OptimJ公司

4份文件引用(2012–2017)
软件作者: 威廉·哈特(William E.Hart)。;卡尔·莱尔德;Jean-Paul Watson;大卫·L·伍德拉夫。
相关软件: 蟒蛇;开放选择;APLEpy…
主要字段: (90-01-XX);(90-04-XX);(90C90-XX)…

规则2CP

2份文件引用(2009–2011)
软件作者: 弗朗索瓦·法赫斯,朱利安·马丁
相关软件: 自旋蛋白;ntccSim;Ntccrt…
主要字段: 计算机科学(68-XX)

JaVis公司

4份文件引用(1996–2010)
软件作者: 凯萨琳娜·梅纳
相关软件: 贾瓦维斯
主要字段: 历史与传记(01-XX);数论(11-XX);结合环与代数(16-XX)…

jFuzzyIBA转换器

4份文件引用(2015–2017)
软件作者: 米洛舍维奇,P。;Petrović,B。;Radojević,D。;科瓦切维奇,D。
相关软件: UCI毫升;ANFIS公司
主要字段: 数学逻辑与基础(03-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

jMocha公司

4份文件引用(2008年至2021年)
软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;亨辛格,T。;托马斯。;Kang,M。;Kirsch,C。;马朱姆达尔,R。;Mang,F。;王,B.-Y。
相关软件: 摩卡;MCMAS;MCMAS-SLK…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

APSEE公司

引用于3份文件(2002–2010)
软件作者: 卡拉·A·利马·里斯。;罗德里戈,基特斯·里斯;马塞洛·M·德·阿布鲁(Marcelo M.de Abreu)。;赫里贝特·施勒贝(Heribert Schlebbe);Nunes,Daltro J。
相关软件:
主要字段: 计算机科学(68-XX)

JML单位

引用于3份文件(2011–2022)
软件作者: 丹尼尔·齐默尔曼(Daniel M.Zimmerman)。;林克什·纳格莫蒂
相关软件: OpenJML;凯伊;JUnit…
主要字段: 计算机科学(68-XX)

Netsim公司

2份文件引用(1999–2001)
软件作者: 泰米·维思(Tamie L.Veith)。;约翰·科布扎(John E.Kobza)。;C.Patrick Koelling
相关软件: C4.5;VCNet;边缘R…
主要字段: 统计学(62-XX);计算机科学(68-XX)

阿罗姆

2份文件引用(2001–2002)
软件作者: 米歇尔·佩奇(Michel Page);Gensel,J'er^ome;卡波尼,C'ecile;克利斯朵夫·布鲁利;菲利普·基诺德
相关软件:
主要字段: 计算机科学(68-XX)

生物7

在0个文档中引用
软件作者: 马塞尔·奥斯滕菲尔德(Marcel Austenfeld),沃尔夫拉姆·贝施拉格(Wolfram Beyschlag)
相关软件: R;谷胱甘肽;西梅科…
主要字段:

代码图表

2份文件引用(2011–2013)
软件作者: 艾登,A.H。;Gasparis,E。;Nicholson,J。;R.卡兹曼。
相关软件: 落叶松
主要字段: 计算机科学(68-XX)

电子稳定控制系统4

2份文件引用(2010–2011)
软件作者: 詹姆斯,佩里·R。;帕特里斯·沙林
相关软件: 布吉;电子稳定控制系统/Java;cvc3…
主要字段: 计算机科学(68-XX)

标识哈希映射

1份文件引用(2022)
软件作者: 甲骨文公司
相关软件: OpenJML;JML单位;JBMC…
主要字段: (68N15-XX);(68P05-XX);(68Q60-XX)

JML自动测试

1份文件引用(2022)
软件作者: 徐国庆;杨宗元
相关软件: VCC;Caduceus;工具链…
主要字段: 计算机科学(68-XX)

组装

1份文件引用(2015)
软件作者: Jossinet F、Ludwig TE、Westhof E
相关软件: ARB;EMBOSS;最小值…
主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)

爪哇岛

在0个文档中引用
软件作者: 纳尔逊·塔瓦雷斯·德索萨(Nelson Tavares de Sousa)、威廉·哈塞尔布林(Wilhelm Hasselbring)
相关软件: GNMT;变压器;胶水…
主要字段:

J衍射

1份文件引用(2017)
软件作者: Piedrahita-Quintro,巴勃罗;卡洛斯·特鲁希略;豪尔赫·加西亚-苏尔基亚
相关软件: CUDA公司
主要字段: (78A45-XX);(65Y05-XX);(65Y15-XX)…

ThingML公司

在0个文档中引用
软件作者: N.Harrand、F.Fleurey、B.Morin、K.E.Husa
相关软件: KNIME;推断。网络;Scikit…
主要字段:

DataMelt公司

在0个文档中引用
软件作者: 谢尔盖·切卡诺夫
相关软件:
主要字段:

验证工具

在0个文档中引用
软件作者: 验证和运行
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件