Metabuscador

Filtrado por:

Temas

Ciencias Informáticas (10)
Java (10)
Ciencia de la Computación e Inteligencia Artificial (7)
Inteligencia artificial (7)
Ingeniería de Sistemas y Automática (5)
Más...

Idiomas

Español (49)
Inglés (16)
pt_BR (6)
en (4)
es (3)
Más...

Recursos

Más...

Año

2013 (6)
2012 (11)
2011 (19)
2009 (12)
2008 (2)
2007 (6)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

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

Sistema de Facturación para ISP vía Web
SÁNCHEZ CAICEDO, BERTHA VERÓNICA - CRUZ ROSALES, DIANA ELIZABETH - TERÁN RONQUILLO, PEDRO PABLO

Formato:	Thesis
Enlaces:	BemuSoft (Sistema de Facturación para ISP vía Web) se centra en brindar una herramienta de facturación que permita al ISP ofrecer valor agregado a sus servicios (Internet), basado en el control del ancho de banda, dándole la libertad de crear…
Fecha:	2012-06-19
Recurso:	Universidad de Guayaquil

Recurso libre

Módulo de Análisis Gerencial para el control empresarial orientado al mercado PYMEs aplicando tecnología RIA con herramientas Open Source
ZURITA MEDRANDA, JOHNNY XAVIER - BUENAVENTURA MURRIETA, MARÍA AUXILIADORA - GARCÍA FLOR, MIGUEL ÁNGEL

Formato:	Thesis
Enlaces:	La aplicación Business Gestor es un ERP, una herramienta de gestión para suplir las necesidades de las distintas áreas de una empresa, fomentando la calidad y confiabilidad de la información para tomar decisiones más eficaces, construir procesos más eficientes y,…
Fecha:	2012-06-19
Recurso:	Universidad de Guayaquil

Recurso libre

Diseño y construcción de una máquina duplicadora de llaves autónoma, a partir de una máquina duplicadora manual
Arévalo Sánchez, Jorge Eduardo - Paredes Regalado, Alfredo Israel

Formato:	Thesis
Enlaces:	Este proyecto presenta la alternativa de realizar el duplicado de llaves del tipo plana de forma automática, que a diferencia de una máquina duplicadora manual que utiliza la llave original como modelo, éste emplea una fotografía de la llave que…
Fecha:	2013-08-23
Recurso:	Escuela Politécnica Nacional

Recurso libre

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

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

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

Aplicação Java Web para armazenamento de dados experimentais no projeto Rede Genômica Animal.
ANA, L. B. A. de - HIGA, R. H.

Formato:	Resumo em anais de congresso (ALICE)
Enlaces:	O objetivo deste trabalho é desenvolver uma aplicação web para banco de dados genômicos, a partir do módulo Mage do GMOD para armazenagem dos dados experimentais brutos produzidos no âmbito do projeto ?Rede Genômica Animal? e as suas respectivas análises.,…
Fecha:	2011-04-09
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

Calibración de un monitor LCD para investigación de percepción del color en programas de extensión comunitaria
Morales de Muñoz, Rosa - Muñoz, Aarón - Muñoz, Rafael - Martínez, M.

Formato:	info:eu-repo/semantics/bookPart
Enlaces:	En este trabajo presentamos la colorimetría y calibración de un monitor LCD para su aplicación en investigación sobre la percepción del color. Los experimentos colorimétricos se desarrollaron en lenguaje Java para estudiar la sensibilidad de la visión cromática respecto al…
Fecha:	2011-02-23
Recurso:	RUA Docencia

Recurso libre

10.

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

11.

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

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.

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

15.

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

16.

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

17.

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

18.

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

19.

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

20.

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

21.

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

22.

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

23.

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

24.

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

25.

Construcción de un benchmark para realizar un estudio comparativo entre web services en plataformas Java y .net
Mármol Panamá, Miguel Patricio - Peñaherrera Pacheco, Daysi de las Mercedes

Formato:	Tesis
Enlaces:	El documento contiene conceptos y definiciones acerca de Arquitectura Orientada a Servicios, roles de la misma, plataformas que utiliza esta arquitectura, web services, teoría de benchmark y estadígrafos que son la base teórica para la construcción del Benchmark a través…
Fecha:	2009-07-21
Recurso:	Escuela Politécnica Nacional

