Fumiko Nagoya

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 5

Top Topics

Specification Languages

Concurrent Systems

Formal Specification

Rapid Prototyping

Top Venues

Publications

Fumiko Nagoya
A Case Study on Combining Agile Requirements Development and SOFL. SOFL+MSVL (2020)
Fumiko Nagoya, Shaoying Liu
An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing. SOFL+MSVL (2017)
Fumiko Nagoya, Shaoying Liu
Development of a Web Dictionary System Using SOFL. Wirel. Pers. Commun. 94 (2) (2017)
Fumiko Nagoya, Shaoying Liu
A Comparative Study of a GUI-Aided Formal Specification Construction Approach. ICCSA (1) (2017)
Fumiko Nagoya, Shaoying Liu
A Case Study of a GUI-Aided Approach to Constructing Formal Specifications. SOFL+MSVL (2016)
Fumiko Nagoya, Shaoying Liu, Kyousuke Hamada
Developing a Web Dictionary System Using the SOFL Three-Step Specification Approach. ICITCS (2015)
Fumiko Nagoya, Shaoying Liu
Development of a web-based conference management system using SOFL. RACS (2015)
Shaoying Liu, Yuting Chen, Fumiko Nagoya, John Alexander McDermid
Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. 38 (5) (2012)
Fumiko Nagoya, Tetsuo Kitagawa
An Application of SOFL for Rapid Prototyping. SOFL (2012)
Fumiko Nagoya, Yuting Chen, Shaoying Liu
An Empirical Study on a Specification-Based Program Review Approach. DepCoS-RELCOMEX (2006)
Yuting Chen, Shaoying Liu, Fumiko Nagoya
A Tool-Supported Review Approach to Detecting Structural Consistency Violations. ICECCS (2006)
Fumiko Nagoya, Shaoying Liu, Yuting Chen
A Tool and Case Study for Specification-Based Program Review. COMPSAC (1) (2005)
Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John Alexander McDermid
An Automated Approach to Specification-Based Program Inspection. ICFEM (2005)
Yuting Chen, Shaoying Liu, Fumiko Nagoya
A Framework for SOFL-Based Program Review. ICECCS (2005)
Fumiko Nagoya, Shaoying Liu, Yuting Chen
Design of a Tool for Specification-Based Program Review. ICECCS (2005)
Yuting Chen, Shaoying Liu, Fumiko Nagoya
A Review Approach to Detecting Structural Consistency Violations in Programs. ACIS-ICIS (2005)
Yuting Chen, Shaoying Liu, Fumiko Nagoya
An Approach to Integration Testing Based on Data Flow Specifications. ICTAC (2004)
Fumiko Nagoya, Shaoying Liu, Yuting Chen
An Investigation of the Approach to Specification-Based Program Review through Case Studies. ICECCS (2004)