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. 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

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

★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

★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 Case Study of Requirement Analysis and Refinement of Specifications ,by Iterative Development
Fumiko Nagoya
The Japan Society for Management Information 2020, 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
名児耶富美子; 市野初芳
The Japan Society for Management Information 2013, 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
The Japan Society for Management Information 2011, 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