Fumiko Nagoya

23 papers B 4C 2Journal 2Unranked 11
YearRankTypeTitle / Venue / Authors
2024 — conf
Consistency Naming Between Requirements Analysis and Specifications.
SFPVV
Fumiko Nagoya
2021 — ed.
Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
SOFL+MSVL
Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
2020 — conf
A Case Study on Combining Agile Requirements Development and SOFL.
SOFL+MSVL
Fumiko Nagoya
2019 — ed.
Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
SOFL+MSVL
Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
2018 — ed.
Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
SOFL+MSVL
Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
2017 — conf
A Comparative Study of a GUI-Aided Formal Specification Construction Approach.
ICCSA (1)
Fumiko Nagoya, Shaoying Liu
2017 — conf
An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing.
SOFL+MSVL
Fumiko Nagoya, Shaoying Liu
2017 J jnl
Development of a Web Dictionary System Using SOFL.
Wirel. Pers. Commun.
Fumiko Nagoya, Shaoying Liu
2017 — ed.
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
SOFL+MSVL
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
2016 — conf
A Case Study of a GUI-Aided Approach to Constructing Formal Specifications.
SOFL+MSVL
Fumiko Nagoya, Shaoying Liu
2015 — conf
Developing a Web Dictionary System Using the SOFL Three-Step Specification Approach.
ICITCS
Fumiko Nagoya, Shaoying Liu, Kyousuke Hamada
2015 — conf
Development of a web-based conference management system using SOFL.
RACS
Fumiko Nagoya, Shaoying Liu
2012 — conf
An Application of SOFL for Rapid Prototyping.
SOFL
Fumiko Nagoya, Tetsuo Kitagawa
2012 J jnl
Formal Specification-Based Inspection for Verification of Programs.
IEEE Trans. Software Eng.
Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid
2006 B conf
A Tool-Supported Review Approach to Detecting Structural Consistency Violations.
ICECCS
Yuting Chen, Shaoying Liu, Fumiko Nagoya
2006 — conf
An Empirical Study on a Specification-Based Program Review Approach.
DepCoS-RELCOMEX
Fumiko Nagoya, Yuting Chen, Shaoying Liu
2005 B conf
A Framework for SOFL-Based Program Review.
ICECCS
Yuting Chen, Shaoying Liu, Fumiko Nagoya
2005 — conf
A Review Approach to Detecting Structural Consistency Violations in Programs.
ACIS-ICIS
Yuting Chen, Shaoying Liu, Fumiko Nagoya
2005 — conf
A Tool and Case Study for Specification-Based Program Review.
COMPSAC (1)
Fumiko Nagoya, Shaoying Liu, Yuting Chen
2005 C conf
An Automated Approach to Specification-Based Program Inspection.
ICFEM
Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid
2005 B conf
Design of a Tool for Specification-Based Program Review.
ICECCS
Fumiko Nagoya, Shaoying Liu, Yuting Chen
2004 C conf
An Approach to Integration Testing Based on Data Flow Specifications.
ICTAC
Yuting Chen, Shaoying Liu, Fumiko Nagoya
2004 B conf
An Investigation of the Approach to Specification-Based Program Review through Case Studies.
ICECCS
Fumiko Nagoya, Shaoying Liu, Yuting Chen