Metabuscador

Filtrado por:

Temas

Idiomas

Catalán (1)
Más...

Recursos

Más...

Año

2013 (7)
2011 (17)
2010 (10)
2009 (8)
2007 (14)
2006 (15)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Memorias del Congreso Latinoamericano de Computación de Alto Rendimiento (CLCAR) - Java for high performance and distributed computing
Baker, Mark A. - Shafi, Aamir - Grove, Matthew

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

Hipermedia física aplicada en el contexto de un centro comercial
Carpi, Federico E. - García Peña, Gabriel

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario: 1- Introducción 2- Sistemas móviles y sensibles al contexto 3- E-commerce y M-commerce 4- Hipermedia e hipermedia física 5- Descripción del sistema basado en hipermedia física 6- Diseño 7- Implementación 8-…
Fecha:	2008-05-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Implementando firma digital con J2EE
Clemens, María Patricia - Falcone, Alejandro César

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario: I. Conceptos generales 1- Introducción y conceptos generales 2- Infraestructura de clave pública 3- Certificados digitales 4- Firma digital II. J2EE Java 2 Platform Enterprise Edition 5- J2EE introducción y modelo
Fecha:	2008-05-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Memorias del Congreso Latinoamericano de Computación de Alto Rendimiento (CLCAR) - Una infraestructura genérica para computación distribuida en la web, A generic infrastructure forWeb computing
Carrera, Enrique V. - Bustamante, Pablo - Pasmay, Fausto

Formato:
Enlaces:	Una infraestructura genérica para computación distribuida en la web. A Generic Infrastructure for Web Computing. (Carrera, Enrique V.; Bustamante, Pablo y Pasmay, Fausto) Abstract This paper proposes a generic infrastructure for the development of parallel and distributed applications…
Fecha:	2008-06-19
Recurso:	Universidad de los Andes Venezuela

Recurso libre

Tuning de una Red de Clientes Ultralivianos para ambientes de desarrollo JAVA
Díaz, Francisco Javier - Ambrosi, Viviana - Venosa, Paula - Giecco, Juan P. - Pousa, Adrián - Alonso, Nicolás

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artículo presenta el tuning de una red de clientes ultralivianos utilizados para ambientes de desarrollo JAVA, con tecnología SUN2, en el marco del proyecto COE3. Se investigó la performance en dicho entorno, analizando el backend de los clientes ultralivianos…
Fecha:	2012-09-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Memorias del Congreso Latinoamericano de Computación de Alto Rendimiento (CLCAR) - Uso de tecnología Grid en algoritmos de optimización evolutiva, Grid-enabled evolutive optimization framework
Guardo, Elisa - Castro, Harold - Bravo Córdoba, Germán Enrique - Medaglia, Andrés L.

Formato:
Enlaces:	Uso de tecnología grid en algoritmos de optimización evolutiva. (Guardo, Elisa; Castro, Harold; Bravo, Germán y Medaglia, Andrés L.) Resumen Este trabajo propone un framework para soportar la ejecución en un ambiente de Grid, de aplicaciones…
Fecha:	2008-06-25
Recurso:	Universidad de los Andes Venezuela

Recurso libre

Incorporando seguridad a las componentes de interfaz de usuario del framework JSF (JAVA Server Faces) con soporte para clientes heterogéneos
Iuliano, Pablo José

Formato:	Tesis, Tesis de grado
Enlaces:	Descripción completa.
Fecha:	2011-06-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Módulo manejador de presentación para la plataforma Java de transacciones electrónicas jPOS
Paoletti, Jerónimo

Formato:	Tesis, Tesis de grado
Enlaces:	jPOS es un producto open source, desarrollado en JAva, que tiene como objetivo principal proveer un framework de desarrollo de transacciones electrónicas financieras sustentadas en el protocolo ISO 8583. Hoy por hoy es el framework para el desarrollo de Sistemas…
Fecha:	2011-06-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Métricas de Diseño Orientado a Objetos aplicadas en Java
Robiolo, Gabriela

