• 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 / 厳密なレビュー / ソフトウェアテスト / ソフトウェア検証 / 形式的仕様 / Software tools / Software engineering / Specification testing / Rigorous review … More / Formal specification / Formal method / Formal engineering methods / ソフトウェア分析 / ソフトウェア開発環境 / 形式的検証 / 形式的工学手法 / ソフトウェア進化 / システム開発 / 仕様分析 / 仕様テスト / 形式工学手法 / Object-Oriented Design / Software tool / Specification Transformation / Object-oriented Design / To-down design / Workflow / Formal Engineering Methods / Formal Semantics / Rigorous Reviews / Software Testing / Software Verification / Software Engineering Environments / Formal Methods / 形式意味 / 支援環境 / 形式仕様 / 形式手法 / 形式的意味 / ソフトウェア支援環境 / 形式的手法 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 link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi