Metabuscador

Filtrado por:

Temas

Idiomas

Español (202)
Inglés (73)
pt_BR (30)
Portugués (28)
en (15)
Más...

Recursos

Unversidad Nacional de La Plata (111)
RUA Docencia (45)
Escuela Politécnica Nacional (36)
Universidad Politécnica Salesiana (26)
Informação Tecnológica en Agricultura (Infoteca-e) (19)

Más...

Año

2013 (26)
2010 (29)
2008 (23)
2007 (30)
2006 (26)
2005 (16)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

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

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

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

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

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

Mecanismos de suporte ao escalonamento em sistemas com objetos distribuídos Java
Geyer, Cláudio Fernando Resin - Silva, Luciano da - Augustin, Iara - Yamin, Adenauer - Araujo, Edvar Bergmann

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artigo propõe recursos para o escalonamento de objetos distribuídos. Para tanto, são definidos dois mecanismos tidos como centrais para tal: um primeiro que irá realizar a instanciação remota de objetos Java, e um segundo que terá a cargo a…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Inférence statique et par contraintes des relations de composition dans des programmes Java
Habti, Norddin

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

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

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

10.

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

11.

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

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.

Ferramenta de apoio ao teste de aplicações java baseada em reflexão computacional
Silveira, Fábio Fagundes - Price, Ana Maria de Alencar

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	A atividade de teste constitui uma fase de grande importância no processo de desenvolvimento de software, tendo como objetivo garantir um alto grau de confiabilidade nos produtos desenvolvidos. Com o advento do paradigma da orientação a objetos, novos problemas foram…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

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

15.

JavaVis: una librería para visión artificial en Java
Cazorla Quevedo, Miguel Ángel - Colomina Pardo, Otto - Compañ Rosique, Patricia - Escolano Ruiz, Francisco - Zamora, José Luis

Formato:	info:eu-repo/semantics/bookPart
Enlaces:	En este artículo se describe JavaVis, una librería de visión artificial escrita en Java y desarrollada en el Departamento de Ciencia de la Computación e Inteligencia Artificial de la Universidad de Alicante. Esta librería presenta una serie de ventajas: portabilidad,…
Fecha:	2009-11-11
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.

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

18.

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

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.

Modelización y estudio experimental de sistemas distribuidos de tiempo real
Miaton, Ivana Carla - Pesado, Patricia - De Giusti, Armando Eduardo - Bertone, Rodolfo Alfredo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Investigar experimentalmente diferentes modelos de sistemas distribuidos, estudiando especialmente la migración dinámica de procesos y datos, así como el comportamiento de redes móviles en procesos de tiempo real. Los temas fundamentales propuestos en el proyecto se refieren al desarrollo de…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

21.

Uso da ferramenta Pentaho BI-Server para obtenção de informações gerenciais do Sistema Aberto e Integrado de Informação em Agricultura (Sabiia).
HIRATA, A. - VACARI, I.

Formato:	Resumo em anais de congresso (ALICE)
Enlaces:	Nesse contexto de ambiente de informação, acesso e extração de informações gerenciais da base de dados do sistema Sabiia, o projeto definiu como objetivo estratégico o uso de soluções livres de BI para obtenção de informações e respostas gerenciais, tais…
Fecha:	2012-04-03
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

22.

Notice sur l'Erpétologie de l’île de Java
Boie, Friedrich

Formato:
Enlaces:	Descripción completa.
Fecha:	2012-09-13
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

23.

[ . . . Nouveaux genres . . . Dans l’ouvrage sur l’erpétologie de l’île de Java. . . .]
Boie, Heinrich

Formato:
Enlaces:	Descripción completa.
Fecha:	2012-09-13
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

24.

Notice sur l'Erpétologie de l'île de Java
Schlegel, Hermann

Formato:
Enlaces:	Descripción completa.
Fecha:	2012-09-13
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

25.

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

26.

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

27.

Libros: Orchids of Java
Soto,M.A.

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

Recurso libre

28.

A comprehensive approach to array bounds check elimination for Java /
Qian, Feng, 1973-

