Shinji KUSUMOTO


QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
Takeshi NAGAOKA Akihiko ITO Kozo OKANO Shinji KUSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5  pp. 958-966
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Model Checking
Keyword: 
QoSprobabilistic automatonsimulationmodel checking
 Summary | Full Text:PDF(2.2MB)

An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
Takeshi NAGAOKA Kozo OKANO Shinji KUSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5  pp. 994-1005
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Model Checking
Keyword: 
model checkingtimed automatonmodel abstractionCEGAR
 Summary | Full Text:PDF(1.5MB)

Effectiveness of an Integrated CASE Tool for Productivity and Quality of Software Developments
Michio TSUDA Sadahiro ISHIKAWA Osamu OHNO Akira HARADA Mayumi TAKAHASHI Shinji KUSUMOTO Katsuro INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4  pp. 1470-1479
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
CASEproductivityqualityreuse
 Summary | Full Text:PDF(1MB)

Comparing Reading Techniques for Object-Oriented Design Inspection
Giedre SABALIAUSKAITE Shinji KUSUMOTO Katsuro INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/04/01
Vol. E87-D  No. 4  pp. 976-984
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
software inspectionreading techniquecontrolled experimentunified modelling language
 Summary | Full Text:PDF(1.2MB)

Extended Metrics to Evaluate Cost Effectiveness of Software Inspections
Giedre SABALIAUSKAITE Shinji KUSUMOTO Katsuro INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/02/01
Vol. E87-D  No. 2  pp. 475-480
Type of Manuscript:  LETTER
Category: Software Engineering
Keyword: 
software metricscost effectivenesssoftware inspection
 Summary | Full Text:PDF(242.3KB)

Empirical Evaluation of Method Complexity for C++ Program
Motoyasu TAKEHARA Toshihiro KAMIYA Shinji KUSUMOTO Katsuro INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/08/25
Vol. E83-D  No. 8  pp. 1698-1700
Type of Manuscript:  LETTER
Category: Software Engineering
Keyword: 
metricsobject-oriented softwarecomplexityC++
 Summary | Full Text:PDF(90.2KB)

Experimental Evaluation of Two-Phase Project Control for Software Development Process
Osamu MIZUNO Shinji KUSUMOTO Tohru KIKUNO Yasunari TAKAGI Keishi SAKAMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 605-614
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
software developmentproject managementsoftware faultPetri-net modelsoftware test and debug
 Summary | Full Text:PDF(910.6KB)

A New Verification Framework of Object-Oriented Design Specification for Small Scale Software
Eun Mi KIM Shinji KUSUMOTO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/01/25
Vol. E80-D  No. 1  pp. 51-56
Type of Manuscript:  Special Section PAPER (Special Issue on Fault-Tolerant Computing)
Category: Verification
Keyword: 
safetycorrectnessobject-oriented designdesign review
 Summary | Full Text:PDF(525.7KB)

A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
Yoshiaki KAKUDA Hideki YUKITOMO Shinji KUSUMOTO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/07/25
Vol. E78-D  No. 7  pp. 802-810
Type of Manuscript:  Special Section PAPER (Special Issue on Verification, Test and Diagnosis of VLSI Systems)
Category: 
Keyword: 
software testingcommunication protocolconformance testingfault localizationtest sequence
 Summary | Full Text:PDF(729KB)

A New Metric for Cost Effectiveness of Software Reviews
Shinji KUSUMOTO Ken-ichi MATSUMOTO Tohru KIKUNO Koji TORII 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/09/25
Vol. E75-D  No. 5  pp. 674-680
Type of Manuscript:  Special Section PAPER (Special Issue on Software)
Category: 
Keyword: 
software metriccost effectivenesssoftware reviewsoftware testingexperimental evaluation
 Summary | Full Text:PDF(600.6KB)

On a Measurement Environment for Controlling Software Development Activities
Shinji KUSUMOTO Ken-ichi MATSUMOTO Tohru KIKUNO Koji TORII 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/05/25
Vol. E74-A  No. 5  pp. 1051-1054
Type of Manuscript:  Special Section LETTER (Special Issue on 1991 Spring Natl. Conv. IEICE)
Category: Reliability
Keyword: 
 Summary | Full Text:PDF(306.7KB)