RAISE

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.

ee also

*Formal methods
*Formal specification

External links

* [http://www.iist.unu.edu/raise/ RAISE Virtual Library entry]
* [http://spd-web.terma.com/Projects/RAISE/ RAISE – Rigorous Approach to Industrial Software Engineering]
* [http://www2.imm.dtu.dk/~db/raise/ RAISE information] from Dines Bjørner


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу
Synonyms:

Look at other dictionaries:

  • Raise — (r[=a]z), v. t. [imp. & p. p. {Raised} (r[=a]zd); p. pr. & vb. n. {Raising}.] [OE. reisen, Icel. reisa, causative of r[=i]sa to rise. See {Rise}, and cf. {Rear} to raise.] [1913 Webster] 1. To cause to rise; to bring from a lower to a higher… …   The Collaborative International Dictionary of English

  • raise — [rāz] vt. raised, raising [ME raisen < ON reisa, caus. of risa, to RISE] 1. a) to cause to rise; move to a higher level; lift; elevate b) to bring to or place in an upright position 2. to construct or erect (a building, etc.) …   English World dictionary

  • raise — ► VERB 1) lift or move to a higher position or level. 2) set upright. 3) increase the amount, level, or strength of. 4) promote to a higher rank. 5) cause to be heard, felt, or considered: doubts have been raised. 6) build (a structure). 7) …   English terms dictionary

  • raise — [n] increase in salary or position accession, accretion, addition, advance, augmentation, boost, bump, hike, hold up*, increment, jump, jump up*, leg*, leg up*, move up*, promotion, raising, rise, step up*; concepts 344,351,763 Ant. decrease,… …   New thesaurus

  • raise — I (advance) verb aggrandize, augment, boost, bring up, dignify, elevate, enhance, enlarge, ennoble, exalt, further, glorify, heighten, honor, increase, lift, move up, prize, promote, propose, provehere, put, suggest, uplift, upraise associated… …   Law dictionary

  • raise — raise; raise·man; …   English syllables

  • raise — raise, rise nouns An increase of salary is called a rise in BrE and a raise in AmE …   Modern English usage

  • raise v — raise your eyebrows, raisin n …   English expressions

  • raise — vb 1 *lift, elevate, hoist, heave, rear, boost Analogous words: *rise, ascend, mount, soar: *exalt, magnify, aggrandize: *advance, promote, forward, further 2 * …   New Dictionary of Synonyms

  • raise — raise1 W1S2 [reız] v [T] ▬▬▬▬▬▬▬ 1¦(move higher)¦ 2¦(increase)¦ 3¦(collect money)¦ 4¦(improve)¦ 5¦(start a subject)¦ 6¦(cause a reaction)¦ 7¦(move eyes or face)¦ 8¦(move upright)¦ 9¦(children)¦ …   Dictionary of contemporary English

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”