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. ORAL AB II QUICK FIRE BASIC1393Validation of aortic in-vitro strain measurement by Magnetic Resonance Imaging with realistic abdominal aortic aneurism phantom1474A novel method of Segment Length Tracking providing regional strain measures from standard CMR cine images in CRT candidates1623T1 mapping can quantify the area-at-risk and infarct size – no need for T2 mapping or conventional LGE imaging in acute STEMI at 1.5T1373Reliability and reproducibility of trans-valvular flow measurement by 4D flow magnetic resonance imaging in acute myocardial infarct patients: two centre study1588Insights into hypertensive heart disease phenotypes: spectrum of myocyte, interstitial and vascular changes by cardiovascular MRI1412Myocardial partition coefficient of gadolinium: A comparison between patients with acute myocarditis, chronic infarction and healthy volunteers1386A comparison of circumferential strain results from multiple software packages in healthy subjects
  2. Universal Haplotype-Based Noninvasive Prenatal Testing for Single Gene Diseases. BACKGROUND: Researchers have developed approaches for the noninvasive prenatal testing of single gen...
  3. Automated software transplantation Automated transplantation would open many exciting avenues for software development: suppose we coul...
  4. CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization CHERI extends a conventional RISC Instruction-Set Architecture, compiler, and operating system to su...
  5. Report drawn up on behalf of the Committee on Economic and Monetary Affairs on the proposals from the Commission of the European Communities to the Council for directives on: I. the approximation of the laws of the Member States relating to rear-view mirrors for two and three-wheeled motor vehicles (Doc. 1-703/79), II. (a) the approximation of the laws of the Member States relating to roll-over protective structures (ROPS) for certain construction plant, (b) the approximation of the laws of the Member States relating to falling-object protective structures (FOPS) for certain construction plant (Doc. 1-711/79), III. amending Directive 71/307/EEC on the approximation of the laws of the Member States relating to textile names (Doc. 1-759/79), IV. the approximation of the laws of the Member States concerning electrical equipment for use in potentially explosive atmospheres in mines susceptible to fire-damp (Doc. 1-805/79), V. the approximation of the laws of the Member States relating to methods of testing the biodegradability of non-ionic surfactants and amending Directive 7/EEC (Doc. 3/-823/79). Working Documents 1980-1981, Document 1-141/80, 8 May 1980

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.