Yoshikazu UEDAProfessor

■Researcher basic information

Organization

  • College of Engineering Department of Computer and Information Sciences
  • Graduate School of Science and Engineering（Master's Program） Major in Computer and Information Sciences
  • Graduate School of Science and Engineerin（Doctoral Program） Major in Society's Infrastructure Systems Science
  • Faculty of Applied Science and Engineering Domain of Computer and Information Sciences

Research Areas

  • Informatics, Software, ソフトウェア工学
  • Informatics, Computational science, Computer Science, Software Engineering
  • Informatics, Information theory, Computer Science, Software Engineering

Research Keyword

  • Software Engineering, Embedded Software Engineering

Degree

  • 1989年03月　工学博士（名古屋工業大学工博）

Educational Background

  • 1989, Nagoya Institute of Technology, Graduate School, Division of Engineering, 電気情報工学
  • 1984, Nagoya Institute of Technology, Faculty of Engineering, 情報工学科

Career

  • Apr. 2012, Ibaraki University, Professor
  • Apr. 2007 - Mar. 2012, Ibaraki University, Associate Professor
  • Oct. 2002 - Mar. 2007, Ibaraki University, Associate Professor
  • Oct. 1990 - Sep. 2002, Ibaraki University, Assistant Professor
  • Apr. 1989 - Sep. 1990, Nagoya Institute of Technology, Research Associate

■Research activity information

