Java Modeling Language
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Java_Modeling_Language
Back to Java Modeling Language
dbpedia-owl:
wikiPageWikiLink
dbpedia-latam:
Anotación_Java
dbpedia-latam:
Aserción_(informática)
dbpedia-latam:
Categoría:Ingeniería_de_software
dbpedia-latam:
Categoría:Java
dbpedia-latam:
Clase_invariante
dbpedia-latam:
Compilador
dbpedia-latam:
Coq
dbpedia-latam:
Cuantificador_existential
dbpedia-latam:
Cuantificador_universal
dbpedia-latam:
Cálculo_de_refinamiento
dbpedia-latam:
Diseño_por_contrato
dbpedia-latam:
ESC/Java
dbpedia-latam:
ESC/Java2
dbpedia-latam:
Eclipse_(software)
dbpedia-latam:
Eiffel_(lenguaje_de_programación)
dbpedia-latam:
Exception_handling
dbpedia-latam:
Gary_T._Leavens
dbpedia-latam:
Integrated_Development_Environment
dbpedia-latam:
Invariante
dbpedia-latam:
JUnit
dbpedia-latam:
Java_(lenguaje_de_programación)
dbpedia-latam:
Javadoc
dbpedia-latam:
KeY
dbpedia-latam:
Larch_family
dbpedia-latam:
Lenguaje_de_especificación
dbpedia-latam:
Lógica_de_Hoare
dbpedia-latam:
Método_(informática)
dbpedia-latam:
Postcondición
dbpedia-latam:
Precondición
dbpedia-latam:
Semántica
dbpedia-latam:
Sintaxis_Java