// Workers AI · dad joke modeWhat did software engineering say to rigorous approach? "You're a perfect match".

This article is about a software development tool. For other uses, see RAISE (disambiguation).

Rigorous Approach to Industrial Software Engineering (RAISE) 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.

See also

• Formal methods
• Formal specification

External links

• RAISE Virtual Library entry
• RAISE – Rigorous Approach to Industrial Software Engineering Archived 2011-04-23 at the Wayback Machine
• RAISE information from Dines Bjørner