Recurso libre

26.

Generador de reporte para postgres
Caliz Ramos, Doris Cruz

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

Recurso libre

27.

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

28.

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

29.

JavaVis: Desktop
Cazorla Quevedo, Miguel Ángel

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

Recurso libre

30.

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

31.

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

32.

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

33.

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

34.

SISTEMA DE DIAGNÓSTICO DE SEGURIDADES DEL SISTEMA OPERATIVO LINUX
ALVARADO BARCIA, JOSÉ ELEAZAR - NIOLA NUÑEZ, JESSYE ANTONIO - ZAMBRANO CALVACHE, MARIA DE LOURDES

Formato:	Thesis
Enlaces:	Todos los auditores necesitan la actualización de las herramientas para auditar y responder a las necesidades de los clientes que necesariamente deben contar con una metodología de seguridad. En base a las necesidades que tienen los auditores de…
Fecha:	2013-11-12
Recurso:	Universidad de Guayaquil

Recurso libre

35.

Docencia asistida por ordenador en infografía
Perales Lopez, Francisco José - Yániz, C.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La docencia asistida por ordenador se aplica a diferentes y muy diversas áreas o materias. En nuestro caso, hemos elegido los gráficos por ordenador por ser un tema donde inherentemente aparecen conceptos gráficos e interactivos. El objetivo de este trabajo…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

36.

NetworkDCQ: A multi-platform networking framework for mobile applications
Cristina, Federico - Dapoto, Sebastián H. - Tinetti, Fernando Gustavo - Thomas, Pablo Javier - Pesado, Patricia

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Currently, the number of mobile applications that require (wireless) connectivity is constantly increasing. The need for sharing information among mobile devices exists in many applications, and almost every data exchange between these devices involve the same requirements: a means for…
Fecha:	2013-11-22
Recurso:	Unversidad Nacional de La Plata

Recurso libre

37.

Análisis comparativo de los Frameworks Adobe Flex, Java Rich Faces y Extjs para el desarrollo de aplicaciones enriquecidas en internet (RIA)
Correa Lozano, Pablo Ramiro

Formato:	Tesis
Enlaces:	En presente Proyecto de Titulación se establece un conjunto de criterios que permiten evaluar frameworks de desarrollo de aplicaciones RIA, en base a estos criterios se valoró los frameworks Adobe Flex, Java Rich faces y ExtJS y se identificó fortalezas…
Fecha:	2010-05-13
Recurso:	Escuela Politécnica Nacional

Recurso libre

38.

Optimización del sistema de cobros de impuestos y servicios en el Municipio del cantón Girón sobre sistemas distribuidos
Delgado Avila, Mónica Jhanneth - Fajardo Buñay, Lourdes Ximena

Formato:
Enlaces:	La aplicación fue desarrollada con tecnología web, implementada usando software libre: con lenguaje de programación Java a través de la tecnología JSF, la base de datos PostgreSQl 8.3.4 para el almacenamiento de información y como servidor de aplicaciones Sun Java…
Fecha:	2010-10-08
Recurso:	Universidad Politécnica Salesiana

Recurso libre

39.

Estudio y desarrollo de software para la gestión y aprobación electrónica de documentos en el registro individual de contratos dentro del Ministerio de Relaciones Laborales - Dirección Regional de Trabajo del Austro
Morocho Minchala, Henry Paúl - Arévalo Noriega, Pablo José

Formato:	Thesis
Enlaces:	El proyecto pretende minimizar el uso del papel y los procesos manuales mediante el manejo de contratos digitales proporcionando una mejor gestión de los documentos que ingresan a la entidad. Actualmente se pueden observar la fila de personas esperando por…
Fecha:	2012-10-04
Recurso:	Universidad Politécnica Salesiana

Recurso libre

40.

Reasoning module interface design considerations
Stankevicius, Alejandro G.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	DLP is a basic java-based IDE specifically conceived for DeLP, that allows to compile DeLP programs and queries into JAM opcodes, execute those opcodes, and even witness the actual step by step construction of the dialectical tree that is built…
Fecha:	2012-09-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

41.

Elaboración de un componente de software reutilizable para la interacción de aplicaciones cliente y sistemas de gestión de flujos de trabajo (WFMS)
Salazar Villacís, César Gonzalo

