Metabuscador

Filtrado por:

Temas

Ciencias Informáticas (31)
Java (26)
Lenguajes y Sistemas Informáticos (18)
Ingeniería de Sistemas y Automática (15)
Informática (13)
Más...

Idiomas

Español (122)
Inglés (32)
pt_BR (27)
Francés (7)
en (6)
Más...

Recursos

RUA Docencia (40)
Unversidad Nacional de La Plata (33)
Escuela Politécnica Nacional (23)
Informação Tecnológica en Agricultura (Infoteca-e) (19)
Universidad de Guayaquil (15)

Más...

Año

2013 (16)
2012 (43)
2010 (18)
2009 (20)
2006 (8)
2005 (8)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

SISTEMA DE GESTIÓN DE PROYECTOS.- MÓDULO DE CONTROL DE PRESUPUESTOS Y COSTOS DEL PROYECTO
GILER RODRÍGUEZ, NORKA MARÍA - PRECIADO MAILA, DÉBORA KAYALA

Formato:	Thesis
Enlaces:	El Módulo de Control Presupuesto y Costos del Proyecto fue realizado para el cálculo de los costos que intervienen en un proyecto y la correcta administración del presupuesto que se le asigna a sistemas. Esta aplicación fue diseñada usando arquitectura…
Fecha:	2013-10-04
Recurso:	Universidad de Guayaquil

Recurso libre

Aplicação da JNI - Java Native Interface - na construção da ferramenta ServCLIPS.
CRUZ, S. A. B da.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Linguagem de programação Java. Java native interface (JNI). Ferramenta ServCLIPS:um exemplo de uso da JNI., 2001, Acesso em: 29 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

Sistema de inventario corporativo vía web
PEÑAFIEL VILLAREAL, LADY PATRICIA - PRIETO MOGOLLÓN, LOURDES CATALINA - ROMÁN TOALA, JÉSSICA ARACELY

Formato:	Thesis
Enlaces:	Este proyecto va dirigido a todas aquellas organizaciones que no tienen una gestión adecuada de los diferentes recursos informáticos. La solución al problema es un Sistema de Auditoría a nivel de Hardware y Software, el cual va ha facilitar…
Fecha:	2013-10-04
Recurso:	Universidad de Guayaquil

Recurso libre

Analizar el sistema de seguridad en Servidores Web para su correcta utilización
Cantos Rivera, Katherine - Carangui Vintimilla, Karla

Formato:	Thesis
Enlaces:	Actualmente la inseguridad que presentan las organizaciones que se desempeñan dentro del campo del comercio electrónico es sumamente agravante, es por ello que nuestro proyecto se basó en el análisis de la seguridad en Servidores Web, con la finalidad de…
Fecha:	2011-01-25
Recurso:	Universidad Politécnica Salesiana

Recurso libre

Creating a Distributed Web Application in Java Using EJB and JSP
GHERMAN, Alexandru; “Iuliu Haţieganu” University of Medicine and Pharmacy, Cluj-Napoca, România

Formato:	Peer-reviewed Article
Enlaces:	This paper presents an easier way of creating a medicine web application in Java. It describes the concepts of JavaBean, Enterprise Java Bean and Java Server Pages and the way we can use them for producing a collection of medicine…
Fecha:	2011-01-18
Recurso:	Applied Medical Informatics

Recurso libre

Implementação da transformada de Fourier com o Java Advanced Imaging.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetuvo deste comunicado é apresentar a implementação Java da transformada discreta de Fourier e sua inversa, usando a biblioteca Java Advanced Imaging (JAI), para mapeamento entre os domínios espacial e de frequência em imagens digitais., 2006, Acesso em: 28…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

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

Identificando Pockets na superfície protéica usando o Java Protein Dossier - JPD.
YAMAGISHI, M. E. B. - FALCÃO, P. R. K. - HIGA, R. H. - SANTOS, E. H. dos - JARDINE, J. G. - MAZONI, I. - OLIVEIRA, S. R. de M. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	2005, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

