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

蒲池 正幸  カマチ マサユキ

ORCIDConnect your ORCID iD *help
Researcher Number 90274498
Affiliation (based on the past Project Information) *help 1995: 九州大学, 工学部, 助手
Review Section/Research Field
Except Principal Investigator
計算機科学
Keywords
Except Principal Investigator
OSC / Testing adequacy / Automatic test case generation / Slicing / Integrated support environment / Program dependencies / CFN / Unified Program representations / Ada / プログラム従属性 … More / 開発環境 / 並行プログラム / テストケース自動生成 / 順序列テスト基準 / テスト十分性 / テスケース自動生成 / スライシング / 並行型プログラム開発支援環境 / プログラム従属性理論 / 非決定的定義使用ネット / 統一的プログラム抽象表現 Less
  • Research Projects

    (1 results)
  • Co-Researchers

    (4 People)
  •  Integrated Environment to Support Software Development of Concurrent Programs.

    • Principal Investigator
      USHIJIMA Kazuo
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYUSHU UNIVERSITY
  • 1.  USHIJIMA Kazuo (40037750)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  NOMURA Yoshinari (70274496)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  FURUKAWA Zengo (30190135)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  CHENG Jingde (30217228)
    # 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