Fuyuki ISHIKAWA

Change Impact Analysis for Refinement-Based Formal Specification
Shinnosuke SARUWATARI Fuyuki ISHIKAWA Tsutomu KOBAYASHI Shinichi HONIDEN 
Publication:   
Publication Date: 2019/08/01
Vol. E102-D  No. 8  pp. 1462-1477
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: 
Keyword: 
formal method, formal specification, impact analysis, refinement, event-B, modification support, 
 Summary | Full Text:PDF
Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages
Kazunori SAKAMOTO Fuyuki ISHIKAWA Hironori WASHIZAKI Yoshiaki FUKAZAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/12/01
Vol. E94-D  No. 12  pp. 2418-2430
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
software testing, test coverage, code coverage, metrics, framework, 
 Summary | Full Text:PDF
On Applicability of Formal Methods and Tools to Dependable Services
Fuyuki ISHIKAWA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2009/01/01
Vol. E92-B  No. 1  pp. 9-16
Type of Manuscript:  INVITED PAPER (Special Section on Networking Technologies for Dependable Networks)
Category: 
Keyword: 
dependability, software engineering, formal methods, 
 Summary | Full Text:PDF
Improving Accuracy of Recommender System by Item Clustering
KhanhQuan TRUONG Fuyuki ISHIKAWA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/09/01
Vol. E90-D  No. 9  pp. 1363-1373
Type of Manuscript:  Special Section PAPER (Special Section on Software Agent and Its Applications)
Category: 
Keyword: 
Recommender System, Collaborative Filtering, item clustering, 
 Summary | Full Text:PDF