Cover Image

QR Code

Aplicación de un oráculo de prueba automatizado a la evaluación de salidas de programas basados en XML

Bibliographic Details
Main Author:	Kim-Park, Dae S.
Corporate Author:	e-libro, Corp.
Other Authors:	Riva, Claudio de la., Tuya González, Pablo Javier.
Format:	eBook
Language:	Spanish
Published:	[Madrid] : Asociación de Técnicos en Informática, [2011]
Subjects:	Ingeniería del software. Software engineering. Libros electrónicos.
Online Access:	https://elibro.net/ereader/uninicaragua/26203

Similar Items

Modelo de datos del sistema automatizado de registros médicos SIREM /
Published: (2006)

Proceso automatizado de refinamiento H-adaptativo usando índices de energía de deformación
by: Elberg, M. E.
Published: (2004)

Programas de computación para determinar parámetros estereológicos
Published: (2004)

Programa multimedia para la enseñanza de transferencia de calor
by: Dávila, L.
Published: (2005)

Predicción de índices bursátiles mediante un sistema híbrido basado en modelos ocultos de Markov y redes neuronales artificiales
by: Jabbour, Georges.
Published: (2009)

H-adaptatividad en un programa comercial de elementos finitos
by: Vergara, M. J.
Published: (2003)

Programa multimedia para la enseñanza de combustión y hornos de proceso
by: Mochizuki, T.
Published: (2006)

Programa para el modelado de la dinámica de rotores usando elementos finitos
by: Vergara, Leonardo.
Published: (2007)

Programa multimedia para la enseñanza de la industria de la pulpa y el papel
by: Rennola, Leonardo.
Published: (2008)

Propuestas metodológicas para el desarrollo de aplicaciones Web una evaluación según la ingeniería de métodos /
by: Mendoza, M.
Published: (2004)

Simulación y análisis de flujo transversal a través de bancos de tubos en línea usando el programa CFX
by: Díaz, Miguelangel.
Published: (2008)

Descripción de tres desarrollos de aplicaciones de bajo costo para ayuda a personas con discapacidad
Published: (2011)

Desarrollo de una aplicación computacional para apoyar el aprendizaje de la cátedra perfilaje de pozos
by: Araujo, Jean.
Published: (2011)

Definición de una ontología para sistemas de información de administración de laboratorios (OLIMS)
Published: (2009)

Optimización de la sincronización de una de autómatas de Winfree acoplados estocásticamente por un algoritmo genético
by: Albornoz, José Manuel.
Published: (2006)

Procedimientos matemáticos para la modelación geométrica de dientes de engranajes de perfil evolvente
by: Cotaquispe Z., L. O.
Published: (2003)

Determinación de la cartera óptima de inversión bajo un enfoque de programación no lineal
by: Conti, D.
Published: (2005)

Estudio de la aplicabilidad de los agentes inteligentes en las interfaces de usuario
by: Narciso, Flor.
Published: (2007)

Modelo del sistema de distribución de aguas blancas en la ciudad de Mérida
Published: (2009)

Síntesis de voz en el dialecto venezolano por medio de la concatenación de difonos
by: Rodríguez, M.
Published: (2006)

Sistema multiagente para el manejo de incidentes de seguridad
by: Aguilar, José.
Published: (2009)

Modelo de datos del sistema de relaciones inter-empresariales RIE /
Published: (2008)

Optimización del uso de modelos de transporte de sedimentos en canales y ríos mediante análisis comparativo
Published: (2007)

Consideraciones para el modelado de sistemas mediante redes de Petri
by: Castellanos, Carlos.
Published: (2006)

Heurística para mejorar la convergencia del método de descomposición de Benders
by: Novella, Pedro di.
Published: (2008)

Simulación multi-agente para gestión de desastres y reducción de riesgo
by: Padilla, Virginia.
Published: (2011)

Selección de heurísticas para asignación de rutas a paquetes de información en una completamente óptica usando enrutamiento por deflexión
by: Borrero, Armando.
Published: (2008)

Herramienta de visualización y procesamiento de señales electroforéticas desarrollada usando software libre
Published: (2007)

Simulación del comportamiento dinámico de un vehículo de carga utilizando elementos finitos
Published: (2007)

Sistema para el reconocimiento e identificación de rostros a través de fotografías
Published: (2008)

Sistemas de control en subestaciones de alta tensión del control convencional al control numérico
by: Contreras, C. A.
Published: (2002)

Simulación geomecánica aplicada a la extracción de crudo a partir de un modelo elastoplástico
by: Rodríguez, Adriana.
Published: (2006)

Modelo de comportamiento teórico en suelos
by: Rojas G., S. H.
Published: (2002)

Simulación con ATP de pararrayos para las líneas a 115 y 400 kv de Edelca
by: Villa R., A.
Published: (2001)

Predicción de cobertura en sistemas LMDS/LMCS
by: Pérez García, Nelson Alexander.
Published: (2001)

Generación de estéreo-imágenes mediante rectificación digital
Published: (2005)

Implantando sistemas de control con agentes inteligentes
Published: (2008)

Modelo ontológico para bases de datos multimedia
by: Muñoz, Ana.
Published: (2009)

Simulación termomecánica del plenum superior del reactor de lecho fluidizado R-10 de la empresa Orinoco Iron C.A
by: Gutiérrez, Edgar.
Published: (2007)

Conexión DDE entre Matlab y Fix Dmacs (software de supervisión, control y adquisición de datos - SCADA) para un controlador difuso
by: Tremante M., Panayotis S.
Published: (2001)