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

See also Edit

• CoMet project proposal
• Wikipedia: RAISE

External links Edit

• RAISE - Rigorous Approach to Industrial Software Engineering