JML (Catalan Wikipedia)

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

refsWebsite

Global rank Catalan rank

4ucf.edu

7,594^th place

6,123^rd place

2iastate.edu

2,548^th place

2,285^th place

2web.archive.org

1^st place

2ethz.ch

2,224^th place

2,793^rd place

1sourceforge.net

1,669^th place

1,651^st place

1psu.edu

207^th place

747^th place

1ensiie.fr

low place

1sireum.org

low place

1uba.ar

5,286^th place

2,266^th place

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

Marché, C. «[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.

ethz.ch (Global: 2,224^th place; Catalan: 2,793^rd 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,548^th place; Catalan: 2,285^th 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: 207^th place; Catalan: 747^th 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,669^th place; Catalan: 1,651^st place)

jmlspecs.sourceforge.net

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

uba.ar (Global: 5,286^th place; Catalan: 2,266^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: 7,594^th place; Catalan: 6,123^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].
«TACO: Translation of Annotated COde» (en anglès). Arxivat de l'original el 2011-07-06. [Consulta: 2 novembre 2015].