Formato:	Electronic Thesis or Dissertation
Enlaces:	We present a new approach to eliminate array bounds checks in Java by using static analyses. Our approach is based upon a flow-sensitive intraprocedural analysis called variable constraint analysis (VCA). VCA collects constraints between locals related to array references. The…
Fecha:	2001
Recurso:	McGill University - MCGILL

Recurso libre

29.

Comparing electronic commerce solutions for small businesses
Yu, Xing, 1974-

Formato:	Electronic Thesis or Dissertation
Enlaces:	E-commerce is a new way of doing business. It is becoming increasingly important to everybody. The objective of this thesis is to compare various design approaches and to find out the best solution for small businesses. Some commonly used technologies…
Fecha:	2001
Recurso:	McGill University - MCGILL

Recurso libre

30.

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

31.

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

32.

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

33.

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

34.

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

35.

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

36.

Java Implementation and Performance Evaluation of Some Cryptographic Ciphers under WinXP and Linux Operating System Platforms
kofahi, Najib A.

Formato:	info:eu-repo/semantics/article, Peer-reviewed Article, info:eu-repo/semantics/publishedVersion
Enlaces:	In this article we present a performance comparison of four symmetric block ciphers namely DES, Triple-DES, AES, and Blowfish. Performance evaluation based on CPU execution time is conducted under WinXP and Ubuntu /Linux version 8.10 operating system platforms. The study…
Fecha:	2013-04-30
Recurso:	Information and knowledge management

Recurso libre

37.

Caampi
Fillus, Edison Klafke

Formato:	Teses e Dissertações
Enlaces:	Resumo
Fecha:	2012-11-19
Recurso:	Universidade Federal do Parana

Recurso libre

38.

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

39.

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

40.

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

41.

Supporting Dynamic Languages on the Java Virtual Machine
Shivers, Olin

Formato:
Enlaces:	In this note, I propose two extensions to the Java virtual machine (or VM) to allow dynamic languages such as Dylan, Scheme and Smalltalk to be efficiently implemented on the VM. These extensions do not affect the performance of pure…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

42.

Analisis, diseño, construcción e implementación de un portal WAP para la georeferenciación del patrimonio cultural de la ruta de los Yumbos (desde Rumipamba hasta Pacto) en el distrito metropolitano de Quito utilizando información del fondo de salvamento (FONSAL)
Campoverde Rivera, Paola Elizabeth - Echesi Pinanjota, Cesar Stalin

Formato:	Thesis
Enlaces:	Busca la construcción de la aplicación para la ruta de los Yumbos, con la ayuda de nuevas herramientas de software libre se conseguirá obtener un portal wap, que con la tecnología en la actualidad se podrá observar en un teléfono…
Fecha:	2012-04-11
Recurso:	Universidad Politécnica Salesiana

Recurso libre

43.

Implementation and optimization of thread-local variables for a race-free Java dialect
Zhang, Yi

Formato:	Electronic Thesis or Dissertation
Enlaces:	Despite the popularity of Java, problems may arise from potential data-race conditionsduring execution of a Java program. Data-races are considered errors in concurrent pro-gramming languages and greatly complicate both programming and runtime optimizationefforts. A race-free version of Java is therefore…
Fecha:	2012
Recurso:	McGill University - MCGILL

Recurso libre

44.

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

45.

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

46.

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

47.

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

48.

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

49.

Comunicação entre objetos distribuídos replicados tolerantes a falhas
Hanel, Marcelo - Tres, Maykel - Junior, Emerson Rogério de Oliveira

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este trabalho apresenta uma forma de transformar aplicações orientadas a objetos tolerantes a falhas de crash, podendo ser utilizado em um ambiente distribuído baseado em objetos que se comunicam entre si, a fim de executarem uma ação. Para garantir a…
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

50.

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

51.

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

52.

Evaluación de herramientas para medir acoplamiento y cohesión en java
Navarro Belmonte, Víctor Pablo

Formato:	info:eu-repo/semantics/masterThesis
Enlaces:	El Software debe ser construido cuidando que sea mantenible y reusable, una forma de saber cuantificar estos aspectos es usando métricas de acoplamiento y cohesión. Medir acoplamiento y cohesión es importante, pero no es fácil
Fecha:	2012
Recurso:	CIMAT

