Master of Engineering at IT Professional Course, Hosei University, Mar. 2001

Master of Business Administration, Nihon University, Mar. 2003

Doctor of Computer and Information Sciences, Hosei University, Mar. 2007

Software Engineering

ソフトウェア工学

Informatics, Software, Formal Methods, Software Engineering

Informatics, Software, Software Engineering

Apr. 2023 - Present
Nihon University, College of Commerce Department of Business Administration, Professor

Apr. 2024 - Mar. 2025
Institute for Integrated and Intelligent Systems, Griffith University, Visiting Research Fellow

Apr. 2016 - Mar. 2023
Nihon University, College of Commerce Department of Business Administration, Associate professor

Apr. 2012 - Mar. 2016
Aoyama Gakuin University, Graduate School of International Management, AssistantProfessor

Apr. 2009 - Mar. 2012
Aoyama Gakuin University, Graduate School of International Management, Research Assistant

Apr. 2002 - Mar. 2007
Hosei University, Graduate School of Computer and Information Sciences, Major in Information Sciences

Apr. 2001 - Mar. 2003
Nihon University, Graduate School of Pre-doctoral business courses, Major in Accounting

Apr. 2000 - Mar. 2001
Hosei University, Graduate School of Engineering, Major in Engineering, IT professional course

Aug. 2025 - May 2026
Program Committee, FM 2026 Tutorial Track

Jun. 2025 - Nov. 2025
Program Committee, SFPVV 2025

Mar. 2025 - Jul. 2025
Program Committee, QRS 2025

Jun. 2024 - Dec. 2024
Program Committee, SFPVV 2024

Nov. 2023 - Dec. 2024
Financial Chair, ICFEM 2024

Oct. 2022 - Jun. 2023
Program Committee, ICECCS 2023

Jun. 2021 - Mar. 2022
Publicity Chair, ICECCS 2022

Oct. 2021 - Nov. 2021
reviewer, IEICE Transactions on Information and Systems

Jun. 2020 - Jun. 2021
Program Chair, SOFL+MSVL 2020

Jun. 2019 - Nov. 2019
Program Committee, SOFL+MSVL 2019

May 2018 - Mar. 2019
Program Chair, SOFL+MSVL 2018

Apr. 2017 - Apr. 2018
Program Chair, SOFL+MSVL 2017

Mar. 2016 - Apr. 2017
Program Chair, SOFL+MSVL 2016

Feb. 2017 - Mar. 2017
Reviewer, IEEE Transactions on Reliability

May 2015 - Nov. 2016
Local Arrangement Chair, ICFEM 2016

May 2015 - Nov. 2015
Program Committee, SOFL+MSVL 2015

Apr. 2014 - Nov. 2014
Program Committee, SOFL+MSVL2014

Jun. 2013 - Nov. 2013
Program Committee, SOFL+MSVL2013

Aug. 2012 - Nov. 2012
Program Committee, SOFL 2012

Jun. 2008 - Oct. 2008
Tutorial & Workshop Chair, ICFEM 2008

Apr. 2005 - Jun. 2005
Program Committee, SOFL workshop in ICECCS 2005

the Steering Committee Chairs of International Conference on Formal Engineering Methods (ICFEM), Certificate of Leadership Award presented by the ICFEM Steering Committee Chair
International society
Fumiko Nagoya

the Organizing Committee of the International Conference on Dependability of Computer System DepCoS – RELCOMEX2006, Conference Scholarship based on Competition of Submitted Papers
International society
Fumiko Nagoya
Conference Scholarship Award

★Consistency Naming Between Requirements Analysis and Specifications
Fumiko Nagoya
Lecture Notes in Computer Science, Feb. 2025, Refereed, Not invited
Lead

★Stakeholder Identification in Requirement Elicitation
Fumiko NAGOYA
The Keiei sogo kagaku：Journal of managerial research, Oct. 2022, Not refereed, Not invited
Lead

★A Comparative Study of Fundamental Concepts for Software Requirements Development
Fumiko NAGOYA
The Keiei sogo kagaku：Journal of managerial research, Feb. 2022, Not refereed, Not invited
Lead

★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, Jun. 2021, Refereed, Not invited
Lead

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, Refereed, Not invited

Development of a Web Dictionary System Using SOFL
Fumiko Nagoya; Shaoying Liu
WIRELESS PERSONAL COMMUNICATIONS, May 2017, Refereed, Not invited

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, Refereed, Not invited

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, Refereed, Not invited

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, Oct. 2015, Refereed, Not invited

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, Aug. 2015, Refereed, Not invited
Lead

