1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

Aú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.

Pertenece a

Repositorio Hipermedial UNR - Repositorio Hipermedial de la Universidad Nacional de Rosario  

Autor(es)

Rodríguez Monetti, Pablo - 

Id.: 55263392

Idioma: spa  - 

Versión: 1.0

Estado: Final

Tipo de recurso: bachelorThesis  -  tesis de grado  -  publishedVersion  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: openAccess

Requerimientos técnicos:  Browser: Any - 

Relación: [References] http://www.fceia.unr.edu.ar/lcc/t523/uploads/9.pdf

Fecha de contribución: 26-sep-2014

Contacto:

Localización:

Otros recursos que te pueden interesar

  1. Dimension reduction-based significance testing in nonparametric regression A dimension reduction-based adaptive-to-model test is proposed for significance of a subset of covar...
  2. A Methodological Approach for Testing the Viability of Seeds Stored in Short-Term Seed Banks [EN] Efficient management of `active¿ seed banks ¿ specifically aimed at the short-term storage at r...
  3. Metodologia de micrositing para terrenos complexos baseada em CFD com softwares livres de código aberto Micrositing é o campo do posicionamento estratégico dos aerogeradores na área do parque eólico visan...
  4. Fully Integrated CMOS Transmitter and Power Amplifier for Software-Defined Radios and Cognitive Radios Software Defined Radios (SDRs) and Cognitive Radios (CRs) pave the way for next-generation radio tec...
  5. Advanced partial discharge testing of 540V aeronautic motor fed by SiC inverter under altitude conditions International audience

Otros recursos de la mismacolección

No existen otros recursos

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.