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

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

Guardado en:

Detalles Bibliográficos
Autor principal:	Kim-Park, Dae S.
Autor Corporativo:	e-libro, Corp.
Otros Autores:	Riva, Claudio de la., Tuya González, Pablo Javier.
Formato:	Artículo
Lenguaje:	Español
Publicado:	[Madrid] : Asociación de Técnicos en Informática, [2011]
Materias:	Ingeniería del software. Software engineering. Artículos electrónicos.
Acceso en línea:	https://elibro.net/ereader/siduncu/26203

Ejemplares similares

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

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

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

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

Ingeniería de software /
por: Sommerville, Ian.
Publicado: (2011)

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

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

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

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

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

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

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

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

Monitores dinámicos de software, despliegue de software, monitoreo de espectro /
Publicado: (2020)

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

Principales actividades de IFIP previstas para los próximos años
por: Puigjaner Trepat, Ramón.
Publicado: (2011)

Un estudio comparativo de herramientas para el modelo con UML
Publicado: (2005)

Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes
por: Boubeta-Puig, Juan.
Publicado: (2011)

Introducción a la Ingeniería del Software : modelos de desarrollo de programas /
por: Alonso Amo, Fernando.
Publicado: (2005)

Reflexiones sobre ingeniería de requisitos y pruebas de software /
Publicado: (2013)

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

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

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

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

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

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

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

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

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

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

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

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

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

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
por: Borrero, Armando.
Publicado: (2008)

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

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

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

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

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

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