Rchr

J-GLOBAL ID：200901049030939627 Update date: Apr. 01, 2024

UEDA Yoshikazu

ウエダヨシカズ | UEDA Yoshikazu

Affiliation and department：
Job title： Professor

Research field (3)： Software , Computational science , Information theory

Research keywords (1)： Software Engineering, Embedded Software Engineering

Research theme for competitive and other funds (1)：

2018 - 2021 組込みシステムのモデルベース設計のためのハイブリッドモデル検査手法の確立

Papers (21)：

成沢文雄, 上田賀一. 機能安全対応基盤ソフト向け階層型検証システムアーキテクチャ. 自動車技術会論文集. 2019. 50. 2. 603-608
Fumio Narisawa, Yoshikazu Ueda. Safety verification method for priority-based real-time software. Frontiers in Artificial Intelligence and Applications. 2017. 297. 409-424
Satoru Furukawa, Yoshikazu Ueda, Shin Nakajima. 組込みシステム検査のための協調解析. 日本ソフトウェア科学会コンピュータソフトウェア. 2014. 31. 3. 307-317
Kei Kogai, Yoshikazu Ueda. Realistic Validation of Specification for Modeling Language using Alloy. Asia-Pacific Conference on Computer Aided System Engineering (APCASE) 2014. 2014. 111-116
Masayuki Hatakeyama, Yosuke Ikeda, Keisuke Mitsuduka, Mikio Ohki, Kazuo Katohgi, Yoshikazu Ueda. 離散構造化モデル記述言語系OOJの構築と効果的な利用法,---分析からプログラムまでの一貫開発とV&V評価実現の検討---. 情報処理学会論文誌:数理モデル化と応用. 2013. 6. 3. 23-42

ｍore...

MISC (9)：

C.Munkhnasan, Y.Ueda. Detecting Defects in Object Oriented Designs Using Design Metrics. Joint Conference on Knowledge Based Software Engineering 2006. 2006. 140. 61-62-72
Yoshikazu Ueda, Miyuki Kubota. A Faceted Classification Approach for Constructing Software Repository. Journal of the Faculty of Engineering, Ibaraki University. 2002. 49. 1. 11-19-20
Yoshikazu Ueda, Tetsuya Harada. A Formal Type Checking on Object-Based Language : Bramble. Journal of the Faculty of Engineering, Ibaraki University. 2001. 48. 1. 23-31-31
Y. Ueda, Y. Hirai, Y. Takenouchi, T. Ohshima. Soft Systems Methodology Based Software Development Method and its Example. Journal of the Faculty of Engineering, Ibaraki Unversity. 1999. 46. 1. 23-32-31
Yoshikazu Ueda, Yuki Yamada. Reference Model of Groupware Development Using Object-oriented Development Methodology. Journal of the Faculty of Engineering, Ibaraki University. 1995. 43. 17-26

ｍore...

Books (1)：

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

Lectures and oral presentations (8)：

SimulinkとSMTソルバの連携による協調解析支援ツールの開発
(電子情報通信学会,技術報告(知能ソフトウェア工学研究会) 2023)
OSSプロジェクトの早期成否判別に関する活動情報の調査
(電子情報通信学会,技術報告(知能ソフトウェア工学研究会) 2023)
POIとGEOを組み合わせた人間活動の類似性予測法の検討
(電子情報通信学会,技術報告(ライフインテリジェンスとオフィス情報システム研究会) 2021)
検証性質を充足する解空間の可視化による協調解析支援ツールの開発
(情報処理学会, 研究報告(ソフトウェア工学) 2015)
SysMLモデルの制約妥当性検証に関する考察
(情報処理学会, 組込みシステムシンポジウム2010 2010)

ｍore...

Education (2)：

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

Professional career (2)：

Dr. of Engineering (Nagoya Institute of Technology)
Master of Engineering (Nagoya Institute of Technology)

Work history (5)：

2012/04 - Ibaraki University, Professor
2007/04 - 2012/03 Ibaraki University, Associate Professor
2002/10 - 2007/03 Ibaraki University, Associate Professor
1990/10 - 2002/09 Ibaraki University, Assistant Professor
1989/04 - 1990/09 Nagoya Institute of Technology, Research Associate

Association Membership(s) (5)：

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

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM