Hispanopedia WikiEl 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 .
Véase también
Enlaces externos
- Entrada a la Biblioteca Virtual RAISE
- RAISE: un enfoque riguroso para la ingeniería de software industrial
- SUBIR información de Dines Bjørner