Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.provenanceUniversidad Nacional de Rosario.RepHipUNR-
dc.contributorCristiá, Maximiliano-
dc.creatorRodríguez Monetti, Pablo-
dc.date2009-03-23-
dc.date2009-03-23-
dc.date.accessioned2019-07-15T18:40:32Z-
dc.date.available2019-07-15T18:40:32Z-
dc.date.issued2009-03-23-
dc.date.issued2009-03-23-
dc.identifierhttp://hdl.handle.net/2133/1881-
dc.identifierhttp://hdl.handle.net/2133/1881-
dc.identifier.urihttp://rodna.bn.gov.ar/jspui/handle/bnmm/567891-
dc.descriptionTesina de Grado de la Licenciatura en Ciencias de la Computación. Departamento de Ciencias de la Computación. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario-
dc.descriptionAún con el uso creciente de los métodos formales en el desarrollo de software, el testing de software continúa siendo la técnica dominante para verificar y validar sistemas. Con el testing basado en especificaciones, la precisión de las especificaciones formales hace del testing una actividad mucho más sistemática. Este trabajo describe el primer prototipo de Fastest, una herramienta que facilita la derivación de casos de prueba a partir de especificaciones en el lenguaje Z.-
dc.formatapplication/pdf-
dc.languagespa-
dc.publisherDepartamento de Ciencias de la Computación; Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario-
dc.relationhttp://www.fceia.unr.edu.ar/lcc/t523/uploads/9.pdf-
dc.rightsinfo:eu-repo/semantics/openAccess-
dc.sourcereponame:RepHipUNR (UNR)-
dc.sourceinstname:Universidad Nacional de Rosario-
dc.sourceinstacron:UNR-
dc.source.urihttp://hdl.handle.net/2133/1881-
dc.titleFastest: Automatizando el testing de software-
dc.typeinfo:eu-repo/semantics/bachelorThesis-
dc.typeinfo:ar-repo/semantics/tesisDeGrado-
dc.typeinfo:eu-repo/semantics/publishedVersion-
dc.typetesis de grado-
Aparece en las colecciones: Universidad Nacional de Rosario. RepHipUNR

Ficheros en este ítem:
No hay ficheros asociados a este ítem.