RAISE

RAISE (Rigorous Approach to Industrial Software Engineering) is a formal method, a development after VDM.

See also

• CoMet project proposal
• Wikipedia: RAISE

External links

• RAISE - Rigorous Approach to Industrial Software Engineering