Validación automática de sistemas

En el presente reporte se hace una introducción a la validación automática de sistemas, se detallan un conjunto de fundamentos sobre la importancia de la validación; a continuación se citan diferentes autores y sus propuestas sobre automatización; luego de esto se hace una reseña sobre algunas herra...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Merlino, Hernán, Fernández, Enrique, Rodríguez, Dario, Britos, Paola Verónica, García Martínez, Ramón
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2007
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22141
Aporte de:
id I19-R120-10915-22141
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Informática
Validation
aalidación automática
Model Validation and Analysis
automatización
Automation
automatic validation
spellingShingle Ciencias Informáticas
Informática
Validation
aalidación automática
Model Validation and Analysis
automatización
Automation
automatic validation
Merlino, Hernán
Fernández, Enrique
Rodríguez, Dario
Britos, Paola Verónica
García Martínez, Ramón
Validación automática de sistemas
topic_facet Ciencias Informáticas
Informática
Validation
aalidación automática
Model Validation and Analysis
automatización
Automation
automatic validation
description En el presente reporte se hace una introducción a la validación automática de sistemas, se detallan un conjunto de fundamentos sobre la importancia de la validación; a continuación se citan diferentes autores y sus propuestas sobre automatización; luego de esto se hace una reseña sobre algunas herramientas para realizar el proceso y por ultimo a modo de conclusión se da la visión del autor sobre la validación automática de sistemas.
format Objeto de conferencia
Objeto de conferencia
author Merlino, Hernán
Fernández, Enrique
Rodríguez, Dario
Britos, Paola Verónica
García Martínez, Ramón
author_facet Merlino, Hernán
Fernández, Enrique
Rodríguez, Dario
Britos, Paola Verónica
García Martínez, Ramón
author_sort Merlino, Hernán
title Validación automática de sistemas
title_short Validación automática de sistemas
title_full Validación automática de sistemas
title_fullStr Validación automática de sistemas
title_full_unstemmed Validación automática de sistemas
title_sort validación automática de sistemas
publishDate 2007
url http://sedici.unlp.edu.ar/handle/10915/22141
work_keys_str_mv AT merlinohernan validacionautomaticadesistemas
AT fernandezenrique validacionautomaticadesistemas
AT rodriguezdario validacionautomaticadesistemas
AT britospaolaveronica validacionautomaticadesistemas
AT garciamartinezramon validacionautomaticadesistemas
bdutipo_str Repositorios
_version_ 1764820465593876481