Paper

  • 機能安全対応基盤ソフト向け階層型検証システムアーキテクチャ
    成沢 文雄; 上田 賀一, Last, 自動車技術会
    自動車技術会論文集, 25 Mar. 2019, [Reviewed]
  • Safety verification method for priority-based real-time software
    Fumio Narisawa; Yoshikazu Ueda, IOS Press
    Frontiers in Artificial Intelligence and Applications, 2017, [Reviewed]
  • 組込みシステム検査のための協調解析　　　　　　　　　　　　　　　
    Satoru Furukawa; Yoshikazu Ueda; Shin Nakajima, Corresponding
    日本ソフトウェア科学会コンピュータソフトウェア, Aug. 2014, [Reviewed]
  • Realistic Validation of Specification for Modeling Language using Alloy
    Kei Kogai; Yoshikazu Ueda, Last
    Asia-Pacific Conference on Computer Aided System Engineering (APCASE) 2014, Feb. 2014, [Reviewed]
  • 離散構造化モデル記述言語系OOJの構築と効果的な利用法,---分析からプログラムまでの一貫開発とV&V評価実現の検討---
    Masayuki Hatakeyama; Yosuke Ikeda; Keisuke Mitsuduka; Mikio Ohki; Kazuo Katohgi; Yoshikazu Ueda, 本論文では分析・設計・実装・プログラムの4つの段階を順次追って一貫したプログラム開発ができる記述言語系OOJの開発を報告する．OOJの適用分野は科学技術計算分野であり，この分野に適した離散・構造化モデルを開発した．そして4つの段階間の記述が必ず「同等内容の別表現」となる特性，すなわち一貫相似性，を実現する設計とした．この特性の実現により分析記述は忠実にプログラムに反映され，開発過程の正しさや成果の妥当性が確保される．この特性は別視点から見ればV&Vの実現でもあり，プログラムの信頼性向上に貢献するゆえにプログラム開発にも有効かつ有用な構築指針になる．OOJがこの特性を実現していることは論証された．想定ユーザ評価は大学院生と学部3年生の記述レポートを分析して得た．院生全員と3年生の想定ユーザはOOJを十分に理解し容易に使いこなし，OOJの理解と記述が容易であることが結論できた．以上からOOJは一貫した開発過程の実現によるプログラム開発の容易化，信頼性の向上やV&Vの評価の実現，および理解と実記述の容易性という3つの特長のゆえに，想定ユーザには有用かつ簡潔に使える言語系であると結論できた．In the present paper, we will report a descriptive language system OOJ that can be applied from the analysis stage up to the program stage throughout the design and the implementation stage. OOJ is designed based on the discreted and structured model and applied in the fields of science and engineering calculations. In OOJ, the corresponding descriptions among four stages are integrally similar. That is, the descriptions in these four stages have some different phrases but the equivalent contents. These characteristics realize the concept of the V&V, and contribute to the upgrade of the reliability of the program. The assumed user estimations have been performed by the report of the graduate school students and the third grade undergraduate students. As the results, all third grade students and the graduate school students have gotten the sufficient recognition for OOJ and well-qualified Java program. We got the conclusion with high feasibility that OOJ contributes to the upgrade of the program reliability, to the evaluation of the V&V concept, and finally to the easiness and usability for the assumed users.
    情報処理学会論文誌:数理モデル化と応用, Dec. 2013, [Reviewed]
  • UMLとの比較に基づくオブジェクト指向分析設計記述言語OONJの評価
    Yosuke Ikeda; Mikio Ohki; Keisuke Mitsuduka; Yoshikazu Ueda; Kazuo Katohgi; Masayuki Hatakeyama, 記述言語 OONJ は大学院生向けの科学技術計算やシミュレーション分野での教育目的の利用のために開発されてきた．一方で OONJ 自体が記述言語として適切に設計されているかについてソフトウェア工学的な観点からの評価が必要になった．そこで本論文では代表的なモデリング言語である UML との比較と評価を行った．比較には UML のクラス図，アクティビティ図を用いた．また，構成要素の概念的比較を行った．その結果 OONJ が静的・動的の両側面について十分な対応関係と記述内容を持つことが明らかになった．また OONJ は想定ユーザと記述想定分野を絞ったゆえに，汎用言語である UML に対してはサブセットであることが分かった．結論として， OONJ の想定ユーザと想定分野に対しては， UML のダイアグラムと同等の記述力と記述特性を持つことが分かった．The descriptive language OONJ has been developed for the education purposes of the graduate students in the domain of science or engineering and in the domain of simulations. The estimation has been needed from the stand point of the software engineering whether OONJ has properly been designed as the descriptive language. To attain the aim, we have compared with the representative modeling language UML. The class diagram, and the activity diagram has been used for comparisons. As the results, it has been made sure that OONJ has the sufficient correspondent relations and the descriptive contents from both the static and dynamic aspects. Since the users and the fields to apply OONJ have been restricted, it has become clear that OONJ is the subset of UML. It has been concluded that OONJ has realized the equivalent descriptive power to UML for the target users and the target fields., 情報処理学会
    情報処理学会論文誌:数理モデル化と応用, Sep. 2012, [Reviewed]
  • 情報制御システム記述言語による列車運行制御モデルの記述と検証　　　　　　　　　　　　　　　
    Kei Kogai; Kyohei Oyama; Yoshikazu Ueda; Yuhki Takahashi; Takayuki Takezawa; Toshihiko Nakano, Corresponding
    日本ソフトウェア科学会コンピュータソフトウェア, Aug. 2012, [Reviewed]
  • Co-Analysis of SysML and Simulink Models for Cyber-Physical Systems Design
    Shin Nakajima; Satoru Furukawa; Yoshikazu Ueda
    IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012), Aug. 2012, [Reviewed]
  • Alloyを利用した情報制御システム記述言語の仕様検証の実用化
    Kei Kogai; Yoshikazu Ueda; Satoshi Ohkubo; Yuhki Nakano; Toshihiko Nakano, Corresponding
    日本ソフトウェア科学会コンピュータソフトウェア, Nov. 2010, [Reviewed]
  • A Study of Quality Evaluation Model for UML Design　　　　　　　　　　　　　　　
    佐藤 美穂; 田村 真吾; 上田 賀一, Corresponding
    Transactions of Information Processing Society of Japan, Jul. 2008, [Reviewed]
  • Object-oriented Program Design Description Language OOPD and Its Description Environment.　　　　　　　　　　　　　　　
    Kazuo Katougi; Masayuki Hatakeyama; Yoshikazu Ueda
    Transactions of Information Processing Society of Japan, May 2002
  • A Programming Language for Object-oriented concurrent System Design.　　　　　　　　　　　　　　　
    平井 譲; 上田 賀一, Corresponding
    Transaction of Information Processing Society of Japan, 2000
  • メタ階層アーキテクチャにおけるモデル生成・解釈機構の開発　　　　　　　　　　　　　　　
    Ryuichi Shouji; Yoshikazu Ueda, Corresponding
    JSSST, Foundation of Software Engineering, 1999, [Reviewed]
  • 並列オブジェクト指向シミュレーションのための記述言語とプログラム設計　　　　　　　　　　　　　　　
    Yuzuru Hirai; Kei Kogai; Yoshikazu Ueda, Corresponding
    JSSST, Foundation of Software Engineering, 1998, [Reviewed]
  • Supporting System for Acquiring Requirement and Deriving Specification from Descriptions Using Natural Language.　　　　　　　　　　　　　　　
    Yozo Takizawa; Yoshikazu Ueda, Corresponding
    Transactions of Information Processing Society of Japan, 1997
  • メタ階層に基づくモデルベースソフトウェア開発基盤の提案
    Yoshikazu Ueda; Sonomi Anma; Daisuke Takahashi, Lead, 近代科学社
    JSSST, Foundation of Software Engineering, 1996, [Reviewed]
  • Derivation Supporting System of Object-Oriented Requirement Specification　　　　　　　　　　　　　　　
    Yozo Takizawa; Yoshikazu Ueda, Corresponding
    JSSST, Foundations of Software Engineering, 1994, [Reviewed]
  • Description Language based on Class Version and Relationship　　　　　　　　　　　　　　　
    Hideto Shimura; Yoshikazu Ueda, Corresponding
    JSSST,Foundations of Software Engineering, 1994
  • Estimation for Spread Forms of Spindle Waves in Multichannel EEG
    Yoshikazu Ueda; Naohiro Ishii
    Systems and Computers in Japan, 1990, [Reviewed]
  • Improved Complex Demodulation Method for Frequency Analysis.
    郝 英利; 上田 賀一; 石井 直宏, 電子情報通信学会情報・システムソサイエティ
    電子情報通信学会論文誌(DII), 1989
  • Automatic Detection Methods of Spindle Waves in Sleep EEG.
    上田 賀一; 郝 英利; 石井 直宏, Lead, 電子情報通信学会情報・システムソサイエティ
    電子情報通信学会論文誌(DII), 1989
  • Estimation for Spread Forms of Spindle Waves in Multi-chamel EEG
    Yoshikazu Ueda; Naohiro Ishii, Lead, 電子情報通信学会
    電子情報通信学会論文誌(D), 1988

