Fumiko Nagoya

According to our database, Fumiko Nagoya authored at least 18 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Case Study on Combining Agile Requirements Development and SOFL.

Fumiko Nagoya

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

2017

Development of a Web Dictionary System Using SOFL.

Fumiko Nagoya, Shaoying Liu

Wirel. Pers. Commun., 2017

An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing.

Fumiko Nagoya, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

A Comparative Study of a GUI-Aided Formal Specification Construction Approach.

Fumiko Nagoya, Shaoying Liu

Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

2016

A Case Study of a GUI-Aided Approach to Constructing Formal Specifications.

Fumiko Nagoya, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

2015

Development of a web-based conference management system using SOFL.

Fumiko Nagoya, Shaoying Liu

Proceedings of the 2015 Conference on research in adaptive and convergent systems, 2015

Developing a Web Dictionary System Using the SOFL Three-Step Specification Approach.

Fumiko Nagoya, Shaoying Liu, Kyousuke Hamada

Proceedings of the 5th International Conference on IT Convergence and Security, 2015

2012

Formal Specification-Based Inspection for Verification of Programs.

Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid

IEEE Trans. Software Eng., 2012

An Application of SOFL for Rapid Prototyping.

Fumiko Nagoya, Tetsuo Kitagawa

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

2006

A Tool-Supported Review Approach to Detecting Structural Consistency Violations.

Yuting Chen, Shaoying Liu, Fumiko Nagoya

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

An Empirical Study on a Specification-Based Program Review Approach.

Fumiko Nagoya, Yuting Chen, Shaoying Liu

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005

An Automated Approach to Specification-Based Program Inspection.

Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid

Proceedings of the Formal Methods and Software Engineering, 2005

Design of a Tool for Specification-Based Program Review.

Fumiko Nagoya, Shaoying Liu, Yuting Chen

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Framework for SOFL-Based Program Review.

Yuting Chen, Shaoying Liu, Fumiko Nagoya

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Tool and Case Study for Specification-Based Program Review.

Fumiko Nagoya, Shaoying Liu, Yuting Chen

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

A Review Approach to Detecting Structural Consistency Violations in Programs.

Yuting Chen, Shaoying Liu, Fumiko Nagoya

Proceedings of the 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 2005

2004

An Approach to Integration Testing Based on Data Flow Specifications.

Yuting Chen, Shaoying Liu, Fumiko Nagoya

Proceedings of the Theoretical Aspects of Computing, 2004

An Investigation of the Approach to Specification-Based Program Review through Case Studies.

Fumiko Nagoya, Shaoying Liu, Yuting Chen

Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004