About: RAISE

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
dbpprop: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.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/RAISE
dbpprop:reference	http://www2.imm.dtu.dk/~db/raise/ http://www.iist.unu.edu/raise/ http://spd-web.terma.com/Projects/RAISE/
rdf:type	http://dbpedia.org/class/yago/FormalSpecificationLanguages http://dbpedia.org/class/yago/FormalMethodsTools
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.
rdfs:label	RAISE
owl:sameAs	http://umbel.org/umbel/ne/wikipedia/RAISE freebase:RAISE
skos:subject	dbpedia:Category:Formal_methods_tools dbpedia:Category:Program_testing_tools dbpedia:Category:Formal_specification_languages
foaf:page	http://en.wikipedia.org/wiki/RAISE
is dbpprop:payload of	dbpedia:2009_in_spaceflight
is dbpprop:redirect of	dbpedia:RAISE_Specification_Language dbpedia:RAISE_specification_language
is owl:sameAs of	yago:RAISE