Research keywords (2):
Software Engineering
, ソフトウェア工学
Papers (25):
Fumiko NAGOYA. Stakeholder Identification in Requirement Elicitation. The Keiei sogo kagaku:Journal of managerial research. 2022. 117. 245-258
Fumiko NAGOYA. A Comparative Study of Fundamental Concepts for Software Requirements Development. The Keiei sogo kagaku:Journal of managerial research. 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
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
Lectures and oral presentations (8):
A Case Study on Combining Agile Requirements Development and SOFL
(The 10th International Workshop on SOFL + MSVL for Reliability and Security 2021)
A Case Study of Requirement Analysis and Refinement of Specifications ,by Iterative Development
(The Japan Society for Management Information 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)
Development of Aoyama Gakuin Business Game (ABG)
(Japan Association of Simulation And Gaming 2013 2013)
2002 - 2007 Hosei University Graduate School of Computer and Information Sciences Major in Information Sciences
2001 - 2003 Nihon University Graduate School of Pre-doctoral business courses Major in Accounting
2000 - 2001 Hosei University Graduate School of Engineering Major in Engineering, IT professional course
Professional career (3):
Master of Engineering at IT Professional Course (Hosei University)
Master of Business Administration (Nihon University)
Doctor of Computer and Information Sciences (Hosei University)
Work history (4):
2023/04 - 現在 Nihon University College of Commerce Department of Business Administration Professor
2016/04 - 2023/03 Nihon University College of Commerce Department of Business Administration Associate professor
2012/04 - 2016/03 Aoyama Gakuin University Graduate School of International Management AssistantProfessor
2009/04 - 2012/03 Aoyama Gakuin University Graduate School of International Management Research Assistant
Awards (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
Association Membership(s) (2):
The Japan Society for Management Information
, IEEE, IEEE computer society