Metabuscador

Filtrado por:

Temas

Idiomas

Español (150)
Inglés (39)
Portugués (24)
es (10)
pt_BR (8)
Más...

Recursos

Más...

Año

2013 (20)
2011 (31)
2009 (17)
2008 (15)
2007 (27)
2006 (23)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Utilización de herramientas Java para la comunicación de datos a través de internet
Egas Moncayo, Juan Xavier

Formato:	Thesis
Enlaces:	El presente trabajo investiga las herramientas que provee el lenguaje Java para el desarrollo de aplicaciones de ingeniería que transmitan los datos a través del internet o para modificar aplicaciones existentes para proveerles esta funcionalidad. Para ello, primeramente se presenta…
Fecha:	2012-12-04
Recurso:	Escuela Politécnica Nacional

Recurso libre

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

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

Recurso libre

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

Herramienta para el desarrollo y evaluación de métodos de control de congestión en TCP
Rigotti, Guillermo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Desde que fue definido, el protocolo TCP se ha adaptado a un número considerable de cambios en su medioambiente de operación: definido en momentos en que la red subyacente estaba compuesta de vínculos homogéneos y pocos equipos conectados, ha visto…
Fecha:	2012-10-05
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Aplicación de gestión para estaciones de usuario basada en el estándar WBEM y su aplicación a la Red de Datos de la Universidad del Cauca
Agredo Méndez, Guefry - Maya Ortiz, Natalia - Maya Ortiz, Eva Juliana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Actualmente las redes de comunicaciones son el eje fundamental de trabajo en la mayoría de las empresas, por tanto los administradores deben procurar el buen desempeño de la red para garantizar el correcto funcionamiento de la organización. Cuando una red…
Fecha:	2012-10-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

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

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

Recurso libre

Uma aplicação distribuída para redes de telecomunicações utilizando as tecnologias web e CORBA
Souza, Fernanda Pereira de - Notare, Mirela Sechi Moretti Anonni - Leite, Karla Cristina - Westphall, Becker Carlos

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	A Internet possui hoje, mais de 100 milhoes de pessoas em mais de 100 países. Tomou proporções tais que não pode mais ser ignorada pelo mercado. Paulatinamente, a cultura da rede mundial foi aceitando o fato de coexistir com empresas…
Fecha:	2012-10-10
Recurso:	Unversidad Nacional de La Plata

Recurso libre

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

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

Recurso libre

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

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

Recurso libre

10.

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 - Calderón Hinojosa, Xavier Alexander

Formato:	Article
Enlaces:	El proyecto se trata acerca del diseño y la implementación de una aplicación web de administración de red, basado en la utilización del protocolo SNMPv3, con el fin de mejorar la seguridad de la información. La aplicación puede…
Fecha:	2012-09-11
Recurso:	Escuela Politécnica Nacional

Recurso libre

11.

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

12.

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

13.

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

14.

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

15.

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

16.

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

17.

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

18.

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

19.

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

20.

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

21.

Implementación de componentes multi-propósito y un entorno de desarrollo
Ortega, Alfredo - Cerra, José P. - Rosanigo, Zulema Beatriz - Bramati, Pedro - Paur, Alicia Beatriz

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Durante el proyecto de investigación No 383 surgió la necesidad de un sistema de componentes reusables multi-propósito, junto con un entorno integrado de desarrollo que los utilice. Existiendo muchas tecnologías disponibles se optó por extender el modelo Java-Beans de Sun.
Fecha:	2012-10-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

22.

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

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

Recurso libre

23.

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

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

Recurso libre

24.

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

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

Recurso libre

25.

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

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

Recurso libre

26.

Web services
Pavan, Willingthon - Agnol, Giovani Dall

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	O objetivo deste trabalho é descrever a arquitetura dos Web Services como um dos recursos disponíveis para facilitar a integração de sistemas heterogêneos, ou seja, sistemas que são desenvolvidos em diferentes linguagens e que necessitam trocar informações e recursos entre…
Fecha:	2012-10-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

27.

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

28.

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

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

Recurso libre

29.

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

30.

Implementación en java de un modelo de consistencia temporal para datos de tiempo real
Buckle, Carlos - Barry, Damián - Urriza, José M.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este trabajo presenta una implementación en JAVA de un modelo de consistencia temporal para datos de tiempo real. Los Sistemas de Bases de Datos de Tiempo Real, incorporan el concepto de transacciones y datos con tiempo de vencimiento. El vencimiento…
Fecha:	2012-11-07
Recurso:	Unversidad Nacional de La Plata

