研究者
J-GLOBAL ID：200901049030939627   更新日: 2024年04月01日

上田 賀一

ウエダ ヨシカズ | UEDA Yoshikazu
所属機関・部署：
茨城大学 理工学研究科(工学野) 情報科学領域

茨城大学 理工学研究科(工学野) 情報科学領域 について


職名： 教授
研究分野 (3件)： ソフトウェア ,  計算科学 ,  情報学基礎論
研究キーワード (1件)： ソフトウェア工学,組込みソフトウェア工学
競争的資金等の研究課題 (1件)：
  • 2018 - 2021 組込みシステムのモデルベース設計のためのハイブリッドモデル検査手法の確立
論文 (21件)：
もっと見る
MISC (9件)：
もっと見る
書籍 (1件)：
  • オブジェクト指向システム分析 ---3つのモデルに基づくアプローチ---
    東京電機大学出版局 1993
講演・口頭発表等 (8件)：
  • SimulinkとSMTソルバの連携による協調解析支援ツールの開発
    (電子情報通信学会,技術報告(知能ソフトウェア工学研究会) 2023)
  • OSSプロジェクトの早期成否判別に関する活動情報の調査
    (電子情報通信学会,技術報告(知能ソフトウェア工学研究会) 2023)
  • POIとGEOを組み合わせた人間活動の類似性予測法の検討
    (電子情報通信学会,技術報告(ライフインテリジェンスとオフィス情報システム研究会) 2021)
  • 検証性質を充足する解空間の可視化による協調解析支援ツールの開発
    (情報処理学会, 研究報告(ソフトウェア工学) 2015)
  • SysMLモデルの制約妥当性検証に関する考察
    (情報処理学会, 組込みシステムシンポジウム2010 2010)
もっと見る
学歴 (2件)：
  • - 1989 名古屋工業大学 工学研究科 電気情報工学
  • - 1984 名古屋工業大学 工学部 情報工学科
学位 (2件)：
  • 工学博士 (名古屋工業大学)
  • 工学修士 (名古屋工業大学)
経歴 (5件)：
  • 2012/04 - 茨城大学 教授
  • 2007/04 - 2012/03 茨城大学 准教授
  • 2002/10 - 2007/03 茨城大学 助教授
  • 1990/10 - 2002/09 茨城大学 講師
  • 1989/04 - 1990/09 名古屋工業大学 助手
所属学会 (5件)：
IEEE, Computer Society ,  米国計算機学会(Association for Computing Machinery) ,  日本ソフトウェア科学会 ,  情報処理学会 ,  電子情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM