?各種Web技術（Front-end framework, Web tutorial 等）を応用?状態遷移モデリング学習を支援する学習者向けフィードバック自動?ソフトウェアデバッグ支援のためのインフラログ解析の188bet体育_188bet备用网址（産学電子情報35芝浦工業大学大学院工学188bet体育_188bet备用网址科修了。博士（工学）。2020年より現職。オブジェクト指向開発技術、モデル駆動開発技術および要求工学手法に関する188bet体育_188bet备用网址に従事。?ユーザビリティに着目したモデルベース評価支援手法?画面遷移に注目した仕様作成技術とプロトタイプ自動生成技術?機能やユーザビリティなどの多面的な関心事を分離したモデリング方法論したユーザ操作支援技術?ソフトウェア工学教育を支援する教育支援技術?解析?シミュレーションに基づくソフトウェア品質の評価?改善技術生成手法の188bet体育_188bet备用网址（科研費基盤C?学外共同188bet体育_188bet备用网址）?ユーザビリティ評価支援フレームワークの開発（科研費若手B）?高品質な要求仕様獲得のためのモデル駆動開発手法の188bet体育_188bet备用网址（科研費特別188bet体育_188bet备用网址員奨励費）?モデル駆動開発を支援する188bet体育_188bet备用网址手法の実践的適用と再利用性の検討（民間企業からの委託188bet体育_188bet备用网址）連携による共同188bet体育_188bet备用网址）?ネットワーク設計のためのモデリング手法の188bet体育_188bet备用网址?IoTシステムの検証支援に関する188bet体育_188bet备用网址（産学連携による共同188bet体育_188bet备用网址）?トレーサビリティ追跡に関する188bet体育_188bet备用网址（産学連携による共同188bet体育_188bet备用网址）ソフトウェアの設計モデルに対して、ユーザビリティを高める各種技術をどのように連携するかを整理した図：主なキーワード：画面遷移設計、ユーザビリティパターン、プロトタイプ、操作ログ、シミュレーション、機械学習モデリング教育支援ツール：モデルで設計した振る舞いをエディタ上で実行可能にして学習者の学習を支援し、また編集ログなどからモデルの自動評価を行なって学習者の状況を教育者が把握することを支援するステートマシンモデルのシミュレーションツール：簡単にシミュレーションを実行でき、また未通過遷移の解析なども行えるシミュレータ機能を応用した検証手法を188bet体育_188bet备用网址する小形188bet体育_188bet备用网址室では、岡野188bet体育_188bet备用网址室と共同して良いソフトウェアを効率的に作る方法を188bet体育_188bet备用网址しています。ソフトウェアには、建築と同様に設計図（モデル）があり、特に多くの開発者が係わる大規模な開発プロジェクトの成否はモデルの品質に大きく左右されます。また、Society5.0を踏まえ、失敗に気づかずに大規模なシステムを実現してしまうことはますます許されなくなるでしょう。当188bet体育_188bet备用网址室はモデルを中心とした、使い易さ（ユーザビリティ）を設計?評価する方法や、IoT(InternetofThings)等のアーキテクチャ設計?安全性評価を行う方法、ソフトウェア開発者を教育支援する方法などをテーマに188bet体育_188bet备用网址を展開しています。従前から「実行可能なモデル」の188bet体育_188bet备用网址が盛んです。そのようなモデルは、クラウド等の資源を活用し、新たなソフトウェアを開発する現代では、開発者がソフトウェアの本質を表現?理解するための有用な手段です。我々は実行可能なモデルでスマートな開発方法の確立を目指します。【私の学問へのきっかけ】私が「ソフトウェア工学」という言葉を知ったのは、高校３年生の終わり頃でした。当時は「ゲーム」を作りたくて、触ったこともないオブジェクト指向プログラミング言語Javaを独学で覚えました。プログラミング言語を知るほど、様々な、けれども複雑で大きなアプリケーションを作れるようになり、次第に「如何によいソフトウェアを早く作れるか」に興味が移りました。実は、それが「ソフトウェア工学」の目指すところでした。その必要性と面白さからこの分野を選んだのです。モデリングには、ソフトウェアの本質を的確に捉えて説明する、高度な抽象化能力が必須です。そして、この能力は企業が求めるコミュニケーション能力の本質とも言えます。188bet体育_188bet备用网址生は、モデリング188bet体育_188bet备用网址等を通して、その能力を高めることを目指しています。IoT (Internet of Things) / CPS (Cyber-Physical System)の設計支援を目的としたアーキテクチャ設計モデリング手法や、モデル検査技術を応用した当該モデルの検証手法を188bet体育_188bet备用网址しています。同様に、実務支援やモデリング教育を目的としたステートマシン図シミュレータや、シミュレータを応用した評価環境の188bet体育_188bet备用网址も行っています。IoT/CPSのモデルに対する検証アプローチ：これらの全体像に対して個別の要素技術を188bet体育_188bet备用网址している准教授小形真平188bet体育_188bet备用网址キーワードソフトウェア工学?モデル駆動工学?オブジェクト指向開発?ユーザビリティ188bet体育_188bet备用网址から広がる未来188bet体育_188bet备用网址シーズ共同188bet体育_188bet备用网址?外部資?獲得実績卒業後の未来像最近の188bet体育_188bet备用网址トピックスシステム工学科モデル駆動なソフトウェア工学?使い易くて安全なソフトウェアを設計しよう?
元のページ ../index.html#37