RAISE ( Enfoque riguroso de la ingeniería de software industrial ) se desarrolló como parte del proyecto europeo ESPRIT II LaCoS en la década de 1990, dirigido por Dines Bjørner . Consiste en un conjunto de herramientas diseñadas para un lenguaje de especificación (RSL) para el desarrollo de software . Está especialmente apoyado por UNU-IIST en Macao , que imparte cursos de formación en el lugar y en todo el mundo, especialmente en los países en desarrollo .