信州大学 · 工学部 · 教授

研究キーワードformal methods・timed automata・CEGAR・software verification・natural language processing・functional requirements・Java model checking・static analysis

研究分野情報学・ソフトウェア・ソフトウエア・工学・情報科学・情報通信工学・総合・新領域系・総合系

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Daikon生成表明改善のためのテストケース自動生成手法とその評価実験
• Implementation of a Prototype Bi-directional Translation Tool between Ocl and Jml
• A Visualization TEchnique for Unit Testing and Static Checking with Caller-Callee Relationships
• 上位設計におけるシステムの振る舞い検証技術

• モデルと制約に基づくソフトウェア開発に関する研究
• モデル検査を用いた要求仕様検証
• プログラミング学習支援とデータ活用
• モデル検査技術を活用したソフトウェア設計方法に関する研究

• 公式プロフィール
• KAKEN
• CiNii