Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Rigorous Approach to Industrial Software Engineering
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Formal_methods/tw4FCWIb">Formal methods</a></li> <li><a href="/facts/Formal_specification/4q2oDkvS">Formal specification</a></li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="https://web.archive.org/web/20050829213910/http://www.iist.unu.edu/raise/">RAISE Virtual Library entry</a></li> <li><a href="http://spd-web.terma.com/Projects/RAISE/">RAISE – Rigorous Approach to Industrial Software Engineering</a></li> <li><a href="http://www2.imm.dtu.dk/~db/raise/">RAISE information</a> from <a href="/facts/Dines_Bj%25C3%25B8rner/8KnFr7FG">Dines Bjørner</a></li></ul>