Un contrato inteligente es la descripción algorítmica de un protocolo de transacción contractual que se ejecuta automáticamente junto con la información proporcionada por sus partes. Está escrito en un lenguaje de programación simplificado que es específico para un dominio particular. No solo la corrección y la falta de ambigüedad son sus propiedades formales esenciales, sino también la conformidad con cualquier legislación que rija el asunto de la transacción. Por último, y lo más importante, la confiabilidad, seguridad y protección de la plataforma que ejecuta las transacciones son sus principales atributos. Un desafío emergente es definir un proceso de ingeniería adecuado para cumplir con los exigentes requisitos mientras se apoya la producción y distribución masiva. Este documento propone el concepto de ingeniería de contratos inteligentes (SCE) para facilitar la generación de contratos legales inteligentes, que es la combinación de ingeniería de software, métodos formales y derecho computacional. SCE tiene como objetivo reducir los posibles errores y mejorar la eficiencia durante el proceso de desarrollo del contrato, al mismo tiempo que promueve la estandarización de las metodologías de diseño de contratos. En este documento, se introduce la hoja de ruta de una metodología de diseño formal basada en refinamiento iterativo y dirigida por modelos, no solo para validar contratos inteligentes, sino también para apoyar todo el ciclo de vida de su ingeniería.