Ibaraki University's
College of 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. レクチャーノート/ソフトウェア学 ソフトウェア工学の基礎XX 「情報制御システムにおける部分モデルと相互関係を用いたモデル検査の実用化」 近代科学社 2013
  2. レクチャーノート/ソフトウェア学 ソフトウェア工学の基礎XIX 「情報制御システムのモデル検査における状態空間分割による探索手法の提案」 近代科学社 2012
  3. レクチャーノート/ソフトウェア学 ソフトウェア工学の基礎XVIII 「情報制御システム記述言語による列車運行制御モデルの記述と検証」 近代科学社 2011
  4. レクチャーノート/ソフトウェア学 ソフトウェア工学の基礎XVII 「検証項目を持つ情報制御システム記述言語のための分析・設計手法」 近代科学社 2010
  5. ME用語辞典 日本エム・イー学会編 コロナ社 1999

Papers

  1. Research paper (scientific journal) Joint 組込みシステム検査のための協調解析 Satoru Furukawa, Yoshikazu Ueda, Shin Nakajima 日本ソフトウェア科学会コンピュータソフトウェア 31/ 3, 307-317 2014/08
  2. 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
  3. 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
  4. Research paper (scientific journal) Joint Reverse Engineering of UML Sequence Diagrams by Using Execution Traces and Control Structure Shouichi Miyagi, Yoshikazu Ueda JSSST, Foundation of Software Engineering XX, 283-292 2013/11
  5. Research paper (scientific journal) Joint A Co-Analysis Method for Verification of Embedded System Satoru Furukawa, Yoshikazu Ueda, Shin Nakajima JSSST, Foundation of Software Engineering XIX, 81-90 2012/12

Research presentations

  1. Oral presentation(general) 段階的検査法を用いたモデル検査の反例分析手法 日本ソフトウェア科学会第32回大会 2015/09
  2. Oral presentation(general) ソフトウェア保守のためのUMLシーケンス図維持支援 日本ソフトウェア科学会第32回大会 2015/09
  3. Oral presentation(general) 検証性質を充足する解空間の可視化による協調解析支援ツールの開発 情報処理学会, 研究報告(ソフトウェア工学) 2015/03
  4. Oral presentation(general) Simulinkモデル分割判別を利用した品質評価手法の検討 情報処理学会, 研究報告(ソフトウェア工学) 2015/03
  5. Oral presentation(general) プログラム更新前後におけるUMLシーケンス図の抽象化と差異検出 電子情報通信学会, 技術報告(知能ソフトウェア工学) 2015/03

Memberships of academic societies

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