Formato:	Tesis
Enlaces:	El presente proyecto consiste en la elaboración de un componente de software que sea utilizado en el desarrollo de "aplicaciones clientes de flujo de trabajo" (.NET), para que dichas aplicaciones interactúen con un Sistema de Gestión de Flujos de Trabajo…
Fecha:	2009-08-24
Recurso:	Escuela Politécnica Nacional

Recurso libre

42.

Métricas de Performance en Administración de BDD en redes LAN y WAN
Bertone, Rodolfo Alfredo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El proyecto, continuidad del presentado para WICC 2002, plantea el estudio, modelación y simulación de entornos de BDD. En particular las investigaciones que se están realizando se centran en los aspectos concernientes a la replicación y fragmentación de la información,…
Fecha:	2012-09-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

43.

Evaluación de herramientas para la construcción de aplicaciones colaborativas
Queiruga, Claudia Alejandra - Banchoff Tzancoff, Claudia M. - Diaz, Javier F.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En la actualidad, el uso de las redes de datos y de todas las tecnologías asociadas juegan un rol preponderante en el diseño de las nuevas aplicaciones. La influencia de Internet, se evidencia en las tecnologías en expansión como WWW…
Fecha:	2012-11-20
Recurso:	Unversidad Nacional de La Plata

Recurso libre

44.

Hydrogeochemistry of the upper Banyu Pahit River valley, Kawah Ijen volcano, Indonesia
Palmer, Stephanie

Formato:	Electronic Thesis or Dissertation
Enlaces:	The largest naturally-occurring lake of hyperacid brine in the world is located in the crater of Kawah Ijen volcano in East Java, Indonesia. The hyperacid Banyu Pahit River flows down the side of Kawah Ijen and is a major source…
Fecha:	2010
Recurso:	McGill University - MCGILL

Recurso libre

45.

Verifying finite-state properties of large-scale programs
Bodden, Eric

Formato:	Electronic Thesis or Dissertation
Enlaces:	Designers of software components can use finite-state properties to denote behavioral interface specifications which enforce client-side programming rules that state how the components ought to be used. This allows users of these components to check their client code for compliance…
Fecha:	2010
Recurso:	McGill University - MCGILL

Recurso libre

46.

Análisis y desarrollo del sistema informático para administración y facturación de un restaurante
Erazo López, Inés Alexandra - Sandobalín Guamán, Julio César

Formato:	Thesis
Enlaces:	La plataforma de programación que se empleó para desarrollar y ejecutar el sistema de restaurantes es Java Enterprise Edition, utilizando una arquitectura Modelo Vista Controlador, lo que nos permitió distribuir el trabajo de creación de la aplicación en tres niveles:…
Fecha:	2013-05-29
Recurso:	Universidad Politécnica Salesiana

Recurso libre

47.

"Análisis, diseño e implementación de un software prototipo de firewall y servidor proxy multiplataforma con tecnología Java".
Arévalo Galárraga, Lucía Guadalupe - Vaca Tello, Gustavo Alexander

Formato:	Thesis
Enlaces:	El desarrollo de un software que permita otorgar una mejor seguridad a las redes de datos, es en la actualidad el objetivo que todos los usuarios de un sistema esperan obtener; es así que el conocer como es el funcionamiento…
Fecha:	2013-05-29
Recurso:	Universidad Politécnica Salesiana

Recurso libre

48.

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

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

Recurso libre

49.

Diseño e Implementación de un Sistema de Evaluación Remota con Seguridad Avanzada para Universidades Utilizando Minería de Datos, 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:
Enlaces:	Desarrollamos una aplicación de la tecnología computacional en la evaluación del conocimiento de los estudiantes. Implementamos una tecnología cliente-servidor, de código original en Java, basada en el proceso natural de evaluación donde los estudiantes (clientes) universitarios son evaluados por un…
Fecha:	2010-08-25
Recurso:	Revistas UNAM

Recurso libre

50.

Run-Time Assertion Checking with Énfasis, Verificación de Aseveraciones a Tiempo de Ejecución con Énfasis
Olmedo Aguirre, José Oscar - Juárez Martínez, Ulises

Formato:
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-04-27
Recurso:	Revistas UNAM