産業用ソフトウェアエンジニアリングへの厳格なアプローチ

産業ソフトウェア工学への厳密なアプローチ( RAISE ) は、1990 年代にDines Bjørnerが率いた欧州のESPRIT II LaCoS プロジェクトの一環として開発されました。ソフトウェア開発用の仕様言語(RSL)用に設計されたツール セットで構成されています。特にマカオのUNU-IISTで支持されており、現地および世界各地、特に開発途上国でトレーニング コースを実施しています。

• 形式手法
• 正式な仕様

• RAISE 仮想ライブラリエントリ
• RAISE – 産業用ソフトウェアエンジニアリングへの厳格なアプローチ
• Dines Bjørnerからの RAISE 情報