Formato:	Tesis, Tesis de maestria
Enlaces:	Se propone un conjunto de tres unidades de medida de software que se identificarán con los nombres Transacciones (T), Objetos de Entidad (Entity Objects, EO) y Caminos (Paths, P). Cada una de ellas capturará un atributo interno del software: funcionalidad,…
Fecha:	2008-04-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

El simulador como modificador del proceso de enseñanza-aprendizaje
Bongianino, Ruben - Cistac, Griselda - Filippi, José Luis

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La incorporación y uso adecuado de las TIC’s durante el proceso de enseñanza-aprendizaje puede convertirse en un instrumento que ayuda a lograr aprendizajes significativos por un lado al construir el código fuente de un simulador, y por otro cuando se…
Fecha:	2012-06-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

Verificación modular de atomicidad en bytecode Java Multi-Thread
Bavera, Francisco

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…
Fecha:	2012-10-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

12.

Incorporando seguridad a las componentes de interfaz de usuario del framework JSF (JAVA Server Faces)
Díaz, Javier F. - Queiruga, Claudia Alejandra - Iuliano, Pablo José

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El framework de desarrollo JSF (JAVA Server Faces) es uno de los más popularmente usados en el desarrollo de aplicaciones Web. Este incorpora la novedad de permitir construir “componentes a medida” o “componentes customizadas”, aunque la implementación inadecuada desemboca en…
Fecha:	2012-09-20
Recurso:	Unversidad Nacional de La Plata

Recurso libre

13.

JEDI: An interactive interpreter for JAVA
Rodrigues, Hermann Oliveira - Camarão, Carlos

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	JAVA is a general purpose concurrent class-based object-oriented programming language. This work presents an interactive program that interprets JAVA source programs directly. The cornerstone of its execution model is an execution graph, in which each node is constituted by three…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

Utilización de herramientas Java para la comunicación de datos a través de internet
Egas Moncayo, Juan Xavier

Formato:	Thesis
Enlaces:	El presente trabajo investiga las herramientas que provee el lenguaje Java para el desarrollo de aplicaciones de ingeniería que transmitan los datos a través del internet o para modificar aplicaciones existentes para proveerles esta funcionalidad. Para ello, primeramente se presenta…
Fecha:	2012-12-04
Recurso:	Escuela Politécnica Nacional

Recurso libre

15.

Migración de código en ambientes distribuidos
García Martín, Santiago

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario de la presentación: I. Definición del Problema II. Conceptos Generales III. Debug IV. Sistema de carga de clases en Java V. AgletClassLoader VI. Entendiendo la Excepción VII. Resolviendo el problema VIII.Conclusión
Fecha:	2011-05-17
Recurso:	Unversidad Nacional de La Plata

Recurso libre

16.

Herramientas en línea para desarrollar propuestas didácticas
Racero, Diego - Chiabrando, Laura - Aveleyra, Ema E.

Formato:	Articulo, Articulo
Enlaces:	En el siguiente trabajo se presenta una propuesta didáctica, en la que se utilizan recursos de la Web, para ser aplicada en el primer ciclo de una Facultad de Ingeniería. El interés en innovar, a través de diferentes recursos tecnológicos,…
Fecha:	2012-01-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

17.

Aplicación de visualización de grafos utilizando servicios web
Ganuza, María Luján - Martig, Sergio R. - Castro, Silvia Mabel

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La Visualización es la ciencia de representar datos visualmente con el fin de lograr comunicación o entendimiento [9], aportando metodologías y técnicas para extraer información significativa de conjuntos de datos complejos por medio del uso de gráficos interactivos y de…
Fecha:	2012-09-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

18.

Gestión de errores, Gestió d'errors
Cachero Castro, Cristina - Ponce de León Amador, Pedro José

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Gestión de errores mediante excepciones. Motivación. Captura de excepciones en C++ y Java. Lanzamiento de exceociones en C++ y Java. Jerarquía de excepciones estándar. Excepciones de usuario.
Fecha:	2008-01-30
Recurso:	RUA Docencia

Recurso libre

19.

ARQUITECTURA PARA LA CONSTRUCCION DE MUNDOS VIRTUALES COLABORATIVOS BASADA EN JAVA RMI Y VRML
ESTRADA SEGOVIA, GUADALUPE MANUEL

