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...
Guardado en:
Autores principales: | , , , , |
---|---|
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 |