信州大学 · 工学部 · 教授

研究关键词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