Uma introdução a tecnologia de reflexão Java.
EVANGELISTA, S. R. M.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Este documento tem por objetivo apresentar a tecnologia de reflexão existente na linguagem JAVA. Esta exposição será realizada a partir de uma implementação real de uma classe Java que fornece a funcionalidade de mapeamento entre objetos de um programa computacional…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

10.

Generación dinámica de interfaces de usuario a partir de modelos representados mediante esquemas XML
Zarza, Gonzalo - Minni, Hugo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El objetivo principal de este trabajo es desarrollar un enfoque práctico para la generación dinámica de interfaces de usuario a partir de modelos basados en esquemas XML, de acuerdo a las especificaciones W3C XML Schema Structures and Datatypes. El trabajo…
Fecha:	2012-09-04
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

Java Real Time: un enfoque de desarrollo de los sistemas distribuidos en tiempo real
Reyes Maza, Luis Alberto

Formato:	Thesis
Enlaces:	Tesis presentada a la Facultad de Contaduría y Administración de la Universidad Veracruzana, Región Xalapa.
Fecha:	2011-08-15
Recurso:	Universidad Veracruzana

Recurso libre

12.

Implementação Java do filtro de Marr e Hildreth para detecção de bordas.
MIRANDA, J. I.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo desta publicação é apresentar a implementação Java do algoritmo de Marr e Hildreth (Marr & Hildreth, 1980) para a detecção de bordas. O objetivo maior das implementações é a construção de uma biblioteca de processamento de imagens em…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

13.

Conceptos básicos de programación orientada a objetos (curso 2011-2012)
Ponce de León Amador, Pedro José - Rizo Valero, David - Corbí Bellot, Antonio Miguel - Pérez Ortiz, Juan Antonio

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Unidad 2: conceptos básicos de la programación orientada a objetos.
Fecha:	2011-09-30
Recurso:	RUA Docencia

Recurso libre

14.

Unidad 6. Polimorfismo, segunda parte (curso 2011-2012)
Ponce de León Amador, Pedro José

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Unidad 6: Polimorfismo, parte 2/2.
Fecha:	2011-11-11
Recurso:	RUA Docencia

Recurso libre

15.

Práctica 4. Gráficos Vectoriales con SVG (curso 2011-2012) (versión 21.11.09)
Rizo Valero, David

Formato:	learningObject
Enlaces:	Enunciado de la práctica 4 del curso 2011-2012. En esta práctica se introduce la herencia.
Fecha:	2011-12-05
Recurso:	RUA Docencia

Recurso libre

16.

Filtro de difusão complexa não-linear para atenuação de ruídos: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Filtro de difusão complexa não linear. Aspecto da implementação. Estudo de caso., 2007, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

17.

Filtro de difusão linear complexa para detecção de bordas: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo deste comunicado é mostrar a implementação Java do filtro de difusão linear complexa para a detecção de bordas., 2006, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

18.

VisualJVM: a visual tool for teaching Java technology
Garrido Abenza, Pedro Pablo - Ledesma Latorre, Bernardo - Grediaga Olivo, Ángel

Formato:	info:eu-repo/semantics/article
Enlaces:	This paper presents a laboratory session of an advanced programming course to introduce students to the technology involved with the Java programming language. In this special lab session the educational software tool VisualJVM is used, providing a graphical front-end to…
Fecha:	2009-10-29
Recurso:	RUA Docencia

Recurso libre

19.

Learning Difficulties of 'Object-oriented Programming Paradigm Using Java': Students' Perspective
Sivasakthi, M.; Department of Education, NITTTR, Chennai-600113 - Rajendran, R.; Department of Education, NITTTR, Chennai-600113

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Peer-reviewed Article
Enlaces:	Java programming is popular both in Academia and IT Industry. Further, it is the maximum usage of programming across the world. There is a wide edge between industry expectations and knowledge of students in Java programming. Teaching and learning of…
Fecha:	2011-08-01
Recurso:	Indian journal of science and technology

Recurso libre

20.

Fabrica de software orientada a servicios con herramientas Java
Romero Redondo, Anselmo Guillermo

Formato:	Thesis
Enlaces:	Tesis presentada a la Facultad de Contaduría y Administración de la Universidad Veracruzana, Región Xalapa.
Fecha:	2011-08-15
Recurso:	Universidad Veracruzana

