Hispanopedia WikiEl Enfoque Riguroso para la Ingeniería de Software Industrial ( RAISE ) se desarrolló en la década de 1990 como parte del proyecto europeo ESPRIT II LaCoS, liderado 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 promovido por UNU-IIST en Macao , que imparte cursos de capacitación tanto en sus instalaciones como a nivel internacional, sobre todo en países en desarrollo .
Véase también
Enlaces externos
- Entrada a la biblioteca virtual RAISE
- RAISE – Enfoque riguroso para la ingeniería de software industrial. Archivado el 23 de abril de 2011 en Wayback Machine.
- SUBIR información de Dines Bjørner
Categorías :
- lenguajes de especificación formal
- Herramientas de métodos formales
- Herramientas de prueba de software
- Temas básicos de lenguajes de programación