Ingeniería de Software I

Principal
Arriba
UML
CMM
Z

Z y Temas Relacionados
Páginas relacionadas y recursos
Bibliografía de Z

Páginas relacionadas y recursos
  1. Capítulo introductorio de 'Using Z' traducido.
  2. Using Z completo en inglés para ver en línea
  3. Using Z completo en inglés (pdf zipeado)
  1. ATAC
  2. ZTC 
  3. ZBrowse (16 bits) 
  4. ZBrowse (32 bits) 
  5. ZBrowse Plug-in 
  6. Z AST View 
  1. Listado de papers acerca Z
  2. Definición formal de Z (zip de archivos ps) (272 Kb).
  3. Descripción de algunas herramientas para Z
  4. Z++
  5. The Object-Z Specification Language: Version 1
  6. Object-Z: a Specification Language Advocated for the Description of Standards
  7. A concrete Z Grammar
Notación de Z en formato MS-Windows Help (89,6 Kb).
Fuentes de Z para MS-Windows (66,2 Kb).
Libro Using Z
Herramientas
Papers
Punteros a páginas relacionadas con Z
  1. Página oficial de Z
  2. The Object-Z Pages
  3. Formal Methods Group
  4. FME Tools Database - Herramientas que soportan Z
  5. Logica's Formal Methods Tools and Services
  6. Headway Products Page
  7. Using Z: Specification, Refinement, and Proof

 

Bibliografía de Z
Z An Introducction to Formal Methods. Second Edition. Antoni Diller.
Z in Practice. Rosalind Barden, Susan Stepney & David Cooper.
Using Z. Jim Woodcock & Jim Davies, Prentice-Hall.
Software Development with Z. A Practical Approach to Formal Methods in Software Engineering. J.B. Wordworth. Addison Wesley
Z Notation. Versión 1.2, 14 de Septiembre de 1995.

 

 

FlechaDerecha.gif (101 bytes) Volver a la página de materias del Departamento de Computación
Correo.gif (4196 bytes) ¿Comentarios? ¿Sugerencias? ¡Ayúdenos a mejorar estas páginas!