UEDA Yoshikazu

J-GLOBAL         Last updated: Oct 19, 2019 at 02:50
 
Avatar
Name
UEDA Yoshikazu
Affiliation
Ibaraki University
Section
Graduate School of Science and Engineering (Engineering), Department of Computer and Information Sciences
Job title
Professor
Degree
Dr. of Engineering(Nagoya Institute of Technology), Master of Engineering(Nagoya Institute of Technology)
Research funding number
00213372

Research Areas

 
 

Academic & Professional Experience

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

Education

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

Published Papers

 
成沢 文雄,上田 賀一
自動車技術会論文集   50(2) 603-608   Mar 2019   [Refereed]
Fumio Narisawa, Yoshikazu Ueda
International Conference on New Trends in Intelligent Software Methodology, Tools and Techniques   409-424   Sep 2017   [Refereed]
組込みシステム検査のための協調解析
Satoru Furukawa, Yoshikazu Ueda, Shin Nakajima
日本ソフトウェア科学会コンピュータソフトウェア   31(3) 307-317   Aug 2014   [Refereed]
Realistic Validation of Specification for Modeling Language using Alloy
Kei Kogai, Yoshikazu Ueda
Asia-Pacific Conference on Computer Aided System Engineering (APCASE) 2014      Feb 2014   [Refereed]
離散構造化モデル記述言語系OOJの構築と効果的な利用法 ---分析からプログラムまでの一貫開発とV&V評価実現の検討---
Masayuki Hatakeyama, Yosuke Ikeda, Keisuke Mitsuduka, Mikio Ohki, Kazuo Katohgi, Yoshikazu Ueda
情報処理学会論文誌:数理モデル化と応用   6(3) 23-42   Dec 2013   [Refereed]

Misc

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

Books etc

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

Conference Activities & Talks

 
検証性質を充足する解空間の可視化による協調解析支援ツールの開発
兎澤 佑, 上田 賀一
情報処理学会, 研究報告(ソフトウェア工学)   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   

Research Grants & Projects

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