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

OHBA Mitsuru  大場 充

ORCIDConnect your ORCID iD *help
… Alternative Names

大場 充  オオバ ミツル

Less
Researcher Number 50264966
Affiliation (based on the past Project Information) *help 2000 – 2001: 広島市立大学, 情報科学部, 教授
1996: 広島市立大学, 情報科学部, 教授
Review Section/Research Field
Except Principal Investigator
計算機科学
Keywords
Except Principal Investigator
SOFL / 形式的仕様 / ソフトウェア検証 / ソフトウェアテスト / 厳密なレビュー / Formal Specification / 形式的手法 / ソフトウェア支援環境 / 形式的意味 / 形式手法 … More / 形式仕様 / 支援環境 / 形式意味 / Formal Methods / Software Engineering Environments / Software Verification / Software Testing / Rigorous Reviews / Formal Semantics / Formal Engineering Methods / Workflow / To-down design / Object-oriented Design / Specification Transformation / Software tool / Object-Oriented Design / 形式工学手法 / 仕様テスト / 仕様分析 / システム開発 / ソフトウェア進化 / 形式的工学手法 / 形式的検証 / ソフトウェア開発環境 / ソフトウェア分析 / Formal engineering methods / Formal method / Formal specification / Rigorous review / Specification testing / Software engineering / Software tools Less
  • Research Projects

    (2 results)
  • Co-Researchers

    (14 People)
  •  Formal Engineering Methods for Software Development

    • Principal Investigator
      SHAO-YING Liu
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Hosei University
      Hiroshima City University
  •  Formal Methods and Intelligent Software Engineering Environments

    • Principal Investigator
      LIU Shaoying
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for international Scientific Research
    • Research Field
      計算機科学
    • Research Institution
      Hiroshima City University
  • 1.  LIU Shaoying (90264960)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  ARAKI Kejiro (40117057)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  ARAI Noriko (40264931)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  TAMAI Tetsuo (60217172)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  HINCHEY Michael
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  HO-STUART Chris
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  SUN Yong
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  OFFUTT A Jeff
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  MICHAEL Hinc
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  CHRIS HoーStu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  YONG Sun
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  A Jeff Offut
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  GLENN Evans
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  JIAN Chen
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi