研究者
J-GLOBAL ID:200901038926009325   更新日: 2023年04月02日

名児耶 富美子

ナゴヤ フミコ | NAGOYA Fumiko
所属機関・部署:
職名: 教授
研究分野 (2件): ソフトウェア ,  ソフトウェア
研究キーワード (2件): Software Engineering ,  ソフトウェア工学
論文 (25件):
  • 名児耶富美子. ソフトウェアの要求引き出しにおけるステークホルダーの特定. 経営総合科学(経営総合科学研究所紀要). 2022. 117. 245-258
  • 名児耶富美子. ソフトウェアの要求開発における基本概念の考察. 経営総合科学(経営総合科学研究所紀要). 2022. 116. 89-108
  • Fumiko Nagoya. A Case Study on Combining Agile Requirements Development and SOFL. Structured Object-Oriented Formal Language and Method, 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, Lecture Notes in Computer Science. 2021. 12723. 23-33
  • Fumiko Nagoya, Shaoying Liu. An Investigation of Integrating aGUI-Aided Approach andaSpecification-Based Testing. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2018. 10795. 24-35
  • Fumiko Nagoya, Shaoying Liu. Development of a Web Dictionary System Using SOFL. WIRELESS PERSONAL COMMUNICATIONS. 2017. 94. 2. 253-266
もっと見る
書籍 (5件):
  • Structured Object-Oriented Formal Language and Method, 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, Lecture Notes in Computer Science book series (LNCS, volume 12723)
    Springer, Cham 2021 ISBN:9783030774745
  • Structured Object-Oriented Formal Language and Method, 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers. Lecture Notes in Computer Science book series (LNCS, volume 11392)
    Springer 2019
  • Structured Object-Oriented Formal Language and Method, 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, Lecture Notes in Computer Science book series (LNCS, volume 10795)
    Springer 2018 ISBN:9783319901039
  • Structured Object-Oriented Formal Language and Method, 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers, Lecture Notes in Computer Science book series (LNCS, volume 10189)
    Springer 2017 ISBN:9783319577074
  • 『これだけは知っておきたい電子申告の仕組みと対応』
    税務研究会出版 2003
講演・口頭発表等 (8件):
  • A Case Study on Combining Agile Requirements Development and SOFL
    (The 10th International Workshop on SOFL + MSVL for Reliability and Security 2021)
  • イテレーションによる要求分析と仕様詳細化の実験
    (経営情報学会 2020年全国研究発表大会 2020)
  • An Investigation of Integrating a GUI-Aided Approach and a Specification-based Testing
    (The 7th International Workshop on SOFL + MSVL for Reliability and Security 2017)
  • A Case Study of a GUI-Aided Approach to Constructing Formal Specifications
    (The 6th International Workshop on SOFL + MSVL for Reliability and Security 2016)
  • 青山学院ビジネスゲーム(ABG)の開発
    (日本シミュレーション&ゲーミング学会 平成25年度 秋季全国大会 2013)
もっと見る
学歴 (3件):
  • 2002 - 2007 法政大学 情報科学研究科 情報科学専攻
  • 2001 - 2003 日本大学 商学研究科 ビジネスコース 会計学専攻
  • 2000 - 2001 法政大学 工学研究科 電気工学専攻 ITプロフェッショナルコース
学位 (3件):
  • 修士(工学) (法政大学)
  • 修士(商学) (日本大学)
  • 博士(理学) (法政大学)
経歴 (4件):
  • 2023/04 - 現在 日本大学 商学部 経営学科 教授
  • 2016/04 - 2023/03 日本大学 商学部 経営学科 准教授
  • 2012/04 - 2016/03 青山学院大学 大学院国際マネジメント研究科 助教
  • 2009/04 - 2012/03 青山学院大学 大学院国際マネジメント研究科 助手
受賞 (2件):
  • 2016/11 - the Steering Committee Chairs of International Conference on Formal Engineering Methods (ICFEM) Certificate of Leadership Award presented by the ICFEM Steering Committee Chair
  • 2006/05 - the Organizing Committee of the International Conference on Dependability of Computer System DepCoS - RELCOMEX2006 Conference Scholarship based on Competition of Submitted Papers
所属学会 (2件):
経営情報学会 ,  IEEE, IEEE computer society
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る