http://debianws.lexgopc.com/wiki143/index.php?action=history&feed=atom&title=Rigorous_Approach_to_Industrial_Software_Engineering 2026-05-15T12:22:52Z Revision history for this page on the wiki MediaWiki 1.43.1 http://debianws.lexgopc.com/wiki143/index.php?title=Rigorous_Approach_to_Industrial_Software_Engineering&diff=1815149&oldid=prev 2023-10-06T16:00:55Z

<p><span class="autocomment">top: </span> lead match article title</p> <p><b>New page</b></p><div>{{Short description|Acronym Rigorous Approach to Industrial Software Engineering}}<br /> {{About|a software development tool|other uses|RAISE (disambiguation)}}<br /> &#039;&#039;&#039;Rigorous Approach to Industrial Software Engineering&#039;&#039;&#039; (&#039;&#039;&#039;RAISE&#039;&#039;&#039;) was developed as part of the European [[European Strategic Program on Research in Information Technology|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]].<br /> <br /> ==See also==<br /> *[[Formal methods]]<br /> *[[Formal specification]]<br /> <br /> ==External links==<br /> *[https://web.archive.org/web/20050829213910/http://www.iist.unu.edu/raise/ RAISE Virtual Library entry]<br /> *[http://spd-web.terma.com/Projects/RAISE/ RAISE &amp;ndash; Rigorous Approach to Industrial Software Engineering]<br /> *[http://www2.imm.dtu.dk/~db/raise/ RAISE information] from [[Dines Bjørner]]<br /> <br /> [[Category:Formal specification languages]]<br /> [[Category:Formal methods tools]]<br /> [[Category:Software testing tools]]<br /> <br /> {{compu-lang-stub}}</div>

imported>Dmoore5556