Shinshu University · Graduate School of Science and Engineering · 准教授

Research keywordsモデル駆動工学・状態遷移図・プロセスマイニング・トレーサビリティ・情報抽出・ロボットモデリング・学習支援

Research fieldsモデル駆動工学

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

• Practical behavioral inconsistency detection between source code and specification using model checking
• A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test.
• CSPM: Metamodel for Handling Security and Privacy Knowledge in Cloud Service Development
• Training of requirements analysis modeling with UML-based prototype generation tool

• 人工物システムの適応性を向上させる超能動型CPSに関する研究
• 高品質な要求仕様の定義に向けたモデル駆動開発手法の研究
• 手動評価と自動評価を統合したモデルベース操作性評価手法の研究
• 機械学習により増強されたデータ駆動ソフトウェア保守進化基盤

• Official profile