Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-10-09T20:58:34Z
dc.date.available 2012-10-09T20:58:34Z
dc.date.issued 2007
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/22141
dc.description.abstract 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. es
dc.description.abstract This report describes an introduction to automatic validation systems, the fundamentals about validation’s importance are detailed; first there are references about authors, its proposals and automation; secondly there is a summary about some tools required for the process in conclusion it is given the author’s vision about. en
dc.format.extent 633-643 es
dc.language es es
dc.subject Validation es
dc.subject automatic validation en
dc.subject aalidación automática es
dc.subject Model Validation and Analysis es
dc.subject automatización es
dc.subject Automation es
dc.title Validación automática de sistemas es
dc.type Objeto de conferencia es
sedici.creator.person Merlino, Hernán es
sedici.creator.person Fernández, Enrique es
sedici.creator.person Rodríguez, Dario es
sedici.creator.person Britos, Paola Verónica es
sedici.creator.person García Martínez, Ramón es
sedici.description.note IV Workshop de Ingeniería de Software y Base de Datos es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.materias Informática es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.relation.event XIII Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (408.4Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)