Metabuscador

Filtrado por:

Temas

Java (40)
No aplica (28)
Ciencias Informáticas (27)
Lenguajes y Sistemas Informáticos (18)
Ingeniería de Sistemas y Automática (13)
Más...

Idiomas

Español (140)
Inglés (81)
pt_BR (28)
Portugués (9)
en (9)
Más...

Recursos

RUA Docencia (51)
Escuela Politécnica Nacional (30)
Unversidad Nacional de La Plata (29)
Universidad Politécnica Salesiana (20)
Informação Tecnológica en Agricultura (Infoteca-e) (19)

Más...

Año

2008 (18)
2007 (25)
2006 (9)
2005 (9)
2004 (14)
2003 (15)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

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

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

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

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

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

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

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

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

10.

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

11.

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

12.

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

13.

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

14.

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

15.

Implementación de un protocolo de comunicación para el control de los movimientos de un brazo robot a través del interfaz bluetooth de un teléfono celular
Almeida Pazmiño, Marco - Roldan Molina, Elsa - Sinche Maita, Soraya Lucia

Formato:	Article
Enlaces:	El presente trabajo trata del diseño e implementación de un protocolo de comunicación que estandariza el canal de comunicación de un sistema distribuido. El sistema distribuido está compuesto por un teléfono celular Nokia y el brazo robot Lego Mindstorm. El…
Fecha:	2011-04-07
Recurso:	Escuela Politécnica Nacional

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.

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

18.

JavaVis: instalación
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Proceso de instalación de la librería JavaVis.
Fecha:	2010-10-26
Recurso:	RUA Docencia

Recurso libre

19.

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

20.

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

21.

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

22.

Libros: Orchids of Java
Soto,M.A.

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

Recurso libre

23.

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

24.

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

25.

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

26.

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

27.

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

28.

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

29.

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

30.

JavaVis: presentación (segunda parte)
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Segunda parte de la presentación sobre Java.
Fecha:	2010-11-03
Recurso:	RUA Docencia

Recurso libre

31.

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

32.

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

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

Recurso libre

33.

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

34.

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

35.

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

36.

Sistema de videoconferencia con medidas de accesibilidad para ancianos hospedados en asilos
Calderón, Gabriela - Salao, Lourdes - Vásquez C., Laura

Formato:	Thesis
Enlaces:	Las estudiantes egresadas de la carrera de Ingeniería en sistemas mención Telemática desarrollaron un nuevo sistema Video Conferencia denominado: Sistema Integración social para Ancianos (SISE) con el fin de integrar a los ancianos asilados con sus familiares. Nuestro proyecto de…
Fecha:	2013-01-10
Recurso:	Universidad Politécnica Salesiana

Recurso libre

37.

Sistema que simule conocimiento humano con voz “SEUZ”
ALARCON ACOSTA, DARIO PATRICIO

Formato:	Thesis
Enlaces:	El sistemas SEUZ el cual implementa dos nuevas tecnologías no explotadas hasta el momento que son el reconocimiento de voz y la sintetización de voz sólo en países desarrollados como EEUU. Han sido implementadas estas tecnologías tanto como el mundo…
Fecha:	2013-08-21
Recurso:	Universidad de Guayaquil

Recurso libre

38.

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

39.

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

40.

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

41.

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

42.

La herramienta IDRA (Indexing and Retrieving Automatically), The IDRA (Indexing and Retrieving Automatically) tool
Granados Muñoz, Rubén - García Serrano, Ana María - Goñi Menoyo, José Miguel

Formato:	info:eu-repo/semantics/article
Enlaces:	Se presenta brevemente la herramienta IDRA, con licencia GPL 3.0, que a partir de unas funcionalidades básicas, facilita la agregación de nuevas funcionalidades para la investigación en recuperación de información., In this paper the IDRA tool is shortly presented. It…
Fecha:	2009-10-06
Recurso:	RUA Docencia

Recurso libre

43.

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

44.

Region Type Checking for Core-Java
Chin, Wei Ngan - Qin, Shengchao - Rinard, Martin C.

Formato:	Article
Enlaces:	Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first introduced for a call-by-value functional language by Tofte and Talpin, and has…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

45.

Sistema de diagnóstico de líneas telefónicas de Andinatel S.A.
Cruz Acosta, Santiago David - Jarrín Valverde, Christopher Rodrigo

Formato:	Tesis
Enlaces:	El Sistema de Diagnóstico de Líneas Telefónicas de Andinatel S.A, "DiagTel© 2009", fue desarrollado con el objetivo de emitir el estado operacional de la red de telefonía fija de dicha empresa, proporcionando información útil para los técnicos encargados de solucionar…
Fecha:	2010-02-03
Recurso:	Escuela Politécnica Nacional

Recurso libre

46.

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

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

Recurso libre

47.

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

48.

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

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

Recurso libre

49.

Desarrollo de un sistema de administración académica para la escuela Cristóbal Colón bajo plataforma web
Benavides Maila, Edison Paolo

