形式的仕様記述言語

• LOTOS のリフレクションの考え方によって拡張した RLOTOS の提案
• RLOTOS による記述法, 記述支援
• RLOTOS によるソフトウェアプロセスの記述
• Z, VDM, LOTOS などの標準化

国内の形式仕様に関する研究

• 大阪大学谷口研究室
• 奈良先端大荒木研
• IPA 先進的情報処理技術開発促進事業の 1 テーマとして 実行可能な形式仕様言語システムの研究開発