Formato:	Thesis
Enlaces:	Descripción completa.
Fecha:	2008-10-20
Recurso:	Instituto Politécnico Nacional - México

Recurso libre

20.

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

21.

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

22.

Memorias del Congreso Latinoamericano de Computación de Alto Rendimiento (CLCAR)

Formato:
Enlaces:	Ponencias Orales Algoritmo paralelo para la detección y caracterización de halos de materia oscura en simulaciones cosmológicas. Parallel algorithm for the detection of dark matter halos and computation of their properties in cosmological simulations. Vera,…
Fecha:	2008-06-25
Recurso:	Universidad de los Andes Venezuela

Recurso libre

23.

JTCP: una implementación de TCP orientada a la evaluación de técnicas de control de congestión
Rigotti, Guillermo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	TCP es un protocolo ampliamente difundido en la Internet. Gran parte del tráfico de la Internet, proviene de aplicaciones que lo utilizan. Esta característica indica la importancia de la tasa a la cual TCP introduce sus datos en la red.…
Fecha:	2012-09-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

24.

JBLIF, a tool for non-interference analysis of java and java bytecode programs
Cavadini, Salvador V.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Protecting sensitive information has become an important facet of software development. One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

25.

Consideraciones para la implantación de una intranet educacional usando java
Saavedra Rodríguez, Oscar - Gómez Vega, Cristián

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artículo tiene como objetivo presentar al lector los resultados parciales del proyecto en actual desarrollo: “Teacher on Line” (ToL), un moderno sistema de Educación a Distancia basado en Tecnología Web. Resultan relevantes los aspectos de desarrollo y cualidades de…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

26.

Evento: Curso Básico de Lenguaje JAVA

Formato:
Enlaces:	Nivel monográfico, Mérida, 27 y 28 de Abril y 4 y 5 de Mayo de 2002
Fecha:	2002-04-17
Recurso:	Universidad de los Andes Venezuela

Recurso libre

27.

Evento: Curso de JAVA

Formato:
Enlaces:	Nivel monográfico, Mérida, del 13 de marzo al 10 de abril de 2004
Fecha:	2004-02-06
Recurso:	Universidad de los Andes Venezuela

Recurso libre

28.

Evento: Curso de JAVA

Formato:
Enlaces:	Nivel monográfico, Mérida, del 26 al 30 de Mayo de 2003
Fecha:	2004-02-06
Recurso:	Universidad de los Andes Venezuela

Recurso libre

29.

Sistema integrado de comunicación de noticias Via Bluetooth
Lolin Cabrera, David - Almeida Mejía, Fernando

Formato:	Thesis
Enlaces:	Bluetooth es la especificación que define un estándar global de comunicaciones inalámbricas para redes de área personal dicha especificación permite la transmisión de voz y datos entre diferentes equipos mediante un enlace por radiofrecuencia en entornos de comunicaciones móviles y…
Fecha:	2012-11-29
Recurso:	Universidad Politécnica Salesiana

Recurso libre

30.

Un workflow basado en Java para la gestión documental
Arsaute, Ariel - Aguirre, Gustavo Ignacio - Riesco, Daniel Eduardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Un Workflow es la automatización parcial o total del proceso de negocio, con el objetivo de lograr interacción de diversas actividades realizadas por personas y máquinas. Los SGD (Sistemas de Gestión Documental) son sistemas dedicados a incrementar el rendimiento y…
Fecha:	2012-09-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

31.

Implementación de una aplicación para la administración de citas médicas utilizando dispositivo móvil
Gellibert Merchán, Grace Alexandra - González Zamora, Javier Eduardo - Morales Peña, Guillermo Arturo

Formato:	Thesis
Enlaces:	Este proyecto está enfocado en proporcionar una aplicación para la administración de citas médicas utilizando un dispositivo móvil y la tecnología de Internet, para así disponer de información veraz y oportuna, sobre las citas y fichas médicas de los pacientes…
Fecha:	2012-11-29
Recurso:	Universidad Politécnica Salesiana

Recurso libre

