Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Año

Aproximadamente 55 registro(s) hasta el momento: (java)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Análisis modular y recuperación de contraejemplos en TACO
Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…
Fecha:	2012-07-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Evento: Curso de JAVA

Formato:
Enlaces:	Nivel monográfico, Mérida, del 7 de Junio al 5 de Julio de 2003
Fecha:	2003-05-26
Recurso:	Universidad de los Andes Venezuela

Recurso libre

Formato:
Enlaces:	Java for high performance and distributed computing. (Baker, Mark A.; Shafi, Aamir y Grove, Matthew) Abstract The Java language first came to public attention in 1995; very soon after it was being speculated that Java may…
Fecha:	2008-06-26
Recurso:	Universidad de los Andes Venezuela

Recurso libre

Formato:	Thesis
Enlaces:	El Proyecto de Titulación establece un conjunto de criterios que permiten evaluar frameworks de desarrollo de la capa de persistencia de aplicaciones empresariales en ambientes Java y .Net, en base a estos criterios se valoró los frameworks Entity Framework y…
Fecha:	2011-10-19
Recurso:	Escuela Politécnica Nacional

Recurso libre

Reasoning module interface design considerations
Stankevicius, Alejandro G.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	DLP is a basic java-based IDE specifically conceived for DeLP, that allows to compile DeLP programs and queries into JAM opcodes, execute those opcodes, and even witness the actual step by step construction of the dialectical tree that is built…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Libros: Orchids of Java
Soto,M.A.

Recurso libre

Formato:	Teses e Dissertações
Enlaces:	Descripción completa.
Fecha:	2011-08-26
Recurso:	Universidade Federal do Parana

Recurso libre

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, articolo, Peer-reviewed Article
Enlaces:	CILEA partecipa al primo incontro europeo della comunità di utilizzatori di Java., CILEA takes part to the first European symposium of the Java Community.
Fecha:	2006-07-20
Recurso:	Bolletino del CILEA

Recurso libre

Evento: Curso de JAVA

Formato:
Enlaces:	Nivel monográfico, Mérida, del 19 de Julio al 16 de Agosto de 2003
Fecha:	2003-07-02
Recurso:	Universidad de los Andes Venezuela

Recurso libre

10.

Herramienta generadora de aplicaciones web con arquitectura MVC en Java
Ayala León, Kleber Eduardo - Hinjosa Alvear, Arturo Xavier

Formato:	Tesis
Enlaces:	El presente trabajo es una herramienta generadora de código para aplicaciones Web escritas en JAVA; cuyo principal objetivo es agilizar el proceso de desarrollo de software. Esta aplicación utiliza los metadatos de un motor de base de datos para construir…
Fecha:	2009-07-13
Recurso:	Escuela Politécnica Nacional