Recurso libre

21.

Programa em linguagem JAVA para comunicação serial.
RABELLO, L. M.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	2009
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

22.

Libros: Orchids of Java
Soto,M.A.

Formato:	Article
Enlaces:	Descripción completa.
Fecha:	2011-07-29
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

23.

Fusão espectral de imagens de satélite no espaço de cores.
MIRANDA, J. I. - MARABITA, M. A.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Espaço de cores RGB (red, green, blue). Espaço de cores IHS (intensity, hue, saturation). Espaço de cores LHS (lightness, hue, saturation). Métodos de interpolação. Estudo de caso., 2007, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

24.

Unidad 8. Frameworks (curso 2011-2012)
Rizo Valero, David

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Se estudia el concepto de 'framework' y 'librería', con un ejemplo de desarrollo y aplicación de un framework de ejemplo. Se presentan algunos frameworks/librerías de uso común en Java, como el Java Collections Framework, JDBC, Hibernate, Apache Commons, etc.
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

25.

Seminario de introducción a Java
Rizo Valero, David - Ponce de León Amador, Pedro José

Formato:	learningObject
Enlaces:	Introducción al lenguaje Java orientado a programadores con algo de experiencia en C++-
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

26.

Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation
Haouari, Dorsaf

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	La documentation des programmes aide les développeurs à mieux comprendre le code source pendant les tâches de maintenance. Toutefois, la documentation n’est pas toujours disponible ou elle peut être de mauvaise qualité. Le recours à la redocumentation s’avère ainsi nécessaire.
Fecha:	2011-11-24
Recurso:	Université de Montreal

Recurso libre

27.

Internet Programming with Java
Luján Mora, Sergio

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Presentaciones del curso "Internet Programming with Java" impartido en la Université M'Hamed Bougara (Bourmerdes, Argelia) en abril de 2007., Proyecto financiado por la Unión Europea: TEMPUS JEP-32102-2004, Licence Professionnelle Technologies des Applications Web (Professional License for Web Application Technologies).
Fecha:	2010-05-06
Recurso:	RUA Docencia

Recurso libre

28.

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

29.

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

30.

Rotâmeros raros no Java Protein Dossier.
YAMAGISHI, M. E. B. - FALCÃO, P. R. K. - OLIVEIRA, S. R. de M. - HIGA, R. H. - SANTOS, E. H. dos - MAZONI, I. - VIEIRA, F. D. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo do STING é oferecer uma plataforma para análise e visualização de estruturas proteicas., 2006, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

31.

Ambiente virtual interativo com colisão de deformação de objetos para treinamento médico utilizando a API Java
kera, Marcello

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

Recurso libre

32.

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

33.

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

34.

Curvatura da superfície de proteínas no Java Protein Dossier.
FALCÃO, P. K. - BAUDET, C. - HIGA, R. H. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Definição de superfície. Cálculo dos valores de curvatura com SurfRace., 2002, Acesso em: 30 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

35.

Sur la validation des modèles de séries chronologiques spatio-temporelles multivariées
Saint-Frard, Robinson

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Le présent mémoire porte sur les séries chronologiques qui en plus d’être observées dans le temps, présentent également une composante spatiale. Plus particulièrement, nous étudions une certaine classe de modèles, les modèles autorégressifs spatio-temporels généralisés, ou GSTAR. Dans un premier…
Fecha:	2011-09-16
Recurso:	Université de Montreal

Recurso libre

36.

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

37.

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

38.

Filtro Schen-Castan (ISEF) para detecção de borda.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Com esta publicação, dá-se prosseguimento na implementação de algoritmos úteis para a detecção de bordas, atividade importante também no campo de visão por computador. O objetivo maior dessas implementações é a constituição de uma biblioteca de processamento de imagens em…
Fecha:	2009-03-17
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

39.

Una infraestructura para la implementación de aplicaciones distribuidas en Internet
Bustamante Sandoval, Pablo

Formato:	Tesis
Enlaces:	Esta tesis propone una infraestructura genérica para el desarrollo de aplicaciones distribuidas y paralelas sobre laWeb. Esta infraestructura está orientada a permitir que todos los usuarios de Internet sean capaces de participar en la ejecución de aplicaciones distribuidas, usando una…
Fecha:	2011-10-03
Recurso:	Universidad San Francisco de Quito

