• Search Research Projects
  • Search Researchers
  1. Back to previous page

UEDA Yoshikazu  上田 賀一

ORCIDConnect your ORCID iD *help
Researcher Number 00213372
Other IDs
Affiliation *help 2013 – 2015 : 茨城大学, 工学部, 教授
 – 2007 : 茨城大学, 工学部, 教授
1991 – 1993 : 茨城大学, 工学部, 講師
Review Section/Research Field
Principal Investigator
Software / 計算機科学
Except Principal Investigator
電子通信系統工学
Keywords
Principal Investigator
オブジェクト指向 / 実行可能モデル / モデル記述言語 / 情報制御システム / 視覚的モデル / モデル駆動開発 / モデル検査 / 実体関連モデル / 機能安全 / モジュラ検証 / ソフトウェア安全性検証 / MVCモデル … More
Except Principal Investigator
… More 脳波活動の計測処理 / Complex Demodulation / 神経系の情報処理 / 徐波の検出と処理 / EEG Processing / Rhythm of Biological / 脳波活動の計測・処理 / 突発波の解析 / 紡錘波の解析 / 生体信号の処理 / 脳波処理 / ウェーブレット変換 / 非定常解析 / Complex Demodulation法 / Processing of Biological System / 睡眠脳波 / 脳波用増巾器 / Analysis of Sharp Wave / Wavelet transform / コンプレックス・デモジュレーション / Analysis of Spindle Wave / Nonstationary Analysis / 突発波の検出 / 生体のリズム Less
  • Research Projects

    (3results)
  • Research Products

    (11results)
  • Co-Researchers

    (9People)
  •  Practical model checking for high-performance safety of information control systemsPrincipal Investigator

    • Principal Investigator
      Ueda Yoshikazu
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Ibaraki University
  •  実行可能な視覚的モデル記述言語によるソフトウェア開発の研究Principal Investigator

    • Principal Investigator
      上田 賀一
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Ibaraki University
  •  Developmental Study on Measuring, Recording & Procession System of EEG during Working and Sleep

    • Principal Investigator
      ISHII Naohiro
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      電子通信系統工学
    • Research Institution
      Nagoya Institute of Technology

All 2015 2014 2013 Other

All Presentation

  • [Presentation] 段階的検査法にモジュラ化手法を用いたモデル検査の実用化2015

    • Author(s)
      小飼 敬, 宮島 卓巳, 上田 賀一, 山形 知行, 武澤 隆之
    • Organizer
      日本ソフトウェア科学会 第22回 ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      ほほえみの宿 滝の湯(山形県天童市)
    • Year and Date
      2015-11-26
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 段階的検査法を用いたモデル検査の反例分析手法2015

    • Author(s)
      大森 祐貴, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • Organizer
      日本ソフトウェア科学会第32回大会
    • Place of Presentation
      早稲田大学西早稲田キャンパス(東京都新宿区)
    • Year and Date
      2015-09-08
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 情報制御システムのモデル検査における反例分析支援ツールの開発2014

    • Author(s)
      大森 祐貴, 小山 恭平, 小飼 敬, 上田 賀一
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      化学会館(東京都)
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] Realistic Validation of Specification for Modeling Language using Alloy2014

    • Author(s)
      Kei Kogai, Yoshikazu Ueda
    • Organizer
      Asia-Pacific Conference on Computer Aided System Engineering 2014
    • Place of Presentation
      Bali Dynasty Resort(Indonesia)
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 情報制御システムのモデル検査に対する分割アプローチと課題2014

    • Author(s)
      小飼 敬, 宮島 卓巳, 小山 恭平, 上田 賀一
    • Organizer
      情報処理学会 ソフトウェア工学研究会ウィンターワークショップ2014
    • Place of Presentation
      大洗ホテル(茨城県)
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 情報制御システムのモデル検査における状態爆発対策と課題2014

    • Author(s)
      小山 恭平, 小飼 敬, 上田 賀一
    • Organizer
      情報処理学会 ソフトウェア工学研究会ウィンターワークショップ2014
    • Place of Presentation
      大洗ホテル(茨城県)
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 情報制御システムにおける部分モデルと相互関係を用いたモデル検査の実用化2013

    • Author(s)
      宮島 卓巳, 小山 恭平, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • Organizer
      日本ソフトウェア科学会 第20回ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      ゆのくに天祥(石川県)
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] SPINを用いた情報制御システムに対する段階的モデル検査手法2013

    • Author(s)
      小山 恭平, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • Organizer
      日本ソフトウェア科学会 第30回大会
    • Place of Presentation
      東京大学工学部2号館(東京都)
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化

    • Author(s)
      宮島 卓巳, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Place of Presentation
      電気通信大学(東京)
    • Year and Date
      2015-03-05 – 2015-03-06
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 情報制御システムに対するモジュラ検証と課題

    • Author(s)
      小飼 敬 , 宮島 卓巳 , 上田 賀一
    • Organizer
      情報処理学会ソフトウェア工学研究会ウィンターワークショップ2015
    • Place of Presentation
      カルチャーリゾートフェストーネ(沖縄県)
    • Year and Date
      2015-01-22 – 2015-01-23
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 情報制御システムにおける段階的検査法を用いたモジュラ検証

    • Author(s)
      宮島 卓巳, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学東山キャンパス(愛知県)
    • Year and Date
      2014-09-07 – 2014-09-10
    • Data Source
      KAKENHI-PROJECT-25330075
  • 1.  ISHII Naohiro (50004619)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 2.  NIWA Toshiyuki (00024266)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 3.  IWATA Akira (10093098)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 4.  SUZUMURA Nobuo (10023102)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 5.  太田 龍朗 (00109323)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 6.  TAKEZAWA Takayuki
    # of Collaborated Projects : 1results
    # of Collaborated Products : 6results
  • 7.  YAMAGATA Tomoyuki
    # of Collaborated Projects : 1results
    # of Collaborated Products : 6results
  • 8.  IGUCHI Hirokazu
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 9.  井口 引和
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results

URL :

Are you sure that you want to connect your ORCID iD to this researcher?

Information FAQ News Terms of Use

Powered by NII kakenhi