Metabuscador

Filtrado por:

Temas

Idiomas

Español (195)
Inglés (57)
pt_BR (30)
Portugués (27)
es (13)
Más...

Recursos

Unversidad Nacional de La Plata (119)
RUA Docencia (28)
Escuela Politécnica Nacional (27)
Universidad Politécnica Salesiana (25)
Informação Tecnológica en Agricultura (Infoteca-e) (19)

Más...

Año

2013 (28)
2010 (25)
2009 (20)
2008 (24)
2007 (28)
2005 (19)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

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

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

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

Recurso libre

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

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

Recurso libre

Libros: Orchids of Java
Soto,M.A.

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

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

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

Big Bang: un recurso didáctico-pedagógico en el aprendizaje de la implementación de algoritmos en pseudocódigo
Cortes, Eduardo - Vanoli, Verónica - Casas, Sandra

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El proceso de enseñanza y aprendizaje de los cursos iniciales de nivel superior que tienen por objeto introducir al estudiante en el diseño e implementación de algoritmos, puede ser favorecido mediante el uso de herramientas específicas que den soporten tanto…
Fecha:	2012-09-12
Recurso:	Unversidad Nacional de La Plata

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

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

10.

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

11.

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

12.

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

13.

Administración de sensores remotos a través de microServidores Web
Caballero, Raúl M. - Loyarte, Horacio - Maggiolo, Gustavo Daniel - Pfarher, Iván - Reula, Germán

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Las tecnologías de la información y las comunicaciones han avanzado en forma notable en los últimos tiempos, siendo el paradigma de Internet el emblema de este desarrollo. Es posible hoy operar dispositivos a distancia en base a las tecnologías integradas…
Fecha:	2012-09-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

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

15.

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

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

Recurso libre

16.

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

17.

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

18.

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

19.

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

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

Recurso libre

20.

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

21.

[ . . . 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

22.

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

23.

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

24.

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

25.

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

26.

Evento: Curso de JAVA

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

Recurso libre

27.

DESARROLLO DE UN VIDEOJUEGO DIDACTICO PARA LA ENSENANZA DE CONJUNTOS Y SUS OPERACIONES CON JAVA 2D.
AGUIRRE ORTIZ, JAIME - DZUL CALVILLO, ROMAN

Formato:	Thesis
Enlaces:	TESINA C7.1447
Fecha:	2010-11-17
Recurso:	Instituto Politécnico Nacional - México

Recurso libre

28.

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

29.

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

30.

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

31.

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

32.

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

33.

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

34.

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

35.

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

36.

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

37.

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

38.

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

39.

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

40.

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

41.

Evento: Curso de JAVA

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

Recurso libre

42.

Evento: Curso de JAVA

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

Recurso libre

43.

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

44.

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

45.

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

46.

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

47.

Reconstrução de sinal e imagem: conjunto de programas para teste de diferentes algoritmos, Reconstrução de sinal e imagem: conjunto de programas para teste de diferentes algoritmos
M. J. C. S. Reis - P. J. S. G. Ferreira

Formato:	article, article
Enlaces:	In this paper we consider signal and image reconstruction problems, and present two Java applets that can be used as teaching tools or as a means of comparing and assessing specific signal and image reconstruction algorithms. The applets have user-friendly…
Fecha:	2012-12-06
Recurso:	Electrónica e Telecomunicações

Recurso libre

48.

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

49.

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

50.

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

51.

Análisis, diseño e implementación de un Sistema de Información Modular para gestionar el cobro de impuestos de Agua Potable y Alcantarillado y otras remuneraciones en la Ilustre Municipalidad del cantón Déleg
Cuzco Quizhpi, Jhony A. - Lozano Guambaña, Luis G.

Formato:	Thesis
Enlaces:	Los Sistemas de Información son de gran utilidad para las organizaciones, ya que se obtiene significativas mejoras, automatiza procesos, proveen de una plataforma de información y su implantación adquiere ventajas competitivas, mejorando la forma de operar o realizar las actividades…
Fecha:	2012-07-30
Recurso:	Universidad Politécnica Salesiana

Recurso libre

52.

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

53.

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

54.

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

55.

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

56.

Evaluación de la evolución del diseño en F/OSS: un caso de estudio
Ramírez, Jorge - Gimson, Loraine - Gil, Gustavo Daniel

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En los últimos años El F/OSS se convirtió en una alternativa viable tanto para la provisión de software como para la reutilización en la creación de nuevos productos. Dada la enorme heterogeneidad de los productos F/OSS, se vuelve necesaria la…
Fecha:	2012-08-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

57.

Secrecy and Performance Analysis of Symmetric Key Encryption Algorithms
Weerasinghe, Tharindu Darshana Bandara; BSc.Eng(Hons), MIEEE, AMIE(SL), MSc.Eng candidate, Department of Electrical and Electronic Engineering, University of Peradeniya, Peradeniya 20400, Sri Lanka

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
Enlaces:	There can be two vital criteria of selecting an algorithm to fulfil one’s encryption requirement. The security level of the cipher (secrecy) and the encryption time (performance). There is less focus on secrecy of ciphers as a security measurement, thus…
Fecha:	2012-06-16
Recurso:	International journal of information and network security

Recurso libre

58.

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

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

Recurso libre

59.

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

60.

Evento: Curso de JAVA

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

Recurso libre

61.

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

62.

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

63.

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

64.

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

65.

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

66.

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

67.

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

68.

Caampi
Fillus, Edison Klafke

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

Recurso libre

69.

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

70.

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

71.

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

72.

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

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

Recurso libre

73.

Simulador gráfico de Movimiento Armónico como instrumento para integrar conocimientos
Bongianino, Ruben - Cistac, Griselda

Formato:	Articulo, Articulo
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-21
Recurso:	Unversidad Nacional de La Plata

Recurso libre

74.

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

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

Recurso libre

75.

EJS+EjsRL: a free Java tool for advanced Robotics simulation and Computer Vision processing
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Pomares Baeza, Jorge - Gil Vázquez, Pablo - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/conferenceObject
Enlaces:	This paper presents a free Java software platform which enables users to easily create advanced robotic applications together with image processing. This novel tool is composed of two layers: 1) Easy Java Simulations (EJS), an open-source tool which provides support…
Fecha:	2010-07-23
Recurso:	RUA Docencia