Recurso libre

40.

Using JOP to build a chip multiprocessor JVM for embedded realtime systems
Andreotti, José Pablo A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Programming embedded devices has been historically a difficult task, involving the learning of the features of a specific device such as the assembly language of a processor. This led to the use of Java in embedded system as a way…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

41.

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

42.

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

43.

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

44.

Técnicas y extensiones para Java de tiempo real distribuido
Basanta Val, Pablo

Formato:	text (thesis)
Enlaces:	Al igual que las aplicaciones de propósito general, las de tiempo real no hacen más que aumentar en complejidad, forzando a que se estén explorando nuevas vías tecnológicas no consideradas previamente, como puede ser el empleo del lenguaje de propósito…
Fecha:	2007
Recurso:	Dialnet (Tesis)

Recurso libre

45.

Seminario: el entorno de desarrollo Eclipse
Rizo Valero, David - Ponce de León Amador, Pedro José

Formato:	learningObject
Enlaces:	Descripción del entorno de desarrollo Eclipse para Java, con actividades a realizar para conocer sus características.
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

46.

Práctica 1. Gráficos Vectoriales con SVG (curso 2011-2012) (versión 11.09.12)
Rizo Valero, David

Formato:	learningObject
Enlaces:	Enunciado de la práctica 1. Se trata de implementar en Java una clase sencilla. Se proporciona una implementación en C++ de referencia.
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

47.

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

48.

Java bytecode obfuscation
Batchelder, Michael Robert

Formato:	Electronic Thesis or Dissertation
Enlaces:	Programs written for machine execution will always be susceptible to information theft. This information can include trademarked algorithms, data embedded in the program, or even data the program accesses. As technology advances computer scientists are building more and more powerful…
Fecha:	2007
Recurso:	McGill University - MCGILL

Recurso libre

49.

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

50.

Formatação de dados usando a ferramenta Velocity.
CRUZ, S. A. B. da - MOURA, M. F.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Origem e características; Arquitetura. Funcionamento e esquema de uso. Linguagem VTL. Aplicação Java. Configuração da Velocity. Trecho de código fonte Java exemplificando o uso da ferramenta Velocity. Trecho de template em VTL relativo ao item anterior., 2002, Acesso em: 29…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

51.

Apresentação gráfica de parâmetros protéicos utilizando o Java Protein Dossier.
HIGA, R. H. - BAUDET, C. - FALCÃO, P. K. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Parâmetros apresentados pelo JPD. Sequência de resíduos. Contatos. Contatos internos. Contatos na interface. Estrutura secundária. Dupla ocupância. Fator de temperatura. Entropia relativa. Confiabilidade. Acessibilidade de resíduos. Ângulos de torsão. Potencial eletrostático. Curvatura na superfície. Hidrofobicidade. Analisando com maior detalhes os…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

52.

Comparativo do Plone com gerenciadores de conteúdo em PHP, Java e Python.
ROMANI, L. A. S. - CAMPOS, L. A. de.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Definição e estrutura de CMS. Plataformas de desenvolvimento: PHP. Java. Python; Gerenciador de Conteúdo-Plone. Comparativo de Plone com outros gerenciadores., 2005, Acesso em: 29 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

53.

Implementação de gerenciamento de serviços de telecomunicações utilizando CORBA, java e reflexão computacional
Sobral, Joao Bosco Mangueira - Gonçalves, Paulo Roberto Riccioni

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Currently, the telecommunications management systems are powerful, however, maintain centralized and proprietary platforms, limiting this way, the growth of these telecommunications networks. This factor generates the need for scalable and open systems, stimulating the sectors of the telecommunications area to…
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

54.

Génération efﬁcace de graphes d’appels dynamiques complets
Ikhlef, Hajar

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Analyser le code permet de vériﬁer ses fonctionnalités, détecter des bogues ou améliorer sa performance. L’analyse du code peut être statique ou dynamique. Des approches combinants les deux analyses sont plus appropriées pour les applications de taille industrielle où l’utilisation…
Fecha:	2012-02-29
Recurso:	Université de Montreal

