研究者
J-GLOBAL ID:201901020871338490   更新日: 2024年02月01日

大久保 梨思子

オオクボ ナオコ | Okubo Naoko
所属機関・部署:
職名: 研究開発員
研究分野 (2件): 知能情報学 ,  ソフトウェア
研究キーワード (2件): ソフトウェア工学 ,  ソフトウェアレビュー
競争的資金等の研究課題 (1件):
  • 2022 - 2025 段階的詳細化と定理証明を用いた演繹的なリアルタイム異常箇所推論器の構築
論文 (8件):
もっと見る
MISC (5件):
特許 (1件):
書籍 (2件):
  • CAST Handbook(日本語訳)
    2021
  • STPA Handbook(日本語版)
    2018
講演・口頭発表等 (1件):
  • Special Session- Aerospace IV&V: Why and how we use software testing to trust products
    (International Conference on Software Testing, Verification and Validation 2017)
学位 (1件):
  • 修士(工学) (筑波大学)
経歴 (1件):
  • 2013 - 現在 国立研究開発法人 宇宙航空研究開発機構
受賞 (2件):
  • 2020/10 - ソフトウェア品質シンポジウム(一般社団法人日本科学技術連盟) SQiP Best Paper Effective Award 自然言語処理による情報検索を用いた故障発想支援の提案
  • 2017/10 - 宇宙航空研究開発機構 理事長賞 IV&Vの体系化及び産業育成
所属学会 (1件):
日本信頼性学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る