RAISE (Rigorous Approach to Industrial Software Engineering) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. It consists of a set of tools based around a specification language (RSL) for software development. It is especially espoused by UNU-IIST in Macau, who run training courses on site and around the world, especially in developing countries.
| Property | Value |
| dbpedia-owl:abstract
|
- RAISE (Rigorous Approach to Industrial Software Engineering) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. It consists of a set of tools based around a specification language (RSL) for software development. It is especially espoused by UNU-IIST in Macau, who run training courses on site and around the world, especially in developing countries.
- 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.
|
| dbpedia-owl:wikiPageExternalLink
| |
| dcterms:subject
| |
| rdfs:comment
|
- RAISE (Rigorous Approach to Industrial Software Engineering) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. It consists of a set of tools based around a specification language (RSL) for software development. It is especially espoused by UNU-IIST in Macau, who run training courses on site and around the world, especially in developing countries.
- 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.
|
| rdfs:label
| |
| owl:sameAs
| |
| foaf:page
| |
| is dbpedia-owl:wikiPageDisambiguates
of | |
| is dbpedia-owl:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |