Ibaraki University's
Graduate School of Science and Engineering (Engineering)
Department of Computer and Information Sciences

顔写真
Professor

UEDA Yoshikazu

  • Birth:1961

Career

  1. Nagoya Institute of Technology, Research Associate 1989/04-1990/09
  2. Ibaraki University, Assistant Professor 1990/10-2002/09
  3. Ibaraki University, Associate Professor 2002/10-2007/03
  4. Ibaraki University, Associate Professor 2007/04-2012/03
  5. Ibaraki University, Professor 2012/04-Present

Academic background

  1. Nagoya Institute of Technology Faculty of Engineering 情報工学科 1984
  2. Nagoya Institute of Technology Graduate School, Division of Engineering 電気情報工学 Doctor course 1989 Completed

Academic degrees

  1. Dr. of Engineering Nagoya Institute of Technology
  2. Master of Engineering Nagoya Institute of Technology

Research Areas

  1. Computer Science, Software Engineering

Research keywords

  1. Software Engineering, Embedded Software Engineering

Subject of research

  1. ソフトウェアモデリングとソフトウェア検証法の開発 ソフトウェアのモデルベース開発とそれらのモデルの実用的検証法を開発する研究.
  2. Approach of Software Process Improvement 2004-Present
  3. Development methodology for embedded software 2005-Present
  4. Model Description Language and its Support Environment in Software Development.

Proposed theme of joint or funded research

  1. ソフトウェア開発に関するプロセス改善と技術者育成 Wish to undertake joint research with industry and other organizations including private sector. Technical consultation,Joint research
  2. オブジェクト指向設計の品質評価 Wish to undertake joint research with industry and other organizations including private sector. Technical consultation,Joint research
  3. 組込みソフトウェア開発の設計レビュ支援 Wish to undertake joint research with industry and other organizations including private sector. Technical consultation,Joint research
  4. Matlab/SimulinkとUML設計モデルの連携 Wish to undertake joint research with industry and other organizations including private sector. Technical consultation,Joint research

Bibliography

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

Papers

  1. Research paper (scientific journal) Joint 機能安全対応基盤ソフト向け階層型検証システムアーキテクチャ 成沢 文雄,上田 賀一 自動車技術会論文集 自動車技術会 50/ 2, 603-608 2019/03/25 10.11351/jsaeronbun.50.603
  2. Research paper (international conference proceedings) Joint Safety Verification Method for Priority-Based Real-Time Software. Fumio Narisawa, Yoshikazu Ueda International Conference on New Trends in Intelligent Software Methodology, Tools and Techniques IOS Press 409-424 2017/09 10.3233/978-1-61499-800-6-409
  3. Research paper (scientific journal) Joint 組込みシステム検査のための協調解析 Satoru Furukawa, Yoshikazu Ueda, Shin Nakajima 日本ソフトウェア科学会コンピュータソフトウェア 31/ 3, 307-317 2014/08
  4. Research paper (international conference proceedings) Joint 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
  5. Research paper (scientific journal) Joint 離散構造化モデル記述言語系OOJの構築と効果的な利用法 ---分析からプログラムまでの一貫開発とV&V評価実現の検討--- Masayuki Hatakeyama, Yosuke Ikeda, Keisuke Mitsuduka, Mikio Ohki, Kazuo Katohgi, Yoshikazu Ueda 情報処理学会論文誌:数理モデル化と応用 6/ 3, 23-42 2013/12

Research presentations

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

Memberships of academic societies

  1. 電子情報通信学会
  2. 情報処理学会
  3. Japan Society for Software Science and Technology
  4. 米国計算機学会(Association for Computing Machinery)
  5. IEEE, Computer Society