Recurso libre

53.

An object-oriented framework for predictive models in intensive care units
Moyano, Marcelo - Cechich, Alejandra - Camaña, R.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	When used in conjunction with patterns, class libraries, and components, objectoriented application frameworks can significantly increase software quality and reduce development effort. Frameworks are a kind of domain-specific model whose structure can reuse existing patterns. In the field of medical…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

54.

JACC un entorno de generación de procesadores de lenguajes
Aguirre, Jorge - Arroyo, Marcelo - Felippa, J. - Gomez, Guillermo - Grinspan, Valentina

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En el presente trabajo se exponen los puntos más relevantes del diseño e implementación de jacc, un entorno de generación de procesadores de lenguajes o de compilación de compiladores, basado en un formalismo que brinda la posibilidad de utilizar las…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

55.

Um estudo sobre métodos de pesquisa utilizados em segurança computacional - Criptografia Introdução
Ribeiro, V. G.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	O atual modelo de produção científica tem como maior prioridade a promoção dessa produção através de artigos publicados em eventos científicos, o qual foram referendados por sua qualidade através de um corpo editorial. Não há uma forma explícita de escrever…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

56.

Servidor web multiplataforma con implementación CGI
Saravia, Loraine E. Gimson - Fernández, Julián J.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El objetivo que perseguimos en este trabajo fue el desarrollo de un servidor Web multiplataforma basado en el protocolo HTTP 1.0 con implementación de la interfaz CGI, utilizando como lenguaje de programación JAVA. Los métodos que implementa son GET, HEAD,…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

57.

Opsomming der soorten van reptilien, tot dus verre van het eiland Java bekend geworden
Bleeker, Pieter

Formato:
Enlaces:	Descripción completa.
Fecha:	2012-09-13
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

58.

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

59.

Utilização da ferramenta Liferay na construção do portal do Laboratório Multiusuário de Bioinformática da Embrapa - LMB.
PEREIRA, F. C. de P. - VAZ, G. J. - LOBO, F. P. - YAMAGISHI, M. E. B. - GIACHETTO, P. F.

Formato:	Resumo em anais de congresso (ALICE)
Enlaces:	O Laboratório Multiusuário de Bioinformática (LMB) da Embrapa, implantado na Embrapa Informática Agropecuária em outubro de 2011, é uma iniciativa que se propôs a integrar competências multidisciplinares e elevada capacidade computacional para atender as demandas em Bioinformática dos projetos da…
Fecha:	2012-04-03
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

60.

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

61.

Estrategia de seguridad distribuida en redes bajo ambiente de Jini y Java
Argueta Amador, Alfredo

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	Descripción completa.
Fecha:	2001-05-21
Recurso:	CIRIA

Recurso libre

62.

Sistemas basados en conocimiento en Internet: JavaServlets y Prolog
Ponce Carrillo, Omar Antonio

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	Descripción completa.
Fecha:	2001-01-12
Recurso:	CIRIA

Recurso libre

63.

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

64.

Estudio de actualización de réplicas de datos en entornos de bases de datos distribuidas
Len, Sergio Javier - Bertone, Rodolfo Alfredo - Ruscuni, Sebastián Mariano

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La capacidad de compartir grandes volúmenes de información a nivel mundial es una realidad y una necesidad de mercado. Cuando se tiene un problema que involucra distribución de información, luego de definir el modelo de datos, se tiene la necesidad…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

65.

