El enfoque riguroso para la ingeniería de software industrial ( RAISE ) 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 . Es especialmente defendido por el UNU-IIST en Macao , que imparte cursos de formación in situ y en todo el mundo, especialmente en países en desarrollo .