Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01927846n
Noun Named Entity
Categories: Programming language topic stubs, Formal specification languages, Formal methods tools, Software testing tools
EN
Rigorous Approach to Industrial Software Engineering  RAISE
EN
RAISE was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. Wikipedia
Definitions
Relations
Sources
EN
RAISE was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. Wikipedia
IS A
specification language
Wikipedia
EN
Rigorous Approach to Industrial Software Engineering
Wikidata
EN
RAISE
Wikipedia Redirections
EN
RAISE Specification Language, RAISE specification language
Wikidata Alias
EN
Rigorous Approach to Industrial Software Engineering

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License