ESCUELA SUPERIOR

POLITÉCNICA DE CHIMBORAZO

INTEGRANTES:
KEVIN YUQUI
JHON CUVI
RUBEN VALENCIA
ANDRES ALCOSER
MARIANO VALLEJO
LUIS ROBLES
ALI MORRILLO
• El Lenguaje Z es un lenguaje formal utilizado en
ingeniería del software para la especificación
formal de un sistema de cómputo, como una fase
previa al desarrollo del código de programa para el
mismo en un lenguaje de programación. 
• Ventajas:
• Se convirtió en una norma internacional bajo ISO denominada: ISO/IEC 13568
• Existen distintas herramientas de apoyo para el testeo como: Z Word Toolsy
Community Z Tools Project (CZT)

• Desventajas
• Poca documentación que guíe a fondo el aprendizaje e implementación demétodo
formal.
• Carencia de ejemplos prácticos de aplicación.