RAISE specification language |
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.
=See 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