Recurso libre

55.

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

Recurso libre

56.

Manual de prácticas de robótica móvil programadas en Java utilizando el Kit Lego Mindstorms
Castro Estrada, Esteban Antonio

Formato:	Trabajo Recepcional
Enlaces:	Tesina presentada a la Facultad de Instrumentación Electrónica y Ciencias Atmosféricas de la Universidad Veracruzana, Región Xalapa.
Fecha:	2012-11-09
Recurso:	Universidad Veracruzana

Recurso libre

57.

Filtro de Canny para detecção de bordas: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo deste comunicado é apresentar a implementação JavaTM do filtro para detecção de bordas de Canny (Canny, 1986). A implementação é uma necessidade de uso em projetos desenvolvidos na Embrapa Informática Agropecuária na área de processamento de imagens aplicado…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

58.

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

59.

Identification et localisation des préoccupations fonctionnelles dans un code légataire Java
El Kharraz, Amal

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Traditionnellement, les applications orientées objets légataires intègrent différents aspects fonctionnels. Ces aspects peuvent être dispersés partout dans le code. Il existe différents types d’aspects : • des aspects qui représentent des fonctionnalités métiers ; • des aspects qui répondent à…
Fecha:	2012-09-06
Recurso:	Université de Montreal

Recurso libre

60.

Dynamic purity analysis for Java programs
Xu, HaiYing

Formato:	Electronic Thesis or Dissertation
Enlaces:	The pure methods in a program are those that exhibit functional or side effect free behaviour, a useful property of methods or code in the context of program optimization as well as program understanding. However, gathering purity data is not…
Fecha:	2007
Recurso:	McGill University - MCGILL

Recurso libre

61.

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

62.

Conectividad de Java con bases de datos mediante invocación de objetos con métodos remotos (objetos RMI)
Daladier Jabba Molinares; Universidad del Norte - Maureen Alies Fuentes; Universidad del Norte - John Pinto Molina; Universidad del Norte - Marirosa Buendía Rodríguez; Universidad del Norte - Julio Cesar Ceballos Salazar; Universidad del Norte

Formato:	,
Enlaces:	El desarrollo de aplicaciones distribuidas está teniendo cada vez más auge entre las empresas del mundo; esto se debe a la gran importancia que ha adquirido el Internet en los últimos años. Para dar solución a esta necesidad surgen arquitecturas…
Fecha:	2011-07-28
Recurso:	Ingeniería y desarrollo

Recurso libre

63.

CHARACTERISTICS OF CLASS COLLABORATION NETWORKS IN LARGE JAVA SOFTWARE PROJECTS
Savić, Miloš - Ivanović, Mirjana - Radovanović, Miloš

Formato:	Peer-reviewed
Enlaces:	Understanding software structural complexity and evolution plays an important role in controlling the software development and maintenance process. Recent studies have shown that the theory behind complex networks, especially the theory of scale-free networks, can be a useful approach to…
Fecha:	2011-03-22
Recurso:	Information technology and control

Recurso libre

64.

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

65.

Laboratorios virtuales y remotos basados en EJS para la enseñanza de robótica industrial
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/lecture
Enlaces:	El propósito general de este artículo se centra en presentar una serie de herramientas para la enseñanza a distancia de robótica industrial, que permite a los usuarios interactuar con simulaciones de robots reales de una manera intuitiva y económica. Mediante…
Fecha:	2007-10-20
Recurso:	RUA Docencia

Recurso libre

66.

Automated Erythema Quantification in Radiation Therapy - a Java Based Tool
PUTORA, Paul Martin; Department of Radiation-Oncology, Kantonsspital St. Gallen, 9007 St. Gallen, Switzerland. - PAULIS, Ludovit; Institute of Pathophysiology, School of Medicine, Comenius University and Institute, Slovakia. Center for Cardiovascular Research, Charité-Universitätsmedizin, Berlin, Germany. - PLASSWILM, Ludwig; Department of Radiation-Oncology, Kantonsspital St. Gallen, 9007 St. Gallen, Switzerland.