A Comparative Study of Corporate Financial Disclosure System in Capital Markets of Thailand, Malaysia and Singapore
Hatsuyoshi Ichino; Tsuneo Mochizuki; Fumiko Nagoya
The Keiei sogo kagaku：Journal of managerial research, Oct. 2014, Not refereed, Not invited

Profitability and Long-term Earnings Growth: Comparison between Japan and the US
Ryoichi Arai and Fumiko Nagoya
Security analysts journal, Dec. 2013, Not refereed, Not invited

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, Refereed, Not invited

Formal Specification-Based Inspection for Verification of Programs
Shaoying Liu; Yuting Chen; Fumiko Nagoya; John A. McDermid
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Sep. 2012, Refereed, Not invited

A Specification-Based Program Review Approach with Tool Support and Evaluation through Empirical Studies
Fumiko Nagoya
doctoral thesis, Mar. 2007, Refereed, Not invited
Lead

A Specification-Based Program Review Approach with Tool Support and Evaluation through Empirical Studies
Fumiko Nagoya
Bulletin of Graduate Studies Computer and Information Sciences, Mar. 2007, Not refereed, Not invited
Lead

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), Aug. 2006, Refereed, Not invited

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), May 2006, Refereed, Not invited
Lead

An Automated Approach to Specification-Based Program Inspection
Shaoying Liu; Fumiko Nagoya; Yuting Chen; Masashi Goya; John A. McDermid
Lecture Notes in Computer Science, Nov. 2005, Refereed, Not invited

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), Nov. 2005, Refereed, Not invited
Lead

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, Refereed, Not invited

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, Refereed, Not invited

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, Refereed, Not invited

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, Refereed, Not invited

An Approach to Integration Testing Based on Data Flow Specifications
Yuting Chen; Shaoying Liu; Fumiko Nagoya
Lecture Notes in Computer Science, Sep. 2004, Refereed, Not invited

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, Refereed, Not invited

★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)
Joint editor, Jinyun Xue; Fumiko Nagoya; Shaoying Liu; Zhenhua Duan
Springer, Cham, Jun. 2021, Refereed
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, Joint editor, Zhenhua Duan; Shaoying Liu; Cong Tian; Fumiko Nagoya
Springer, Feb. 2019, Not refereed

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, Joint editor, Cong Tian; Fumiko Nagoya; Shaoying Liu and Zhenhua Duan
Springer, Apr. 2018, Not refereed
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, Editor, Shaoying Liu; Zhenhua Duan; Cong Tian; Fumiko Nagoya
Springer, Apr. 2017, Not refereed
9783319577074

『これだけは知っておきたい電子申告の仕組みと対応』
税務研究会出版, 2003, Not refereed

★Consistency Naming between Requirements Analysis and Specifications
Fumiko Nagoya
The 1st International Symposium on Fault Prevention, Verification, and Validation, Dec. 2024, Invited

★A Case Study on Combining Agile Requirements Development and SOFL
Fumiko Nagoya
The 10th International Workshop on SOFL + MSVL for Reliability and Security, Mar. 2021, Not invited

★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, Nov. 2017, Not invited

★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, Nov. 2016, Not invited

★An Application of SOFL for Rapid Prototyping
Fumiko Nagoya
Second International Workshop, SOFL 2012, Nov. 2012

A Beginner's Exploration of App Prototype Development Using Generative AI
Fumiko NAGOYA; Hiroyuki OGURA
Japan Society for Management Information 2025 National Research Presentation Conference, Oct. 2025

A Case Study of Requirement Analysis and Refinement of Specifications ,by Iterative Development
Fumiko Nagoya
Japan Society for Management Information 2020 National Research Presentation Conference, Nov. 2020, The Japan Society for Management Information, Not invited

Development of Aoyama Gakuin Business Game (ABG)
Chiaki Iwai; Mitsuru Morita; Fumiko Nagoya; Hideyuki Kasuya; Kazuhiko Nishimura
Japan Association of Simulation And Gaming 2013, Dec. 2013, Japan Association of Simulation And Gaming, Not invited

A Comparison of Listed Companies’Financial Disclosuresby Stock Exchanges of Thailand, Malaysia and Singapore
名児耶富美子; 市野初芳
Japan Society for Management Information 2013 National Research Presentation Conference, Jun. 2013, The Japan Society for Management Information, Not invited

A case study of constructing formal specifications using a stepwise data refinement approach
Fumiko Nagoya
Japan Society for Management Information 2011 National Research Presentation Conference, May 2011, The Japan Society for Management Information, Not invited

Oct. 2009 - Present
The Japan Society for Management Information

Mar. 2005 - Present
IEEE, IEEE computer society