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

Nishihara Hideaki  西原 秀明

ORCIDConnect your ORCID iD *help
Researcher Number 90443209
Other IDs
Affiliation (Current) 2025: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
Affiliation (based on the past Project Information) *help 2023 – 2024: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
Review Section/Research Field
Except Principal Investigator
Basic Section 60050:Software-related
Keywords
Except Principal Investigator
セキュリティ / ソフトウェア工学 / プログラミング言語 / ソフトウェアサプライチェーン / ディペンダビリティ / アシュアランスケース
  • Research Projects

    (1 results)
  • Research Products

    (1 results)
  • Co-Researchers

    (2 People)
  •  Development of a programmable description language of assurance cases for automatic synthesis

    • Principal Investigator
      山形 頼之
    • Project Period (FY)
      2023 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      National Institute of Advanced Industrial Science and Technology

All 2023

All Presentation

  • [Presentation] アシュアランスキャリングコードを実現するためのプログラマブルなGSN(PGSN)の提案2023

    • Author(s)
      山田 翔太 , 山形 頼之 , 松野 裕 , 西原 秀明
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2023
    • Data Source
      KAKENHI-PROJECT-23K28066
  • 1.  山形 頼之 (40415758)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 2.  松野 裕 (70534220)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 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