Formato:	Peer-reviewed Article
Enlaces:	Introduction: In radiotherapy, erythema is a common side-effect, especially during radiotherapy treatment regimes that last several weeks. The measurement of erythema might be of clinical relevance, especially when standardized interpretation is possible. Aim: The aim of this article is to…
Fecha:	2011-02-10
Recurso:	Applied Medical Informatics

Recurso libre

67.

DECOR : détection et correction des défauts dans les systèmes orientés objet
Moha, Naouel

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal
Fecha:	2012-03-07
Recurso:	Université de Montreal

Recurso libre

68.

Computer networks. A top-down approach featuring Internet, second edition, Redes de Computadores – Un enfoque descendente basado en Internet. Segunda edición
López, Ricardo A.

Formato:	Articulo, Revision
Enlaces:	The book is intended to be used in an introductory and intermediate level course on computer networks, both whitin Computer Science and Electric Engineering scopes. One of its characteristics is that the entire research software is presented in Java, but…
Fecha:	2008-10-14
Recurso:	Unversidad Nacional de La Plata

Recurso libre

69.

Desarrollo de una biblioteca de clases para manejo de la interfaz gráfica de aplicaciones móviles basadas en la plataforma Java Micro Edition
Oquendo Romero, Carlos Andrés

Formato:	Thesis
Enlaces:	El Proyecto de Titulación se centra en el desarrollo de una biblioteca de clases que permita el manejo de las interfaces gráficas de usuario de aplicaciones basadas en la plataforma Java Micro Edition. Esta biblioteca permitirá a los desarrolladores crear…
Fecha:	2011-10-10
Recurso:	Escuela Politécnica Nacional

Recurso libre

70.

Constructive learning for networks courses based on compact simulations and SCORM
Gil Vázquez, Pablo - Candelas Herías, Francisco Andrés - Jara Bravo, Carlos Alberto

Formato:	info:eu-repo/semantics/conferenceObject
Enlaces:	This paper introduces a new set of compact interactive simulations developed for the constructive learning of computer networks concepts. These simulations, which compose a virtual laboratory implemented as portable Java applets, have been created by combining EJS (Easy Java Simulations)…
Fecha:	2011-04-13
Recurso:	RUA Docencia

Recurso libre

71.

Material adicional de prácticas
Viejo Hernando, Diego - Colomina Pardo, Otto - Cazorla Quevedo, Miguel Ángel

Formato:	software
Enlaces:	Material suministrado en prácticas.
Fecha:	2011-05-19
Recurso:	RUA Docencia

Recurso libre

72.

Unidad 7. Reflexión (curso 2011-2012)
Ponce de León Amador, Pedro José

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Unidad 7: Reflexión.
Fecha:	2011-11-15
Recurso:	RUA Docencia

Recurso libre

73.

Métricas 00 aplicadas a código objeto java
Utsunomiya, Carla Tiaki

Formato:	Teses e Dissertações
Enlaces:	Resumo: Na busca de melhorias no processo de desenvolvimento de software para a obtenção de um produto de qualidade, várias métricas têm sido propostas, com as quais pode-se gerenciar este processo e detectar falhas de projeto. As métricas de software…
Fecha:	2011-02-04
Recurso:	Universidade Federal do Parana

Recurso libre

74.

Abstract Certification of Java Programs in Rewriting Logic
Alba Castro, Mauricio Fernando

Formato:	text (thesis)
Enlaces:	In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming language Maude. We focus on safety properties, i.e.…
Fecha:	2011
Recurso:	Dialnet (Tesis)

Recurso libre

75.

Object-oriented algorithm analysis and design with Java
Rajsbaum, S - Viso Gurovich, Elisa

Formato:	Article
Enlaces:	This paper presents a new approach to algorithm design and analysis that benefits from the OO characteristics of Java. It consists of first defining the inheritance structure of a collection of algorithms, at different levels of abstraction. Then, correctness proofs…
Fecha:	2011-01-22
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

76.

Análisis y desarrollo del sistema académico para el Centro Educativo "Ágape"
Collantes Beltrán, Gerardo Mauricio - Vaca Páez, Hector Paul

