RAISE
Apariencia
RAISE, acrónimo inglés de Rigorous Approach to Industrial Software Engineering, en español «Enfoque Riguroso para Ingeniería de Software Industrial», fue desarrollado como parte del proyecto europeo ESPRIT II LaCoS de los años 1990, dirigido por Dines Bjørner. Consiste en un conjunto de herramientas en torno al lenguaje de especificación (RSL) para el desarrollo de software. Cuenta con el apoyo especial de UNU-IIST en Macau, que imparte cursos allí y en el resto del mundo, especialmente en países en vías de desarrollo.