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. El software Simkinet como herramienta para el estudio de las ecuaciones diferenciales asociadas a un esquema cinético químico El estudio de la cinética de las reacciones químicas puede resultar una tarea compleja en muchas oca...
  2. El software libre como recurso didáctico en la enseñanza de métodos cuantitativos en los grados de economía y empresas At present there are many open-source code or free software that can be used as an education resourc...
  3. Feasibility Study for Implementing Magnetic Suspension in the Glenn Research Center 225 cm2 Supersonic Wind Tunnel for Testing the Dynamic Stability of Blunt Bodies The implementation of a magnetic suspension system in the NASA Glenn Research Center (GRC) 225 cm2 S...
  4. A COTS RF/Optical Software Defined Radio for the Integrated Radio and Optical Communications Test Bed The Integrated Radio and Optical Communications (iROC) project at the National Aeronautics and Space...
  5. Interface interativa bidimensional em um software para o ensino de geometria descritiva A Geometria Descritiva (GD) tem por objetivo o estudo e a compreensão de objetos no espaço tridimens...

Otros recursos de la mismacolección

  1. Modelo y simulación de Redes de Petri con el formalismo DEVS Existen en la actualidad una gran variedad de formalismos matemáticos para el modelado y simulación ...
  2. Sobre el papel de la acetilcolina en la memoria operativa La necesidad de comprender los mecanismos de memoria y aprendizaje es más apremiante a medida que au...
  3. Refinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizado Fastest
  4. Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle TLA+ es un lenguaje para especificar sistemas distribuidos y concurrentes. Está basado en una lógica...
  5. Posicionamiento automático de etiquetas en grafos La ubicación de etiquetas en posiciones convenientes es un problema frecuente dentro del proceso de...

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.