Formato:	Thesis
Enlaces:	El presente proyecto tiene como alcance el investigar, analizar y proponer la mejor solución para crear un sistema académico, con el fin de que se cumplan todas las expectativas que el Centro Educativo ÁGAPE anhela, así como lo relacionado a…
Fecha:	2012-03-02
Recurso:	Universidad Politécnica Salesiana

Recurso libre

77.

Comunicación síncrona de simulaciones interactivas desarrolladas con Easy Java Simulations
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando - Esquembre Martínez, Francisco - Dormido Bencomo, Sebastián

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Con el principal objetivo de unir las ventajas de los laboratorios virtuales y los entornos colaborativos on-line, se presenta en este artículo un sistema de comunicación síncrono entre simulaciones interactivas desarrolladas en Easy Java Simulations (Ejs) a través del protocolo
Fecha:	2007-10-21
Recurso:	RUA Docencia

Recurso libre

78.

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

79.

Using Exception Handling to Build Opaque Predicates in Intermediate Code Obfuscation Techniques
Dolz, Daniel - Parra, Gerardo

Formato:	Articulo, Articulo
Enlaces:	Microsoft's .NET Framework, and JAVA platforms, are based in a just-in-time compilation philosophy. Software developed using these technologies is executed in a hardware independent framework, which provides a full object-oriented environment, and in some cases allows the interaction of several…
Fecha:	2008-10-08
Recurso:	Unversidad Nacional de La Plata

Recurso libre

80.

Utilización de un joystick económico en una interfaz de teleoperación basada en Java
Candelas Herías, Francisco Andrés - Puente Méndez, Santiago Timoteo - Torres Medina, Fernando - Pomares Baeza, Jorge

Formato:	info:eu-repo/semantics/bookPart
Enlaces:	En los últimos años se han desarrollado bastantes laboratorios virtuales para la simulación y teleoperación de robots orientados a la docencia, que permiten a numerosos grupos de alumnos realizar prácticas de robótica, sin que la institución docente deba afrontar los…
Fecha:	2007-10-20
Recurso:	RUA Docencia

Recurso libre

81.

Ejs+EjsRL: an interactive tool for industrial robots simulation, Computer Vision and remote operation
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Gil Vázquez, Pablo - Torres Medina, Fernando - Esquembre Martínez, Francisco - Dormido Bencomo, Sebastián

Formato:	info:eu-repo/semantics/article
Enlaces:	This paper presents an interactive Java software platform which enables users to easily create advanced robotic applications together with Computer Vision processing. This novel tool is composed of two layers: (1) Easy Java Simulations (EJS), an open-source tool which provides…
Fecha:	2011-05-16
Recurso:	RUA Docencia

Recurso libre

82.

Computer networks e-learning based on interactive simulations and SCORM
Gil Vázquez, Pablo - Candelas Herías, Francisco Andrés - Jara Bravo, Carlos Alberto

Formato:	info:eu-repo/semantics/article
Enlaces:	This paper introduces a new set of compact interactive simulations developed for the constructive learning of computer networks concepts. These simulations, which compose a virtual laboratory implemented as portable Java applets, have been created by combining EJS (Easy Java Simulations)…
Fecha:	2011-06-28
Recurso:	RUA Docencia

Recurso libre

83.

Cliente Seguro de I.M. con Jabber
CRESPO PÉREZ, JENNY MARGARITA - FIGUEROA REYES, ELSIE MAGALY - VERA ESPINOZA, ENA MARÍA

Formato:	Thesis
Enlaces:	El sistema de mensajería instantánea CSJabber fue desarrollada para permitir que los usuarios comunicarse de forma rápida y segura. Este hace uso del protocolo Jabber, el mismo que permite obtener múltiples beneficios de seguridad con el uso de SSL en…
Fecha:	2013-09-25
Recurso:	Universidad de Guayaquil

Recurso libre

84.

Herramientas interactivas para la enseñanza de robótica
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Este trabajo presenta herramientas interactivas que pueden ser utilizadas para la enseñanza de robótica. Mediante estas herramientas el usuario puede adquirir desde conceptos básicos de robótica hasta un aprendizaje práctico en el manejo de robots. Las aplicaciones ofrecen una interfaz…
Fecha:	2007-10-20
Recurso:	RUA Docencia

