名児耶　富美子

商学部　経営学科教授

研究者情報

学位

  • 修士(工学), 法政大学, 2001年03月
  • 修士(商学), 日本大学, 2003年03月
  • 博士(理学), 法政大学, 2007年03月

研究キーワード

  • Software Engineering
  • ソフトウェア工学

研究分野

  • 情報通信, ソフトウェア, 形式工学
  • 情報通信, ソフトウェア, ソフトウェア工学

経歴

  • 2023年04月 - 現在
    日本大学, 商学部 経営学科, 教授
  • 2024年04月 - 2025年03月
    Institute for Integrated and Intelligent Systems, Griffith University, Visiting Research Fellow
  • 2016年04月 - 2023年03月
    日本大学, 商学部 経営学科, 准教授
  • 2012年04月 - 2016年03月
    青山学院大学, 大学院国際マネジメント研究科, 助教
  • 2009年04月 - 2012年03月
    青山学院大学, 大学院国際マネジメント研究科, 助手

学歴

  • 2002年04月 - 2007年03月
    法政大学, 情報科学研究科, 情報科学専攻
  • 2001年04月 - 2003年03月
    日本大学, 商学研究科 ビジネスコース, 会計学専攻
  • 2000年04月 - 2001年03月
    法政大学, 工学研究科, 電気工学専攻 ITプロフェッショナルコース

委員歴

  • 2024年06月 - 2024年12月
    プログラム委員, SFPVV 2024
  • 2023年11月 - 2024年12月
    財務委員長, ICFEM 2024
  • 2022年10月 - 2023年06月
    プログラム委員, ICECCS 2023
  • 2021年06月 - 2022年03月
    広報委員長, ICECCS 2022
  • 2020年06月 - 2021年06月
    プログラム議長, SOFL+MSVL 2020
研究活動情報

受賞

  • the Steering Committee Chairs of International Conference on Formal Engineering Methods (ICFEM), Certificate of Leadership Award presented by the ICFEM Steering Committee Chair
    国際学会・会議・シンポジウム等の賞
    Fumiko Nagoya
  • the Organizing Committee of the International Conference on Dependability of Computer System DepCoS – RELCOMEX2006, Conference Scholarship based on Competition of Submitted Papers
    国際学会・会議・シンポジウム等の賞
    Fumiko Nagoya
    国際会議における競争的スカラーシップ賞

論文

  • ★ソフトウェアの要求引き出しにおけるステークホルダーの特定
    名児耶富美子
    経営総合科学(経営総合科学研究所紀要), 2022年10月, 査読無し, 通常論文
    筆頭著者
  • ★ソフトウェアの要求開発における基本概念の考察
    名児耶富美子
    経営総合科学(経営総合科学研究所紀要), 2022年02月, 査読無し, 通常論文
    筆頭著者
  • ★A Case Study on Combining Agile Requirements Development and SOFL
    Fumiko Nagoya
    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年06月, 査読有り, 通常論文
    筆頭著者
  • An Investigation of Integrating aGUI-Aided Approach andaSpecification-Based Testing
    Fumiko Nagoya; Shaoying Liu
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018年, 査読有り, 通常論文
  • Development of a Web Dictionary System Using SOFL
    Fumiko Nagoya; Shaoying Liu
    WIRELESS PERSONAL COMMUNICATIONS, 2017年05月, 査読有り, 通常論文
  • A case study of a GUI-aided approach to constructing formal specifications
    Fumiko Nagoya; Shaoying Liu
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017年, 査読有り, 通常論文
  • A comparative study of a GUI-aided formal specification construction approach
    Fumiko Nagoya; Shaoying Liu
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017年, 査読有り, 通常論文
  • Development of a web-based conference management system using SOFL
    Fumiko Nagoya; Shaoying Liu
    Proceeding of the 2015 Research in Adaptive and Convergent Systems, RACS 2015, 2015年10月, 査読有り, 通常論文
  • Developing a Web Dictionary System using the SOFL Three-Step Specification Approach
    Fumiko Nagoya; Shaoying Liu; Kyousuke Hamada
    IT Convergence and Security (ICITCS), 2015 5th International Conference on, Kuala Lumpur, 2015, 2015年08月, 査読有り, 通常論文
    筆頭著者
  • タイ・マレーシアおよびシンガポールの資本市場における企業情報開示に関する調査研究
    市野初芳; 望月恒男; 名児耶富美子
    経営総合科学(経営総合科学研究所紀要), 2014年10月, 査読無し, 通常論文
  • 利益率と成長率 ―利益率と利益の長期時系列動向の日米比較”, -特集論文：財務情報による将来業績の予測
    新井亮一; 名児耶富美子
    証券アナリストジャーナル, 2013年12月, 査読無し, 通常論文
  • An application of SOFL for rapid prototyping
    Fumiko Nagoya; Tetsuo Kitagawa
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013年, 査読有り, 通常論文
  • Formal Specification-Based Inspection for Verification of Programs
    Shaoying Liu; Yuting Chen; Fumiko Nagoya; John A. McDermid
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012年09月, 査読有り, 通常論文
  • A Specification-Based Program Review Approach with Tool Support and Evaluation through Empirical Studies
    Fumiko Nagoya
    博士論文, 2007年03月, 査読有り, 通常論文
    筆頭著者
  • A Specification-Based Program Review Approach with Tool Support and Evaluation through Empirical Studies
    名児耶富美子
    法政大学大学院紀要 情報科学研究科編, 2007年03月, 査読無し, 通常論文
    筆頭著者
  • A Tool-Supported Review Approach to Detecting Structural Consistency Violations
    Yuting Chen; Shaoying Liu; Fumiko Nagoya
    Proceedings of 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006年08月, 査読有り, 通常論文
  • An Empirical Study of Specification-Based Program Review Approach
    Fumiko Nagoya; Shaoying Liu; Yuting Chen
    Proceedings of International Conference on Dependability of Computer Systems (DepCoS - RELCOMEX2006), 2006年05月, 査読有り, 通常論文
    筆頭著者
  • An Automated Approach to Specification-Based Program Inspection
    Shaoying Liu; Fumiko Nagoya; Yuting Chen; Masashi Goya; John A. McDermid
    Lecture Notes in Computer Science, 2005年11月, 査読有り, 通常論文
  • Design and Implementation of a Specification-Based Program Review Tool
    Fumiko Nagoya; Shaoying Liu; Yuting Chen
    Proceedings of 9th IASTED International Conference on Software Engineering and Applications (SEA2005), 2005年11月, 査読有り, 通常論文
    筆頭著者
  • Design of a tool for specification-based program review
    F Nagoya; SY Liu; YT Chen
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005年, 査読有り, 通常論文
  • A framework for SOFL-based program review
    YT Chen; SY Liu; F Nagoya
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005年, 査読有り, 通常論文
  • A review approach to detecting structural consistency violations in programs
    YT Chen; SY Liu; F Nagoya
    Fourth Annual ACIS International Conference on Computer and Information Science, Proceedings, 2005年, 査読有り, 通常論文
  • A tool and case study for specification-based program review
    F Nagoya; SY Liu; YT Chen
    Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005年, 査読有り, 通常論文
  • An Approach to Integration Testing Based on Data Flow Specifications.
    Yuting Chen; Shaoying Liu; Fumiko Nagoya
    Lecture Notes in Computer Science, 2004年09月, 査読有り, 通常論文
  • An investigation of the approach to specification-based program review through case studies
    F Nagoya; SY Liu; YT Chen
    NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2004年, 査読有り, 通常論文

