JML (Catalan Wikipedia)

Analysis of information sources in references of the Wikipedia article "JML" in Catalan language version.

Last modified: 15:38:16, 21 August 2026 (UTC)

Ref.Un. Ref.Website

Global rank Catalan rank

64ucf.edu

6,874^th place

6,873^rd place

33web.archive.org

1^st place

22iastate.edu

2,388^th place

1,882^nd place

21sourceforge.net

1,842^nd place

679^th place

22ethz.ch

2,203^rd place

1,864^th place

11psu.edu

299^th place

751^st place

11ensiie.fr

low place

11sireum.org

low place

11uba.ar

5,981^st place

1,955^th place

ensiie.fr (Global: low place; Catalan: low place)

Marché, C. «[https://web.archive.org/web/20160304030349/http://www.ensiie.fr/~urbain/textes/marche04jlap.pdf The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML]» ( PDF) (en anglès). The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML. Arxivat de l'original el 2016-03-04 [Consulta: 1r novembre 2015].

ethz.ch (Global: 2,203^rd place; Catalan: 1,864^th place)

vstte.ethz.ch

Stump, Aaron «[https://web.archive.org/web/20160304043225/http://vstte.ethz.ch/Files/stump.pdf Programming with Proofs: Language-Based Approaches to Totally Correct Software]» ( PDF) (en anglès). Programming with Proofs: Language-Based Approaches to Totally Correct Software. Arxivat de l'original el 2016-03-04 [Consulta: 31 maig 2023].

pm.inf.ethz.ch

«JML Eclipse Plugin» (en anglès). [Consulta: 2 novembre 2015].

iastate.edu (Global: 2,388^th place; Catalan: 1,882^nd place)

lib.dr.iastate.edu

T. Leavens, Gary «[http://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1259&context=cs_techreports A Runtime Assertion Checker for the Java Modeling Language (JML)]». A Runtime Assertion Checker for the Java Modeling Language (JML), 01-04-2002.
Cheon, Yoonsik «[http://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1177&context=cs_techreports A Simple and Practical Approach to Unit Testing: The JML and JUnit Way]» (en anglès). A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, 01-11-2001.

psu.edu (Global: 299^th place; Catalan: 751^st place)

citeseerx.ist.psu.edu

«[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.161.9760&rep=rep1&type=pdf Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2]» ( PDF) (en anglès).

sireum.org (Global: low place; Catalan: low place)

«About Sireum» (en anglès). [Consulta: 2 novembre 2015].

sourceforge.net (Global: 1,842^nd place; Catalan: 679^th place)

jmlspecs.sourceforge.net

«Summary of JML Features» (en anglès). [Consulta: 2 novembre 2015].^{[Enllaç no actiu]}

uba.ar (Global: 5,981^st place; Catalan: 1,955^th place)

dc.uba.ar

«TACO: Translation of Annotated COde» (en anglès). Arxivat de l'original el 2011-07-06. [Consulta: 2 novembre 2015].

ucf.edu (Global: 6,874^th place; Catalan: 6,873^rd place)

eecs.ucf.edu

T. Leavens, Gary «Design by Contract with JML». Design by Contract with JML, 28-09-2006.
T. Leavens, Gary «JML: A Notation for Detailed Design». JML: A Notation for Detailed Design.
T. Leavens, Gary. «What is JML Good For?» (en anglès). [Consulta: 2 setembre 2015].
«JML reference manual» (en anglès). [Consulta: 2 novembre 2015].

web.archive.org (Global: 1^st place; Catalan: 1^st place)

Stump, Aaron «[https://web.archive.org/web/20160304043225/http://vstte.ethz.ch/Files/stump.pdf Programming with Proofs: Language-Based Approaches to Totally Correct Software]» ( PDF) (en anglès). Programming with Proofs: Language-Based Approaches to Totally Correct Software. Arxivat de l'original el 2016-03-04 [Consulta: 31 maig 2023].
Marché, C. «[https://web.archive.org/web/20160304030349/http://www.ensiie.fr/~urbain/textes/marche04jlap.pdf The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML]» ( PDF) (en anglès). The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML. Arxivat de l'original el 2016-03-04 [Consulta: 1r novembre 2015].
«TACO: Translation of Annotated COde» (en anglès). Arxivat de l'original el 2011-07-06. [Consulta: 2 novembre 2015].