Recurso libre

85.

Practical training of robotic concepts using interactive tools
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/lecture
Enlaces:	This paper presents an interactive computer simulator that can be used in the field of practical training in Robotics. The tool can provide basic training for workers as well as increase their knowledge about robotic concepts. The application offers a…
Fecha:	2007-10-30
Recurso:	RUA Docencia

Recurso libre

86.

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

87.

Práctica 1. Suplemento código fuente (curso 2011-2012)
Rizo Valero, David - Ponce de León Amador, Pedro José

Formato:	software
Enlaces:	Suplemento de código fuente para la práctica 1.
Fecha:	2011-09-21
Recurso:	RUA Docencia

Recurso libre

88.

Práctica 2. Gráficos Vectoriales con SVG (curso 2011-2012)
Ponce de León Amador, Pedro José

Formato:	learningObject
Enlaces:	Enunciado de la práctica 2 (P2).
Fecha:	2011-09-30
Recurso:	RUA Docencia

Recurso libre

89.

Práctica 2. Gráficos Vectoriales con SVG (curso 2011-2012) (versión 29.09.14)
Rizo Valero, David

Formato:	learningObject
Enlaces:	Enunciado de la práctica 2 (P2).
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

90.

Unidad 4. Gestión de errores (curso 2011-2012)
Ponce de León Amador, Pedro José

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Unidad 4. Gestión de errores
Fecha:	2011-10-10
Recurso:	RUA Docencia

Recurso libre

91.

Unidad 5. Herencia (curso 2011-2012)
Cachero Castro, Cristina - Ponce de León Amador, Pedro José

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Unidad 5. Herencia.
Fecha:	2011-10-19
Recurso:	RUA Docencia

Recurso libre

92.

Práctica 3. Gráficos Vectoriales con SVG (curso 2011-2012) (versión 11.10.27)
Rizo Valero, David

Formato:	learningObject
Enlaces:	Enunciado de la práctica 3 del curso 2011-2012.
Fecha:	2011-12-05
Recurso:	RUA Docencia

Recurso libre

93.

Incorporação das propriedades rotâmeros e ocupância em métodos de análise estrutural de proteínas.
FALCÃO, P. K. - BAUDET, C. - HIGA, R. H. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Conformação das cadeias laterais (rotâmeros); Dupla ocupância; Java Protein Dossier., 2002, Acesso em: 30 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

94.

AURA : a hybrid approach to identify framework evolution
Wu, Wei

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Les cadriciels et les bibliothèques sont indispensables aux systèmes logiciels d'aujourd'hui. Quand ils évoluent, il est souvent fastidieux et coûteux pour les développeurs de faire la mise à jour de leur code. Par conséquent, des approches ont été proposées…
Fecha:	2010-05-31
Recurso:	Université de Montreal

Recurso libre

95.

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

96.

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

Formato:	Tesis
Enlaces:	En el presente proyecto se realiza el diseño y la implementación de un sistema de administración de red, el cual se enfoca en la utilización del protocolo SNMPv3, con el fin de ofrecer mejores prestaciones en cuanto a la seguridad…
Fecha:	2011-02-23
Recurso:	Escuela Politécnica Nacional

Recurso libre

97.

Generador de reporte para postgres
Caliz Ramos, Doris Cruz

Formato:	Tesis
Enlaces:	Resulta fundamental disponer de una herramienta de reportes que permitan un fácil y rápido acceso hacia los datos contenidos en bases de datos Postgres como parte de una estrategia Open Source aplicable a cualquier organización, considerando el ahorro en licencias…
Fecha:	2009-09-11
Recurso:	Escuela Politécnica Nacional

Recurso libre

98.

Manual do Sistema Bife de Qualidade: verão 1.0.
VIEIRA, F. D.

Formato:	Documentos (INFOTECA-E)
Enlaces:	O presente trabalho foi elaborado a fim de que os usuários que utilizam o Sistema Bife de Qualidade pudessem consultar um manual de uso das ferramentas do sistema sempre que tivessem dúvidas em relação ao uso do mesmo. A vantagem…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

99.

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

100.

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