32.

Diseño e implementación de un sistema multiplataforma de monitorización y administración de red, con interfaz web para el usuario y utilizando el protocolo SNMPv3
Castañeda Villarreal, Fausto Vinicio - Calderón Hinojosa, Xavier Alexander

Formato:	Article
Enlaces:	El proyecto se trata acerca del diseño y la implementación de una aplicación web de administración de red, basado en la utilización del protocolo SNMPv3, con el fin de mejorar la seguridad de la información. La aplicación puede…
Fecha:	2012-09-11
Recurso:	Escuela Politécnica Nacional

Recurso libre

33.

Desarrollo de Software para análisis bidimensional de Transferencia de Calor en estado estable medi
Escudero Guevara, David Roberto

Formato:	Tesis
Enlaces:	En este trabajo se ha desarrollado, con fines didácticos y de investigación, un programa computacional para analizar problemas bidimensionales de transferencia de calor en estado estable mediante el método de los elementos finitos. La codificación del programa se realizó utilizando…
Fecha:	2011-10-12
Recurso:	Universidad San Francisco de Quito

Recurso libre

34.

Analizador Java Inteligente
López De Luise, María Daniela - Agüero, Martín Jorge

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Varios intentos se han realizado para mejorar la producción de programas en diversos lenguajes. No es difícil imaginar cuán conveniente sería poder aplicar técnicas inteligentes para colaborar en este sentido. El presente trabajo realiza el desarrollo y evaluación de un…
Fecha:	2012-08-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

35.

Implementación de componentes multi-propósito y un entorno de desarrollo
Ortega, Alfredo - Cerra, José P. - Rosanigo, Zulema Beatriz - Bramati, Pedro - Paur, Alicia Beatriz

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Durante el proyecto de investigación No 383 surgió la necesidad de un sistema de componentes reusables multi-propósito, junto con un entorno integrado de desarrollo que los utilice. Existiendo muchas tecnologías disponibles se optó por extender el modelo Java-Beans de Sun.
Fecha:	2012-10-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

36.

Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode
Medel, Ricardo - Martínez Spessot, Cesar Ignacio - Vázquez, Juan C. - Giagante, Ignacio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Debido al incremento en la cantidad e importancia de la información manejada por sistemas informáticos, también se incrementa la importancia de controlar la difusión de información privada de los usuarios. Los mecanismos de control del acceso y las técnicas criptográficas…
Fecha:	2012-08-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

37.

Entornos para usar BPM en aplicaciones JAVA: un análisis comparativo
Díaz, Javier F. - Bazán, Patricia - Queiruga, Claudia Alejandra - Gotelli, Héctor Gabriel - Rodríguez, Facundo Martín

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La gestión de los procesos de negocio o BPM (Business Process Management) es una metodología empresarial que permite representar las actividades de los procesos de negocios y las restricciones que se aplican sobre ellas. Automatizar esta tarea conlleva el beneficio…
Fecha:	2012-08-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

38.

Sobre la construcción de compiladores en java
Schmidt, Mariano - Parra, Gerardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En el marco de las ciencias de la computación, el área de construcción de compiladores ha logrado un estado relativamente maduro de desarrollo, tanto en aspectos teóricos como en aplicaciones prácticas. Este grado de desarrollo se hace evidente en las…
Fecha:	2012-09-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

39.

Activación/desactivación de elementos que componen el hogar desde un celular (Domótica).
Arias Hermenegildo, Carlos Gabriel - Heredia Montiel, Johnny Enrique - Tufiño Espinoza, Jonathan Stalyn

Formato:	Thesis
Enlaces:	En esta memoria se ha descrito el proceso de desarrollo del sistema de activación/desactivación de elementos que componen el hogar. Cada uno de los módulos que lo componen se han diseñado por separado y, posteriormente se han unido para su…
Fecha:	2012-11-29
Recurso:	Universidad Politécnica Salesiana

Recurso libre

40.

Las tecnologías SOA y ESB como herramientas integradoras para el acceso unificado a servicios colaborativos heterogéneos
Boccalari, Cristián Luján