書籍等出版物

  • ★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)
    共編者(共編著者), Jinyun Xue; Fumiko Nagoya; Shaoying Liu; Zhenhua Duan
    Springer, Cham, 2021年06月, 査読有り
    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)
    Zhenhua Duan; Shaoying Liu; Cong Tian; Fumiko Nagoya, 共編者(共編著者), Zhenhua Duan; Shaoying Liu; Cong Tian; Fumiko Nagoya
    Springer, 2019年02月, 査読無し
  • 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)
    Cong Tian; Fumiko Nagoya; Shaoying Liu; Zhenhua Duan, 共編者(共編著者), Cong Tian; Fumiko Nagoya; Shaoying Liu and Zhenhua Duan
    Springer, 2018年04月, 査読無し
    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)
    Shaoying Liu; Zhenhua Duan; Cong Tian; Fumiko Nagoya, 編者(編著者), Shaoying Liu; Zhenhua Duan; Cong Tian; Fumiko Nagoya
    Springer, 2017年04月, 査読無し
    9783319577074
  • 『これだけは知っておきたい電子申告の仕組みと対応』
    税務研究会出版, 2003年, 査読無し

講演・口頭発表等

  • ★Consistency Naming between Requirements Analysis and Specifications
    Fumiko Nagoya
    The 1st International Symposium on Fault Prevention, Verification, and Validation, 2024年12月, 招待有り
  • ★A Case Study on Combining Agile Requirements Development and SOFL
    Fumiko Nagoya
    The 10th International Workshop on SOFL + MSVL for Reliability and Security, 2021年03月, 通常論文
  • ★An Investigation of Integrating a GUI-Aided Approach and a Specification-based Testing
    Fumiko Nagoya
    The 7th International Workshop on SOFL + MSVL for Reliability and Security, 2017年11月, 通常論文
  • ★A Case Study of a GUI-Aided Approach to Constructing Formal Specifications
    Fumiko Nagoya
    The 6th International Workshop on SOFL + MSVL for Reliability and Security, 2016年11月, 通常論文
  • ★An Application of SOFL for Rapid Prototyping
    Fumiko Nagoya
    Second International Workshop, SOFL 2012, 2012年11月
  • イテレーションによる要求分析と仕様詳細化の実験
    名児耶富美子
    経営情報学会 2020年全国研究発表大会, 2020年11月, 経営情報学会, 通常論文
  • 青山学院ビジネスゲーム（ABG）の開発
    岩井千明; 森田充; 名児耶富美子; 粕谷秀幸; 西村一彦
    日本シミュレーション&ゲーミング学会 平成25年度 秋季全国大会, 2013年12月, NPO法人 日本シミュレーション&ゲーミング学会, 通常論文
  • タイ・マレーシアおよびシンガポールの証券取引所における上場企業の財務情報開示に関する比較
    名児耶富美子; 市野初芳
    経営情報学会 2013年春季全国研究発表大会, 2013年06月, 経営情報学会, 通常論文
  • データの段階的詳細化による形式仕様の作成事例
    名児耶富美子
    経営情報学会 2011年春季全国研究発表大会, 2011年05月, 経営情報学会, 通常論文

所属学協会

  • 2009年10月 - 現在
    経営情報学会
  • 2005年03月 - 現在
    IEEE, IEEE computer society