Simulador para el estudio de casos de procesamiento distribuido en tiempo real
Miaton, Ivana Carla - Pesado, Patricia - De Giusti, Armando Eduardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Dado que un sistema distribuído de tiempo real debe interactuar con el mundo real, en puntos fisícamente distantes y en períodos de tiempo que vienen determinados por el contexto o las restricciones de la especificación (en muchos casos a partir…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

66.

Evaluating count models for predicting post-release faults in object-oriented software
Fahmi, Mazen.

Formato:	Electronic Thesis or Dissertation
Enlaces:	This thesis empirically compares statistical prediction models using fault count data and fault binary data. The types of statistical models that are studied in detail are Logistic Regression for binary data and Negative Binomial Regression for the count data. Different…
Fecha:	2001
Recurso:	McGill University - MCGILL

Recurso libre

67.

A distributed vision system using streaming video interconnects /
Sidloi, Mark.

Formato:	Electronic Thesis or Dissertation
Enlaces:	I present a distributed vision system for testing and development of computer vision algorithms. The system's form follows a new approach to the construction of vision systems. Utilizing streaming video interconnects and distributed computer resources, the system provides researchers with…
Fecha:	2001
Recurso:	McGill University - MCGILL

Recurso libre

68.

Desarrollo de Software para Intranet Bajo Tecnología JSP: Sistema de Inscripciones en la UDLP-P
Ostróvskaya, Yulia Andréyevna

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	La presente es una tesis de desarrollo que fue realizada para apoyar la Dirección de Desarrollo e Integración de Sistemas de la Universidad De Las Américas-Puebla, México, en su proyecto de migración del software administrativo de esta institución a…
Fecha:	2001-05-21
Recurso:	CIRIA

Recurso libre

69.

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

70.

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

71.

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

72.

A GIS editor for a database programming language /
Chen, YuLing, 1970-

Formato:	Electronic Thesis or Dissertation
Enlaces:	Geographical Information Systems (GIS) have become a more and more important application of database systems. Most general-purpose database systems do not contain a graphical display interface which is indispensable in GIS applications. This thesis presents the design and implementation of…
Fecha:	2001
Recurso:	McGill University - MCGILL

Recurso libre

73.

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

74.

Proposal of fuzzy object oriented model in extended JAVA
Pereira, Wilmer

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…
Fecha:	2012-11-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

75.

Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA
Matos, Alexandre Veloso de - Gonçalves Riso, Bernardo - Notare, Mirela Sechi Moretti Anonni

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Apesar de possuir características que a tornam mais flexível que outras linguagens de programação, existem fragilidades que podem facilitar a construção de ataques usando a linguagem Java. Um componente de extrema importância, no Modelo de Segurança da plataforma Java…
Fecha:	2012-11-21
Recurso:	Unversidad Nacional de La Plata

Recurso libre

76.

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

77.

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

78.

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

79.

Servicio de consultas y visualización en 2d en el contexto del SIG del volcán Popocatépetl
Espinosa Ruiz, Guillermo

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	El objetivo de este proyecto, denominado MAPPA, fue el de incorporar una herramienta de visualización en 2D al proyecto del volcán Popocatépetl. La implementación del proyecto se basa en formatos estándares propuestos por el W3C (XSLT y SVG),…
Fecha:	2004-04-23
Recurso:	CIRIA

Recurso libre

80.

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

81.

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

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.

VFT
Camargo, Neilor Fermino

Formato:	Teses e Dissertações
Enlaces:	RESUMO Esta dissertação apresenta uma Estrutura de Aplicação Orientada a Objetos para a construção de aplicações de visualização de fenômenos terrestres em 3D via Web. Faz uma investigação sobre os métodos, técnicas e processos de construção de Estruturas de…
Fecha:	2012-03-12
Recurso:	Universidade Federal do Parana

Recurso libre

84.

JavaLog: una integración de objetos y lógica para la programación de agentes
Zunino, Alejandro - Amandi, Analía - Iturregui, Ramiro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Los lenguajes orientados a objetos son utilizados en la programación de agentes y, ge- neralmente, satisfacen muchos de sus requerimientos pero presentan inconvenientes en la representación y tratamiento de actitudes mentales. Los lenguajes lógicos permiten repre- sentar actitudes mentales en…
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

85.

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

86.

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

87.

Plants Database
United States Department of Agriculture

Formato:	Biblioteca virtual
Enlaces:	Descripción completa.
Fecha:	2012-11-05
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

88.

Interfaz en español para recuperación de información en una base de datos geográfica
Quintero Orea, Moises

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	Sólo podemos ver una pequeña distancia a lo lejos, pero podemos ver a plenitud qué necesita ser hecho. Alan Turing([12, 9]) En este trabajo se estudió el Procesamiento del Lenguaje Natural utilizando el Sistema XSB como sistema…
Fecha:	2001-12-10
Recurso:	CIRIA

Recurso libre

89.

Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
Uva, Marcelo - Frutos, Mariana - Gonzaléz, Ariel - Arsaute, Ariel - Daniele, Marcela - Martellotto, Paola - Zorzán, Fabio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Model Driven Architecture (MDA) define un proceso de construcción de software basado en la producción y transformación de modelos. En Ingeniería de Software, refactorización es la técnica que reestructura código de una aplicación, alterando su estructura interna sin modificar su…
Fecha:	2013-06-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

90.

Um framework MVC para aplicações em java utilizando swing.
Lemser, Alessandro - Thiry, Marcello

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This paper describes an desktop application framework to be used with the Java Swing API. The goal of this framework is to promote the decoupling between the Frames and its actions, turning up the modularity of desktop application systems and…
Fecha:	2012-10-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

91.

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

92.

RTL modeling and simulation using JAVA
Ohana, Eric - Luca, Cristina L.

Formato:	Conference Paper
Enlaces:	This paper presents a JAVA based framework for RTL modeling and simulation of digital hardware designs. After linking between object-oriented concepts and RTL models, the JAVA analogy to features found in a widely used hardware description language like Verilog is…
Fecha:	2013-09-16
Recurso:	Anglia Ruskin University

Recurso libre

93.

Replicação de arquivos com Java
Werlang, Rodrigo - Oliveira Júnior, Emerson Rogério de

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The objective of this work is to supply one more contribution to the scientific community presenting techniques that will be used in distributed systems that need file replications in real time guaranteeing the permanent availability of the system. As the…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

94.

Uso do software livre Solr para construção da camada de indexação e busca do módulo de consulta institucional do sistema Ainfo.
NASCIMENTO, A. E. M. do - VACARI, I.

Formato:	Resumo em anais de congresso (ALICE)
Enlaces:	O mecanismo de indexação e busca textual Lucene (THE APACHE SOFTWARE FOUNDATION, 2010a) tem sido largamente utilizado em projetos open source em todo mundo. Entretanto, para o módulo de consulta do sistema Ainfo, objetivou-se encontrar soluções livres capazes de estender…
Fecha:	2011-04-09
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

95.

Ambiente de simulación para la recuperación en un entorno con Bases de Datos Distribuidas
Miaton, Ivana Carla - Ruscuni, Sebastián Mariano - Bertone, Rodolfo Alfredo - De Giusti, Armando Eduardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La utilización de bases de datos distribuidas (BDD) o de bases de datos federales o federativas (DBF) representan una solución viable para los usuarios cuando deben optar para la generación de sus sistemas de información. La utilización de estas bases…
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

96.

Compilador y traductor de pseudocódigo para la lógica de programación (CompiProgramación)
Vanegas, Carlos Alberto; Universidad Distrital "Francisco José de Caldas"

Formato:	,
Enlaces:	CompiProgramación es una herramienta diseñada como recurso didáctico para la enseñanza de la lógica de programación. La herramienta maneja tres módulos. El primero permite la creación de algoritmos en pseudocódigo utilizando el paradigma estructurado; el pseudocódigo puede verificarse mediante un…
Fecha:	2012-06-04
Recurso:	Tecnura

Recurso libre

97.

Soporte XSL para herramientas que manipulan contenido XML. Una experiencia de desarrollo
Wanumen Silva, Luis Felipe; Universidad Distrital "Francisco José de Caldas"

Formato:	,
Enlaces:	En este artículo se desarrollan los aspectos fundamentales que deben tenerse en cuenta para añadir a una herramienta software que manipula contenido XML en Java, otorgando el soporte requerido para que pueda utilizar las potencialidades del lenguaje XSL. El proceso…
Fecha:	2012-06-04
Recurso:	Tecnura

Recurso libre

98.

Los servlets como puente de comunicación cliente-servidor empleando java
Vanegas, Carlos Alberto; Universidad Distrital "Francisco José de Caldas"

Formato:	,
Enlaces:	En este artículo se expone la creación de servlets como puente de comunicación entre clientes y servidores utilizando el protocolo HTTP para la creación de páginas Web. Aquí se realiza una comparación entre un servlet y un CGI, se explica…
Fecha:	2012-06-04
Recurso:	Tecnura

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