Tuesday, July 22, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía


Fastest: Automatizando el testing de software

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

  Descargar recurso

Detalles del recurso

Pertenece a: Repositorio Hipermedial UNR - Repositorio Hipermedial de la Universidad Nacional de Rosario  

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.

Autor(es): Rodríguez Monetti, Pablo - 

Id.: 55263392

Idioma: spa  - 

Versión: 1.0

Estado: Final

Tipo de recurso: info:eu-repo/semantics/bachelorThesis  -  tesis de grado  -  info:eu-repo/semantics/publishedVersion  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: info:eu-repo/semantics/openAccess

Requerimientos técnicos:  Browser: Any - 

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

Fecha de contribución: 15-abr-2014

Contacto:

Localización:


Otros recursos que te pueden interesar

  1. Motores Alternativos : Software Software del libro Motores Alternativos
  2. Web based interactive educational software introducing semiconductor laser dynamics: Sound Of Lasers (SOL) In this work, educational software for intuitive understanding of the basic dynamic processes of sem...
  3. Software de visualização de variogramas aplicado à geoestatística
  4. Desenvolvimento do software sistema de indicadores de qualidade e produtividade para a construção civil
  5. Customisable off-line Web browsing with mobile software agents This paper presents a server-side multi-agent architecture aimed at increasing the efficiency of Int...

Otros recursos de la misma colección

  1. Obtención automática de metadatos de páginas Web para mejorar la ordenación de los resultados de una búsqueda Actualmente existe en Internet gran cantidad de información, la cual es recopilada e indexada por lo...
  2. Herramienta para Filtrado Estructural sobre Ontología Gene Ontolog La bioinformática es la aplicación de tecnologías computacionales a la gestión y al análisis de dato...
  3. Predicción de Sistemas Dinámicos con Redes Neuronales Profunda Existe una diversidad de series temporales que son objeto de estudio en múltiples disciplinas, por e...
  4. Ray tracing interactivo en OpenCL BVH
  5. Abordando el problema del anclaje de símbolos para la clasificación semiautomática de imágenes satelitales Este trabajo se sitúa en el contexto de investigación del equipo de BFO1 (bioinformatique théorique,...

Valoración de los usuarios

No hay ninguna valoración para este recurso.Sea el primero en valorar este recurso.
 

Busque un recurso