Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Unversidad Nacional de La Plata (3)

Más...

Año

2012 (3)
2011 (1)
2005 (1)
2002 (1)
Más...

Aproximadamente 3 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

Hint: A planning-based tool for framework instantiation
Trilnik, Federico - Díaz Pace, J. Andrés

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Object-oriented frameworks are, perhaps, the most important reuse technology today available. This is so, because they enable the reuse of both code and design. However, the effective use of frameworks to instantiate new applications represents one of the most limiting…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

New e-learning vectorial video approach
Sánchez Sánchez, José Luis - Tejedor Cerbel, Jorge - Bernal Bermúdez, Jesús - Gutiérrez Rodríguez, Abraham - Bobadilla Sancho, Jesús

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The essential purpose of this paper is to describe a framework, in a simple and complete way, which enables the concurrent visualization of audio/video streaming combined with its corresponding synchronous vectorial information. The architecture presented uses Java JMF API, which…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata