Método de especificación formal para el diseño de sistemas con la herramienta Case de Oracle en la empresa MT Integradores de Sistemas, c.a.