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
講演・口頭発表等 (8件):
A Case Study on Combining Agile Requirements Development and SOFL
(The 10th International Workshop on SOFL + MSVL for Reliability and Security 2021)
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)
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