Enviar Registro por Correo electrónico: Bases para la integración de métodos estructurados y formales en la especificación de sistemas de información /