Recurso libre

31.

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

32.

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

33.

A Multicore Load Balancing Model Based on Java NIO
Wang, Yang; Tongji University - Qin, Guofeng; Tongji University

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
Enlaces:	First this paper points out two common problems of utilizing processors under multicore architecture, namely processors waiting for IO operation to finish and load balancing among cores. Then it makes an analysis of the reasons for them. In order to…
Fecha:	2012-10-01
Recurso:	TELKOMNIKA: Indonesian journal of electrical engineering

Recurso libre

34.

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

35.

An object oriented approach for computer integrated building (CIB) modelling using java
Zavalla, Eduardo - Martín, Marcelo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This paper presents an object-oriented design and implementation of a software module to be used as the monitoring application for a Computer Integrated Building (CIB) in an intranet/extranet context., Sistemas Distribuidos - Redes Concurrencia - Sesión de pósters
Fecha:	2012-11-21
Recurso:	Unversidad Nacional de La Plata

Recurso libre

36.

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

37.

Utilización de excepciones para implementar predicados opacos en técnicas de ofuscación de código intermedio
Dolz, Daniel - Parra, Gerardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La plataforma .NET de Microsoft se basa en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno o framework independiente de la plataforma, basado en…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

38.

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

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

Recurso libre

39.

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

40.

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

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

Recurso libre

41.

Desarrollando aplicaciones empresariales altamente interactivas sobre J2EE
Ormeño, Emilio G. - Ochoa, Sergio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Dentro de los desarrollos de software empresarial, uno de los principales actores continúan siendo las aplicaciones cliente/servidor construidas sobre J2EE. La estabilidad de esta tecnología y la capacidad de usar dichas aplicaciones en el escenario Internet/Intranet, usando tanto clientes java…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

42.

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

43.

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

44.

ECDIA: entorno colaborativo para el diseño e implementación de algoritmos
Fracchia, Claudia Carina - Baeza, Natalia - Martins, Adair

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En las materias introductorias de programación es fundamental lograr que los alumnos puedan adquirir habilidades para resolver problemas mediante el diseño de algoritmos y su posterior implementación en un lenguaje determinado. Existen actualmente distintas herramientas tecnológicas que permiten el diseño…
Fecha:	2012-11-05
Recurso:	Unversidad Nacional de La Plata

Recurso libre

45.

ARQUITECTURA PARA LA CONSTRUCCION DE MUNDOS VIRTUALES COLABORATIVOS BASADA EN JAVA RMI Y VRML
ESTRADA SEGOVIA, GUADALUPE MANUEL

Formato:	Thesis
Enlaces:	Descripción completa.
Fecha:	2008-10-20
Recurso:	Instituto Politécnico Nacional - México

Recurso libre

46.

Aspectos computacionais do ambiente IMAGUS
Raabe, André Luís Alice - Giraffa, Lúcia Maria Martins

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artigo apresenta a descrição do ambiente IMAGUS enfatizando aspectos da implementação do protótipo do ambiente. O IMAGUS permite a construção de materiais com fins pedagógicos que se utilizam de vídeos acessado via Internet. O protótipo foi desenvolvido para validar…
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

47.

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

48.

Desarrollo de aplicación de Marketing
BRAVO CARPIO, JOSÉ LUÍS - MENA VARGAS, ISAAC JAVIER - VERA MORENO, MILTON RENÉ

Formato:	Thesis
Enlaces:	La aplicación Marketing versión 1.0 fue desarrollado con la finalidad de sistematizar estrategias de marketing de pequeñas y medianas empresas. Además contempla el desarrollo de una página Web para realizar marketing electrónico. Este proyecto fue desarrollado utilizando Tecnología Open Source,…
Fecha:	2013-10-02
Recurso:	Universidad de Guayaquil

Recurso libre

49.

Comunicação entre objetos distribuídos tolerantes a falhas
Oliveira Júnior, Emerson Rogério de - Rebequi, Priscila - Redolfi, Giliane - Pasquato, Lúcia

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	As aplicações distribuídas estão potencialmente sujeitas a falhas. A orientação a grupos é uma boa ferramenta para garantir a continuidade da aplicação, mesmo na presença de falhas. Este artigo apresenta a implementação de um protocolo multicast confiável, para comunicação de…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

50.

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