MISC

Books and other publications

  • オブジェクト指向システム分析 ---３つのモデルに基づくアプローチ---　　　　　　　　　　　　　　　
    東京電機大学出版局, 1993

Lectures, oral presentations, etc.

  • Performance estimation of embedded applications on hardware　　　　　　　　　　　　　　　
    Yuto HATANAKA; Yoshikazu UEDA
    電子情報通信学会，技術報告(知能ソフトウェア工学研究会), 22 Mar. 2025
    20250321, 20250322
  • Defect deection through co-analysis using a drone model　　　　　　　　　　　　　　　
    Shintaro ABE; Yoshikazu UEDA
    電子情報通信学会，技術報告(知能ソフトウェア工学研究会), 22 Mar. 2025
    20250321, 20250322
  • 抽象構文木のグラフ表現とGCNによるソフトウェアの不具合予測の検討　　　　　　　　　　　　　　　
    粕谷 鉄朗,上田 賀一
    情報処理学会, 研究報告(プログラミング), 21 Mar. 2024
    20240321, 20240322
  • SimulinkとSMTソルバの連携による協調解析支援ツールの開発　　　　　　　　　　　　　　　
    Engielista Anak Norman,上田 賀一
    電子情報通信学会，技術報告(知能ソフトウェア工学研究会), 17 Mar. 2023
  • OSSプロジェクトの早期成否判別に関する活動情報の調査　　　　　　　　　　　　　　　
    菊池 悠雅,上田 賀一
    電子情報通信学会，技術報告(知能ソフトウェア工学研究会), 17 Mar. 2023
  • POIとGEOを組み合わせた人間活動の類似性予測法の検討　　　　　　　　　　　　　　　
    曹 慶荥,上田 賀一
    電子情報通信学会，技術報告(ライフインテリジェンスとオフィス情報システム研究会), 04 Mar. 2021
  • 検証性質を充足する解空間の可視化による協調解析支援ツールの開発　　　　　　　　　　　　　　　
    兎澤 佑; 上田 賀一
    情報処理学会, 研究報告(ソフトウェア工学), Mar. 2015
  • SysMLモデルの制約妥当性検証に関する考察　　　　　　　　　　　　　　　
    加藤 秀明; 上田 賀一; 中島 震
    情報処理学会, 組込みシステムシンポジウム2010, 28 Oct. 2010
  • Simulink に基づくテストファーストUML設計手法の提案　　　　　　　　　　　　　　　
    原 彬寛; 吉田 聡; 上田 賀一; 中島 震
    情報処理学会, 組込みシステムシンポジウム2008, 31 Oct. 2008
  • UMLによる組込みソフトウェア設計のレビュー支援ツールの開発　　　　　　　　　　　　　　　
    鈴木 健司; 上田 賀一
    情報処理学会, 組込みシステムシンポジウム2007, 19 Oct. 2007
  • Detecting Defects in Object Oriented Designs Using Design Metrics　　　　　　　　　　　　　　　
    Munkhnasan Choinzon; Yoshikazu Ueda
    Joint Conference On Knowledge-Based Software Engineering 2006 (JCKBSE'06), 28 Aug. 2006

Affiliated academic society

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

Research Themes

  • 組込みシステムのモデルベース設計のためのハイブリッドモデル検査手法の確立　　　　　　　　　　　　　　　
    基盤研究(C)（一般）
    Apr. 2018 - Mar. 2021