研究業績リスト
会議発表プレゼンテーション
形式的ソフトウェア部品の検証を兼ねた自動生成手法の改善と評価
公開済 05/09/2025
第24回情報科学技術フォーラム, 03/09/2025–05/09/2025
会議発表プレゼンテーション
公開済 05/09/2025
第24回情報科学技術フォーラム, 03/09/2025–05/09/2025
会議発表プレゼンテーション
形式的ソフトウェア合成手法における部品検証を兼ねた不足部品の自動生成
公開済 14/03/2025
情報処理学会第87回全国大会, 13/03/2025–15/03/2025
会議発表プレゼンテーション
B Method におけるモジュール構造に対応したソフトウェア合成システムの構築
公開済 14/03/2025
情報処理学会第87回全国大会, 13/03/2025–15/03/2025
会議発表プレゼンテーション
Readability Metrics for Sliced Models Focused on Text Structure
公開済 04/09/2024
第 23 回情報科学技術フォーラム, 04/09/2024–06/09/2024
会議発表プレゼンテーション
A Proposal of Formal Software Synthesis System Considering Complex Models
公開済 04/09/2024
第 23 回情報科学技術フォーラム, 04/09/2024–06/09/2024
会議発表プレゼンテーション
小規模なモデルを対象とした形式的ソフトウェア合成システムの構築
公開済 15/03/2024
情報処理学会第86回全国大会, 15/03/2024–17/03/2024
会議発表プレゼンテーション
形式的ソフトウェア合成手法における細分化モデルの可読性向上手法の改善
公開済 15/03/2024
情報処理学会第86回全国大会, 15/03/2024–17/03/2024
会議発表プレゼンテーション
形式的ソフトウェア合成手法における計算コストを考慮した細分化モデル可読性向上手法
公開済 07/09/2023
第22回情報科学技術フォーラム, 06/09/2023–08/09/2023
会議発表プレゼンテーション
条件分岐と同時代入間の相互依存に配慮した形式仕様細分化アルゴリズム
公開済 07/09/2023
第22回情報科学技術フォーラム, 06/09/2023–08/09/2023