信州大学 · 総合理工学研究科 · 准教授

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

研究分野モデル駆動工学

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

• 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に関する研究
• 高品質な要求仕様の定義に向けたモデル駆動開発手法の研究
• 手動評価と自動評価を統合したモデルベース操作性評価手法の研究
• 機械学習により増強されたデータ駆動ソフトウェア保守進化基盤

• 公式プロフィール