NAGOYA Fumiko
| Department of Business Administration | Professor |
Researcher Information
Degree
Field Of Study
Career
- 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
Educational Background
- 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
Research activity information
Award
- 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
Paper
- ★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
Books and other publications
- ★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
Lectures, oral presentations, etc.
- ★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 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
