Research keywords (2)：
Software Engineering
, ソフトウェア工学
Papers (26)：
Fumiko Nagoya. Consistency Naming Between Requirements Analysis and Specifications. Lecture Notes in Computer Science. 2025. 15393. 131-140
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
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 (10)：
A Beginner's Exploration of App Prototype Development Using Generative AI
(Japan Society for Management Information 2025 National Research Presentation Conference 2025)
Consistency Naming between Requirements Analysis and Specifications
(The 1st International Symposium on Fault Prevention, Verification, and Validation 2024)
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
(Japan Society for Management Information 2020 National Research Presentation Conference 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)
2005/04 - 2005/06 SOFL workshop in ICECCS 2005 Program Committee
Show all
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
