Shinshu University · Faculty of Engineering · 教授

Research keywordsformal methods・timed automata・CEGAR・software verification・natural language processing・functional requirements・Java model checking・static analysis

Research fieldsInformatics・Software・Software・Engineering・情報科学・情報通信工学・Integrated Science and Innovative Science・Integrated Disciplines

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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
• 上位設計におけるシステムの振る舞い検証技術

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

• Official profile
• KAKEN
• CiNii