茨城大学
理工学研究科(工学野)
情報科学領域

顔写真
教授

上田 賀一

ウエダ ヨシカズ
UEDA Yoshikazu
  • 1961年生まれ

経歴

  1. 名古屋工業大学 助手 1989/04-1990/09
  2. 茨城大学 講師 1990/10-2002/09
  3. 茨城大学 助教授 2002/10-2007/03
  4. 茨城大学 准教授 2007/04-2012/03
  5. 茨城大学 教授 2012/04-現在

学歴

  1. 名古屋工業大学 工学部 情報工学科 1984
  2. 名古屋工業大学 工学研究科 電気情報工学 博士 1989 修了

学位

  1. 工学博士 名古屋工業大学
  2. 工学修士 名古屋工業大学

研究分野

  1. 計算機科学・ソフトウェア工学

研究キーワード

  1. ソフトウェア工学,組込みソフトウェア工学

研究テーマ

  1. ソフトウェアモデリングとソフトウェア検証法の開発 ソフトウェアのモデルベース開発とそれらのモデルの実用的検証法を開発する研究.
  2. ソフトウェアプロセス改善アプローチの構築 2004-現在
  3. 組込みソフトウェア開発のための方法論の構築 2005-現在
  4. ソフトウェア開発のためのモデル記述言語と支援環境の構築

共同・受託研究希望テーマ

  1. ソフトウェア開発に関するプロセス改善と技術者育成 産学連携等、民間を含む他機関等との共同研究を希望 技術相談,共同研究
  2. オブジェクト指向設計の品質評価 産学連携等、民間を含む他機関等との共同研究を希望 技術相談,共同研究
  3. 組込みソフトウェア開発の設計レビュ支援 産学連携等、民間を含む他機関等との共同研究を希望 技術相談,共同研究
  4. Matlab/SimulinkとUML設計モデルの連携 産学連携等、民間を含む他機関等との共同研究を希望 技術相談,共同研究

著書

  1. レクチャーノート/ソフトウェア学 ソフトウェア工学の基礎XXIII 「検証性質に関わる解空間の可視化による協調解析支援」 兎澤 佑, 上田 賀一 近代科学社 2016/12/31
  2. レクチャーノート/ソフトウェア学 ソフトウェア工学の基礎XXII 「段階的検査法にモジュラ化手法を用いたモデル検査の実用化」 小飼 敬, 宮島 卓巳, 上田 賀一, 山形 知行, 武澤 隆之 近代科学社 2015/11/30
  3. レクチャーノート/ソフトウェア学 ソフトウェア工学の基礎XXI 「制御状態の切り替えを考慮した組込みシステムモデルの協調解析」 渡辺 翠, 上田 賀一, 中島 震 近代科学社 2014/12/31
  4. レクチャーノート/ソフトウェア学 ソフトウェア工学の基礎XX 「情報制御システムにおける部分モデルと相互関係を用いたモデル検査の実用化」 近代科学社 2013
  5. レクチャーノート/ソフトウェア学 ソフトウェア工学の基礎XIX 「情報制御システムのモデル検査における状態空間分割による探索手法の提案」 近代科学社 2012

論文

  1. 研究論文(国際会議プロシーディングス) 共著 Safety Verification Method for Priority-based Real-time Software Fumio Narisawa, Yoshikazu Ueda The 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET 2017) 2017/09
  2. 研究論文(学術雑誌) 共著 組込みシステム検査のための協調解析 古川 覚, 上田 賀一, 中島 震 日本ソフトウェア科学会コンピュータソフトウェア 31/ 3, 307-317 2014/08
  3. 研究論文(国際会議プロシーディングス) 共著 Realistic Validation of Specification for Modeling Language using Alloy Kei Kogai, Yoshikazu Ueda Asia-Pacific Conference on Computer Aided System Engineering (APCASE) 2014 2014/02
  4. 研究論文(学術雑誌) 共著 離散構造化モデル記述言語系OOJの構築と効果的な利用法 ---分析からプログラムまでの一貫開発とV&V評価実現の検討--- 畠山 正行, 池田 陽祐, 三塚 恵嗣, 大木 幹生, 加藤木 和夫, 上田 賀一 情報処理学会論文誌:数理モデル化と応用 6/ 3, 23-42 2013/12
  5. 研究論文(学術雑誌) 共著 実行履歴と制御構造を用いたUMLシーケンス図のリバースエンジニアリング 宮城翔一, 上田賀一 日本ソフトウェア科学会 ソフトウェア工学の基礎 XX, 283-292 2013/11

研究発表

  1. 口頭発表(一般) グラフデータベースを用いたモデル検査手法の提案 情報処理学会, 研究報告(ソフトウェア工学) 2018/03
  2. 口頭発表(一般) ソースコードの変更によるデータフロー図の差異検出手法 日本ソフトウェア科学会第34回大会 2017/09
  3. 口頭発表(一般) 制御ルールの並びに着目した反例分析手法の提案 日本ソフトウェア科学会第34回大会 2017/09
  4. 口頭発表(一般) 組込み制御Cプログラムのためのリソース制約の簡易モデル検査手法の提案 情報処理学会, 研究報告(ソフトウェア工学) 2017/03
  5. 口頭発表(一般) Webスクレイピングを用いた画面遷移図生成手法の提案 情報処理学会, 研究報告(ソフトウェア工学) 2017/03

所属学協会

  1. 電子情報通信学会
  2. 情報処理学会
  3. 日本ソフトウェア科学会
  4. 米国計算機学会(Association for Computing Machinery)
  5. IEEE, Computer Society