Los métodos formales (MF) han sido citados como una metodología viable para desarrollar software de alta calidad. Sin embargo, la pronunciada curva de aprendizaje para utilizar de manera eficiente las matemáticas discretas y la lógica subyacentes ha obstaculizado la adopción de los MF, lo que ha llevado a una disminución en su interés inicial en la década de 1980. Tradicionalmente, se han perseguido enfoques técnicos para abordar el desafío de los MF. Al haber tomado en cuenta un declive similar en la IA antes de la Cuarta Revolución Industrial (4IR), el investigador ve los MF como tecnología y considera soluciones en las intersecciones de la adopción de tecnología de 4IR-5IR, aprovechadas por el apoyo de los gobernantes, denominado liderazgo-gestión en este trabajo. Siguiendo una elección de investigación cualitativa, se revisa la literatura académica y se definen conjuntos de proposiciones cualitativas para desarrollar un marco conceptual para la adopción de liderazgo-gestión de MF en 4IR-5IR. Los aspectos que surgieron y se incorporaron al marco son niveles de liderazgo interfuncionales y ejecutivos, estilos de liderazgo transformador, adaptativo y servicial, utilizando herramientas de MF que incorporan un alto nivel de experiencia del usuario, y tecnologías de 4IR, aumentadas con aspectos humanos de 5IR. Se espera que el marco motive al liderazgo de una empresa a contribuir cada vez más a la toma de decisiones tecnológicas y técnicas basadas en TIC. El trabajo futuro en esta área implicaría asegurar la participación de profesionales y ejercer el marco en un entorno industrial.