Recurso libre

76.

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

77.

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

78.

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

79.

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

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

Recurso libre

80.

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

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

Recurso libre

81.

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

82.

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

83.

Evaluation of orthosiphon stamineus aqueous extract for in vitro antimycobacterial activity and its interaction with isoniazid
Hussain, Khalid - Hashmi, Furqan K. - Hassan, Syed S. - Latif, Abida - Ismail, Zhari - Sadikun, Amirin - Ibrahim, Pazilah

Formato:	Articulo, Articulo
Enlaces:	In addition to a number of traditional medicinal uses, recently the consumption of leaves of Orthosiphon stamineus infusion (Misai kuching Tea and Java Tea) has gained popularity in many countries such as Malaysia, Indonesia and Thailand. The plant is known…
Fecha:	2011-09-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

84.

Genetic Transcript Analyzer
Silva, Jesse Teixeira da

Formato:	Dissertação
Enlaces:	Resumo: Atualmente, com as inúmeras tecnológicas disponíveis para sequenciamento de transcritos, o problema consiste no número de ferramentas computacionais para a análise de dados. Neste trabalho apresentamos o desenvolvimento do Genetic Transcript Analyzer (GTA), uma nova ferramenta para comparação de…
Fecha:	2013-10-07
Recurso:	Universidade Federal do Parana

Recurso libre

85.

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

86.

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

87.

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

88.

Evento: Curso Básico de Lenguaje JAVA

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

Recurso libre

89.

Household Composition and Labor Demand: A Test of Rural Labor
Benjamin, Dwayne

Formato:	Working Paper
Enlaces:	A central issue in agricultural taxation and pricing policy analysis is the degree to which the rural labor market can be characterized by a competitive supply and demand framework, and if so, what is the magnitude of the elasticity of…
Fecha:	2011-10-26
Recurso:	Universidad de Princenton

Recurso libre

90.

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

91.

René B. Karels, Mijn aardse leven vol moeite en strijd. Raden Mas Noto Soeroto. Javaan, dichter, politicus 1888-1951
Captain, Esther; Royal Netherlands Historical Society (editorial secretary)

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
Enlaces:	Descripción completa.
Fecha:	2012-06-22
Recurso:	BMGN - Low Countries Historical Review

Recurso libre

92.

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

93.

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

94.

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

95.

Utilización del patrón MVC en el desarrollo de programas de optimización: caso aplicado al despacho económico con restricción de emisión de gases contaminantes.
Alzamora Alzamora, Marco Patricio

Formato:	Article
Enlaces:	El Modelo Vista Controlador (MVC) es un patrón de arquitectura de software que separa los datos de una aplicación, la interfaz de usuario y la lógica de control, en tres componentes distintos. El patrón MVC se presenta frecuentemente en aplicaciones…
Fecha:	2009-10-12
Recurso:	Escuela Politécnica Nacional

Recurso libre

96.

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

97.

Teaching Java Programming using CABLE in a Collaborative Online Environment
McKelvey, Nigel - Curran, Kevin; University of Ulster

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
Enlaces:	With the emergence and evolution of computer hardware, software and networks - virtual classrooms now exist which enable teachers and students to experience learning activities and to work together at a distance either directly or on a part-time basis. We…
Fecha:	2012-06-30
Recurso:	International journal of evaluation and research in education

Recurso libre

98.

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

99.

A Java based statics virtual laboratory as a support to the teaching of mechanics in technical degrees
Neipp López, Cristian - Rodes Roca, José Joaquín - Hernández Prados, Antonio - Bleda Pérez, Sergio - Beléndez Vázquez, Augusto - Beléndez Vázquez, Tarsicio

Formato:	info:eu-repo/semantics/lecture
Enlaces:	In this work a statics virtual laboratory is presented. This virtual laboratory is a set of different applets, tools based in Java, which allow the visualization of different physical laws in the field of statics. The applets have the advantage…
Fecha:	2009-10-30
Recurso:	RUA Docencia

Recurso libre

100.

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)