Formato:	Tesis, Tesis de grado
Enlaces:	Temario de la presentación: Visión global del informe (diagrama) Free/Libre Open Source Software (FLOSS) Motivación e influencias del informe Integración de aplicaciones y patrones de integración Service-oriented Architecture (SOA) Enterprise Service Bus (ESB) Java…
Fecha:	2011-05-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

41.

Implementación en java de un modelo de consistencia temporal para datos de tiempo real
Buckle, Carlos - Barry, Damián - Urriza, José M.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este trabajo presenta una implementación en JAVA de un modelo de consistencia temporal para datos de tiempo real. Los Sistemas de Bases de Datos de Tiempo Real, incorporan el concepto de transacciones y datos con tiempo de vencimiento. El vencimiento…
Fecha:	2012-11-07
Recurso:	Unversidad Nacional de La Plata

Recurso libre

42.

Guante con sensores para reproducir el sonido de las letras por medio de lenguaje sordo mudo con soporte de tecnología java
León Montoya, Fernando Arturo - Merino Miño, Xavier David

Formato:	Thesis
Enlaces:	En la tesis planteada “Guante con sensores para reproducir el sonido de las letras por medio del lenguaje sordo mudo con soporte de tecnología JAVA” se muestra como la capacidad especial de aprendizaje del lenguaje se ha solucionado por medio…
Fecha:	2012-03-15
Recurso:	Universidad Politécnica Salesiana

Recurso libre

43.

EGB-Virtual: el juego didáctico en el aprendizaje
Díaz, Francisco - Queiruga, Claudia Alejandra - Fava, Laura

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	EGB-Virtual es un proyecto concebido desde la cátedra Laboratorio de Software de la Facultad de Informática de la UNLP y cuyo objetivo es realizar un aporte desde la Informática a la innovación pedagógica aplicada al nivel inicial y primer ciclo…
Fecha:	2012-10-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

44.

Ofuscadores de código intermedio
Dolz, Daniel - Parra, Gerardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La plataforma .NET de Microsoft, así como los entornos de programación en JAVA, se basan en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno…
Fecha:	2012-09-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

45.

Plataformas para desarrollo de sistemas multiagente
Marchetti, Tulio José - García, Alejandro Javier

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El objetivo de esta línea de trabajo es el desarrollo de una plataforma para la construcción de sistemas multiagente. Como parte de esta investigación se desean analizar plataformas ya existentes en la literatura. En particular en este trabajo se presentan…
Fecha:	2012-09-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

46.

Visualizador de animaciones flic en java
Aguirre, Guillermo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Cada vez es más frecuente la aparición de animaciones en páginas Web y existe una gran variedad de alternativas para presentarlas. Algunas de estas alternativas requieren que sean abiertos una cantidad importante de archivos conteniendo los sucesivos cuadros que conforman…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

47.

Utilización de excepciones para implementar predicados opacos en técnicas de ofuscación de código intermedio
Dolz, Daniel - Parra, Gerardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La plataforma .NET de Microsoft se basa en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno o framework independiente de la plataforma, basado en…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

48.

Marco teórico del concepto de Network Computer para conectividad en sistemas AS400, RS6000 y PC servers
Chicango Narváez, Luis Fernando

Formato:	Thesis
Enlaces:	Se revisan los conceptos y marco teórico de los Network Computers y su conectividad a servidores AS400, RS6000 y PC Servers, analizando sus ventajas y desventajas. Los conceptos estudiados como marco de referencia para extender esta tecnología son: costo total…
Fecha:	2012-12-04
Recurso:	Escuela Politécnica Nacional

Recurso libre

49.

iDESWEB: JavaScript: sintaxis básica
García Reillo, Eduardo - Luján Mora, Sergio (coord.)

Formato:	learningObject
Enlaces:	La sintaxis de JavaScript es similar a C++ y Java, separación de sentencias (punto y coma), declaración de variables (var), tipos de datos, sentencias condicionales (if, else, switch), sentencias de repetición (for, do, while)., Sitio web del curso: http://idesweb.es/
Fecha:	2013-02-15
Recurso:	RUA Docencia

Recurso libre

50.

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