Imágen de Portada

Código QR

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

Detalles Bibliográficos
Autor principal:	Kim-Park, Dae S.
Otros autores:	Riva, Claudio de la., Tuya González, Pablo Javier., e-libro, Corp.
Formato:	Analítica
Idioma:	Spanish
Fecha de publicación:	[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://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=26203

Ejemplares similares

Modelo de datos del sistema automatizado de registros médicos SIREM /
Fecha de publicación: (2006)

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

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

Programas de computación para determinar parámetros estereológicos
Fecha de publicación: (2004)

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

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.
Fecha de publicación: (2009)

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

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

Monitores dinámicos de software, despliegue de software, monitoreo de espectro /
Fecha de publicación: (2020)

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

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

Reflexiones sobre ingeniería de requisitos y pruebas de software /
Fecha de publicación: (2013)

Un estudio comparativo de herramientas para el modelo con UML
Fecha de publicación: (2005)

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

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

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.
Fecha de publicación: (2008)

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

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

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

Métodos de investigación en ingeniería del software /
por: Genero Bocco, Marcela,
Fecha de publicación: (2014)

Definición de una ontología para sistemas de información de administración de laboratorios (OLIMS)
Fecha de publicación: (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.
Fecha de publicación: (2006)

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

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

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

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

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

Sistema multiagente para el manejo de incidentes de seguridad
por: Aguilar, José.
Fecha de publicación: (2009)

Modelo de datos del sistema de relaciones inter-empresariales RIE /
Fecha de publicación: (2008)

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

Consideraciones para el modelado de sistemas mediante redes de Petri
por: Castellanos, Carlos.
Fecha de publicación: (2006)

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

Heurística para mejorar la convergencia del método de descomposición de Benders
por: Novella, Pedro di.
Fecha de publicación: (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.
Fecha de publicación: (2008)

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

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

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

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

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

Modelo de comportamiento teórico en suelos
por: Rojas G., S. H.
Fecha de publicación: (2002)

Cannot write session to /tmp/vufind_sessions/sess_nfb83u520e9qd10i25tfafocd0