Formato:	Thesis
Enlaces:	El Sistema de Administración Académica para la Escuela Cristóbal Colón bajo Plataforma Web, es una aplicación dinámica para administrar los datos de matriculas, estudiantes, materias, calificaciones, profesores, datos de la institución, implementara seguridades de acceso a los usuarios y generara…
Fecha:	2011-05-18
Recurso:	Escuela Politécnica Nacional

Recurso libre

50.

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

51.

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

52.

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

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

Recurso libre

53.

DISENO E IMPLEMENTACION DE UN TRADUCTOR DE LENGUAJES, VRML A JAVA 3D
ARZATE PELAYO, GERSAIN

Formato:	Thesis
Enlaces:	Descripción completa.
Fecha:	2010-08-18
Recurso:	Instituto Politécnico Nacional - México

Recurso libre

54.

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

55.

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

56.

Inheritance, Generics and Binary Methods in Java
Barrón-Estrada,María Lucía - Stansifer,Ryan

Formato:	journal article
Enlaces:	Java has adopted a mechanism to support parameterized types that will be available in the next major release. A draft specification to add generics to the JavaTM Programming Language was published two years ago [1] and a new version of…
Fecha:	2003-12-01
Recurso:	SCIELO

Recurso libre

57.

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

58.

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

59.

Al via il corso base di Python per la programmazione in ambito scientifico
Arlandini, Claudio - Invernizzi, Alice - Ponzini, Raffaele

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, articolo, Peer-reviewed Article
Enlaces:	Python is a programming language, both powerful and easy to use, having a steadily growing success in the recent years. It was created to solve real problems, owning a range of properties typical of languages like C++ or Java. This…
Fecha:	2009-09-01
Recurso:	Bolletino del CILEA

Recurso libre

60.

Un formalisme pour la traçabilité des transformations
Lemoine, Mathieu

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont…
Fecha:	2010-05-31
Recurso:	Université de Montreal

Recurso libre

61.

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

62.

Implementación en tarjetas inteligentes Java Card de protocolos de cifrado y descifrado basados en curvas elípticas
Gayoso Martínez, Víctor

Formato:	text (thesis)
Enlaces:	El objetivo general de la presente Tesis Doctoral consiste en implementar el protocolo de cifrado ECIES (Elliptic Curve Integrated Encryption Scheme), tanto en plataforma PC como en tarjetas inteligentes Java Card, a fin de: Analizar la viabilidad de diferentes implementaciones…
Fecha:	2010
Recurso:	Dialnet (Tesis)

Recurso libre

63.

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

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

Recurso libre

64.

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

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

Recurso libre

65.

Extracción de información dinámica en programación orientada a objetos (Java)
Bernardis, Hernán - Berón, Mario - Riesco, Daniel Eduardo - Henriques, Pedro Rangel - Pereira, María J.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La Comprensión de Programas (CP) es una disciplina de la Ingeniería de Software cuyo objetivo es facilitar el entendimiento de los sistemas. Para lograr esto, se vale del desarrollo de Métodos, Técnicas, Estrategias y Herramientas que permiten comprender las funcionalidades…
Fecha:	2012-08-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

66.

A Framework of Concurrent Mechanism Based on Java Multithread
Jiang, Wuxue; Dongguan Polytechnic - Li, Qi; Dongguan Polytechnic - Wang, Zhiming; Huaihua Vocational and Technical College - Luo, Jianfeng; Dongguan Polytechnic

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
Enlaces:	The continuously increased demand for paralleling multitask in domains such as grid computing and cloud computing has significantly promoted research on concurrent mechanism and concurrent programming. The Java programming language supports multithread mechanism for developing paralleling programs, however, it is…
Fecha:	2013-09-01
Recurso:	TELKOMNIKA: Indonesian journal of electrical engineering

Recurso libre

67.

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

68.

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

69.

Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL
Ascari, Luciano Cesar

Formato:	Teses e Dissertações
Enlaces:	Descripción completa.
Fecha:	2009-10-02
Recurso:	Universidade Federal do Parana

Recurso libre

70.

Um algoritmo evolutivo de geração de dados de teste para satisfazer critérios baseados em códigos objeto Java
Araki, Lucilia Yoshie

Formato:	Teses e Dissertações
Enlaces:	Descripción completa.
Fecha:	2009-11-09
Recurso:	Universidade Federal do Parana

Recurso libre

71.

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

72.

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

73.

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

74.

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

75.

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

76.

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

77.

JavaVis: entorno gráfico
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	En este vídeo revisamos el entorno gráfico de JavaVis, ejecutando una función.
Fecha:	2010-10-29
Recurso:	RUA Docencia

Recurso libre

78.

JavaVis: Desktop
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Funcionamiento del framework Desktop de JavaVis.
Fecha:	2010-11-01
Recurso:	RUA Docencia

Recurso libre

79.

JavaVis: funciones
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Explicación de las distintas funciones disponibles en JavaVis.
Fecha:	2010-11-01
Recurso:	RUA Docencia

Recurso libre

