上田 賀一

J-GLOBALへ         更新日: 19/02/01 03:14
 
アバター
研究者氏名
上田 賀一
 
ウエダ ヨシカズ
所属
茨城大学
部署
理工学研究科(工学野)情報科学領域
職名
教授
学位
工学博士(名古屋工業大学), 工学修士(名古屋工業大学)
科研費研究者番号
00213372

研究分野

 
 

経歴

 
1989年4月
 - 
1990年9月
名古屋工業大学 助手
 
1990年10月
 - 
2002年9月
茨城大学 講師
 
2002年10月
 - 
2007年3月
茨城大学 助教授
 
2007年4月
 - 
2012年3月
茨城大学 准教授
 
2012年4月
   
 
茨城大学 教授
 

学歴

 
 
 - 
1984年
名古屋工業大学 工学部 情報工学科
 
 
 - 
1989年
名古屋工業大学 工学研究科 電気情報工学
 

論文

 
Safety Verification Method for Priority-based Real-time Software
Fumio Narisawa, Yoshikazu Ueda
The 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET 2017)      2017年9月   [査読有り]
組込みシステム検査のための協調解析
古川 覚 , 上田 賀一, 中島 震
日本ソフトウェア科学会コンピュータソフトウェア   31(3) 307-317   2014年8月   [査読有り]
Realistic Validation of Specification for Modeling Language using Alloy
Kei Kogai, Yoshikazu Ueda
Asia-Pacific Conference on Computer Aided System Engineering (APCASE) 2014      2014年2月   [査読有り]
離散構造化モデル記述言語系OOJの構築と効果的な利用法 ---分析からプログラムまでの一貫開発とV&V評価実現の検討---
畠山 正行, 池田 陽祐, 三塚 恵嗣, 大木 幹生, 加藤木 和夫, 上田 賀一
情報処理学会論文誌:数理モデル化と応用   6(3) 23-42   2013年12月   [査読有り]
UMLとの比較に基づくオブジェクト指向分析設計記述言語OONJの評価
池田 陽祐, 大木 幹生, 三塚 恵嗣, 上田 賀一, 加藤木 和夫, 畠山 正行
情報処理学会論文誌:数理モデル化と応用   5(3) 63-78   2012年9月   [査読有り]

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年
ソフトウェアリポジトリ構築のためのファセット分類アプローチ
茨城大学工学部研究集報   49(1) 11-19   2002年
オブジェクトベース言語Brambleにおける形式的型検査
茨城大学工学部研究集報   48(1) 23-31   2001年
ソフトシステム方法論に基づくソフトウェア開発法と開発事例
茨城大学工学部研究集報   46(1) 23-32   1999年
オブジェクト指向開発法によるグループウェア開発基盤モデルの提案
茨城大学工学部研究集報   43 17-26   1995年

書籍等出版物

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

講演・口頭発表等

 
検証性質を充足する解空間の可視化による協調解析支援ツールの開発
兎澤 佑, 上田 賀一
情報処理学会, 研究報告(ソフトウェア工学)   2015年3月   
SysMLモデルの制約妥当性検証に関する考察
加藤 秀明, 上田 賀一, 中島 震
情報処理学会, 組込みシステムシンポジウム2010   2010年10月28日   
Simulink に基づくテストファーストUML設計手法の提案
原 彬寛, 吉田 聡, 上田 賀一, 中島 震
情報処理学会, 組込みシステムシンポジウム2008   2008年10月31日   
UMLによる組込みソフトウェア設計のレビュー支援ツールの開発
鈴木 健司, 上田 賀一
情報処理学会, 組込みシステムシンポジウム2007   2007年10月19日   
Detecting Defects in Object Oriented Designs Using Design Metrics
Munkhnasan Choinzon, Yoshikazu Ueda
Joint Conference On Knowledge-Based Software Engineering 2006 (JCKBSE'06)   2006年8月28日   

競争的資金等の研究課題

 
組込みシステムのモデルベース設計のためのハイブリッドモデル検査手法の確立
研究期間: 2018年4月 - 2021年3月