Rigorous Approach to Industrial Software Engineering (original) (raw)
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 . 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 en Macau, que imparte cursos allí y en el resto del mundo, especialmente en países en vías de desarrollo.
| Property | Value |
|---|---|
| dbo:abstract | 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 . 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 en Macau, que imparte cursos allí y en el resto del mundo, especialmente en países en vías de desarrollo. (es) 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 designed for 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. (en) |
| dbo:wikiPageExternalLink | http://www2.imm.dtu.dk/~db/raise/ http://spd-web.terma.com/Projects/RAISE/ https://web.archive.org/web/20050829213910/http:/www.iist.unu.edu/raise/ |
| dbo:wikiPageID | 2576598 (xsd:integer) |
| dbo:wikiPageLength | 1164 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1064288856 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:UNU-IIST dbr:Developing_countries dbc:Formal_methods_tools dbr:Macau dbr:Specification_language dbc:Formal_specification_languages dbr:European_Strategic_Program_on_Research_in_Information_Technology dbr:Formal_methods dbr:Formal_specification dbc:Software_testing_tools dbr:Dines_Bjørner dbr:Software_development |
| dbp:wikiPageUsesTemplate | dbt:About dbt:Short_description dbt:Compu-lang-stub |
| dct:subject | dbc:Formal_methods_tools dbc:Formal_specification_languages dbc:Software_testing_tools |
| rdf:type | owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage |
| rdfs:comment | 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 . 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 en Macau, que imparte cursos allí y en el resto del mundo, especialmente en países en vías de desarrollo. (es) 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 designed for 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. (en) |
| rdfs:label | RAISE (es) Rigorous Approach to Industrial Software Engineering (en) |
| owl:sameAs | wikidata:Rigorous Approach to Industrial Software Engineering dbpedia-es:Rigorous Approach to Industrial Software Engineering https://global.dbpedia.org/id/4jSuo |
| prov:wasDerivedFrom | wikipedia-en:Rigorous_Approach_to_Industrial_Software_Engineering?oldid=1064288856&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Rigorous_Approach_to_Industrial_Software_Engineering |
| is dbo:wikiPageRedirects of | dbr:RAISE_Specification_Language dbr:RAISE_specification_language |
| is dbo:wikiPageWikiLink of | dbr:List_of_computer_scientists dbr:List_of_programming_language_researchers dbr:Dansk_Datamatik_Center dbr:Formal_methods dbr:RAISE_Specification_Language dbr:European_Strategic_Programme_on_Research_in_Information_Technology dbr:RAISE dbr:RAISE_specification_language |
| is foaf:primaryTopic of | wikipedia-en:Rigorous_Approach_to_Industrial_Software_Engineering |