80.

JavaVis: presentación
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Presentación de la herramienta con los aspectos más importantes de la misma.
Fecha:	2010-11-03
Recurso:	RUA Docencia

Recurso libre

81.

JavaVis: 3D
Viejo Hernando, Diego

Formato:	video
Enlaces:	Vídeo sobre el funcionamiento del framework 3D de JavaVis.
Fecha:	2010-11-24
Recurso:	RUA Docencia

Recurso libre

82.

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

83.

Real-time collaboration of virtual laboratories through the Internet
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando - Dormido Bencomo, Sebastián - Esquembre Martínez, Francisco - Reinoso García, Óscar

Formato:	info:eu-repo/semantics/article
Enlaces:	Web-based learning environments are becoming increasingly popular in higher education. One of the most important web-learning resources is the virtual laboratory (VL), which gives students an easy way for training and learning through the Internet. Moreover, on-line collaborative communication represents…
Fecha:	2009-03-20
Recurso:	RUA Docencia

Recurso libre

84.

Visualizador de animaciones flic en java
Aguirre, Guillermo

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

Recurso libre

85.

Java based optics virtual laboratory as a support to the teaching of optics in technical degrees
Bleda Pérez, Sergio - Neipp López, Cristian - Márquez Ruiz, Andrés - Torrejón Vázquez, José Miguel - Beléndez Vázquez, Augusto

Formato:	info:eu-repo/semantics/bookPart
Enlaces:	In this work an optics 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 optics. The applets have the advantage…
Fecha:	2009-02-10
Recurso:	RUA Docencia

Recurso libre

86.

Guía práctica para el uso de patrones de diseño en el desarrollo de software
Aldas Mena, Daniel Ernesto - Andrade Cadena, Maritza Alejandra

Formato:	Tesis
Enlaces:	En la constante lucha para mejorar la calidad del software, se han desarrollado varias estrategias, muchas de las cuales son producto de mejoras realizadas sobre estrategias anteriores; una de estas, y probablemente la más versátil son los patrones de diseño,…
Fecha:	2011-01-17
Recurso:	Escuela Politécnica Nacional

Recurso libre

87.

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

88.

Diseño de una aplicación para la simulación del Acoplamiento Molecular "Proteína-Ligando" Mediante Herramientas Basadas en Java
Sepúlveda Robles, Daniel Eduardo

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	En este trabajo se presenta el proyecto molUDLAP, un simulador de Acoplamiento Molecular (AC) de tipo académico. Primero se presentan algunos de los aspectos más importantes del AC considerados para el diseño de este sistema; después se trata el…
Fecha:	2010-12-09
Recurso:	CIRIA

Recurso libre

89.

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

90.

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

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

Recurso libre

91.

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

92.

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

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

Recurso libre

93.

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

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

Recurso libre

94.

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

95.

Performance Prediction via the Java Acoustic Model Interface
Brooke, Gary - Kilistoff, Steven - Thomson, David - Ellis, Dale

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Conference Proceedings, Actes de congrès
Enlaces:	Descripción completa.
Fecha:	2010-09-01
Recurso:	Canadian Acoustics

Recurso libre

96.

M.W.J. Messing, Toen had je de politionele acties, maar zonder 5-2-RI. 5-2 RI 1947-1950, Nijmegen, Celebes, Java, Sumatra, Borneo. Een beknopte geschiedenis van het bataljon 5-2 RI tegen de achtergrond van het Nederlands-Indonesische conflict aan de hand van de belevenissen van soldaat eerste klas Nico Messing
Elands, M.

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

Recurso libre

97.

Run-Time Assertion Checking with Énfasis
Olmedo Aguirre,José Oscar - Juárez Martínez,Ulises

Formato:	journal article
Enlaces:	Local variables are fundamental to describe and implement computer algorithms and to specify some of their properties such as correctness, termination and performance. In this paper, we address the run-time assertion checking problem involving local variables in Java programs using…
Fecha:	2010-03-01
Recurso:	SCIELO

Recurso libre

98.

Design and Implementation of an Advanced Security Remote Assessment System for Universities Using Data Mining
Hernández Aguilar,José Alberto - Burlak,Gennadiy - Lara,Bruno

Formato:	journal article
Enlaces:	We develop the detailed application of the computer technology on testing the student's level of knowledge. We implemented a Java original code, client-server technology based on the natural process of evaluation where the college students (clients) are tested for an…
Fecha:	2010-06-01
Recurso:	SCIELO

Recurso libre

99.

Un paradigma proactivo orientado a objetos
Sarmiento Tovilla,Juan Carlos - Díaz de León Santiago,Juan Luis - Chimal Eguía,Juan Carlos

Formato:	journal article
Enlaces:	En la actualidad algunos investigadores conciben que los lenguajes como C++, Java y C# poseen una orientación interactiva. Esta forma de programación por lo regular, tiende a generar costos innecesarios en el desarrollo, en el diseño y principalmente en el…
Fecha:	2010-12-01
Recurso:	SCIELO

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)