Universidad Católica. Herramientas Especificaciones de Proceso Lenguaje estructurado √ Pre y post condiciones √ Árboles de Decisión √ Tablas de Decisión.