IEICE Trans

Shinji KUSUMOTO

A Study on the Current Status of Functional Idioms in Java Hiroto TANAKA Shinsuke MATSUMOTO Shinji KUSUMOTO
Publication: Publication Date: 2019/12/01 Vol. E102-D No. 12 pp. 2414-2422 Type of Manuscript: Special Section PAPER (Special Section on Empirical Software Engineering) Category: Keyword: functional idioms, java, lambda expression, stream, optional,
	Summary \| Full Text:PDF

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: QoS, probabilistic automaton, simulation, model checking,
	Summary \| Full Text:PDF

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 checking, timed automaton, model abstraction, CEGAR,
	Summary \| Full Text:PDF

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: CASE, productivity, quality, reuse,
	Summary \| Full Text:PDF

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 inspection, reading technique, controlled experiment, unified modelling language,
	Summary \| Full Text:PDF

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 metrics, cost effectiveness, software inspection,
	Summary \| Full Text:PDF

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: metrics, object-oriented software, complexity, C++,
	Summary \| Full Text:PDF

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 development, project management, software fault, Petri-net model, software test and debug,
	Summary \| Full Text:PDF

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: safety, correctness, object-oriented design, design review,
	Summary \| Full Text:PDF

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 testing, communication protocol, conformance testing, fault localization, test sequence,
	Summary \| Full Text:PDF

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 metric, cost effectiveness, software review, software testing, experimental evaluation,
	Summary \| Full Text:PDF

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