RAISE ( Rigurous Approach to Industrial Software Engineering ) 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 propugnada especialmente por UNU-IIST en Macao , que organiza cursos de capacitación en el lugar y en todo el mundo, especialmente en países en desarrollo .