Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2012] | [2013] | [2014] | [2015] | [2016] | [2017] | [2018] | [Japanese] / [English]
KBSE2015-9
Toward Prioritizing Code Smell Detection Results for Prefactoring
Natthawute Sae-Lim, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech.)
pp. 33 - 38
KBSE2015-10
Test Scenario Generation for Web Scenario Testing Using Design Document
Xiaojing Zhang, Haruto Tanno (NTT)
pp. 39 - 44
KBSE2015-11
A Prototype Tool for Logging Operations on Distributed Version Repositories
Jumpei Matsuda, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech)
pp. 45 - 50
KBSE2015-12
A Representation and Visualization Method for Source Code Change Impact Analysis
Tateo Okubo (Iwate Pref Univ), Kazuya Fukuhara (i-MOS), Youta Haresawa, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ)
pp. 51 - 56
KBSE2015-13
Dependency Based Factoring
Takashi Nasu, Munehiro Takimoto (TUS)
pp. 57 - 62
KBSE2015-14
A prototype method to identify the applied protection method
-- with the artificiality of the products --
Hayato Sagisaka, Haruaki Tamada (KSU)
pp. 63 - 68
KBSE2015-15
Proposal of EMSsec-Common Problem for Security and Privacy
Takao Okubo (IISEC), Haruhiko Kaiya (Kanagawa Univ.), Hironori Washizaki (Waseda Univ.), Shinpei Ogata (Shinshu Univ.), Yoshio Kakizaki (Dendai Univ.), Atsuo Hazeyama (Tokyo Gakugei Univ.), Nobukazu Yoshioka (NII)
pp. 69 - 74
KBSE2015-16
A Basic Concept of Real-time Evacuation Planning by Agent-Based Simulation using IoT Sensor Data
Tadashi Iijima (Keio Univ.)
pp. 75 - 79
KBSE2015-17
Model Driven Development by Separating Concerns in Requrements Specification
Satoshi Kawai, Saeko Matsuura (SIT)
pp. 81 - 86
KBSE2015-18
A Method of Software Reliability Assessment Based on Fault Data Clustering in Cloud Computing Environment with Big Data
Yoshinobu Tamura (Yamaguchi Univ.), Yumi Nobukawa, Shigeru Yamada (Tottori Univ.)
pp. 119 - 124
KBSE2015-19
A Quantitative Investigation of Developers' Comment Description Tendencies in Open Source Development
Takashi Nakano, Takashi Sasaki, Minoru Kawahara, Hirohisa Aman (Ehime Univ.)
pp. 125 - 130
KBSE2015-20
Toward Increasing the Number of Graftable Bugs in Automated Program Repair
-- A Feasibility Study of Approach Using Huge Dataset --
Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 131 - 136
KBSE2015-21
Model Checking for UI Specification of RIA with Data Binding
Takuya Iwatsuka, Tsuyoshi Oshima, Toshifumi Enomoto (NTT)
pp. 137 - 142
KBSE2015-22
A Study on a Formal Verification Method Using Atelier-B
Ryota Yamamoto, Shuichiro Yamamoto (Nagoya Univ.)
pp. 143 - 148
KBSE2015-23
A Support Tool for Rule-based Scoring of Class Diagrams in UML Modeling Education
Kazune Miyajima, Shinpei Ogata, Mizue Kayama, Kozo Okano (Shinshu Univ.)
pp. 149 - 154
KBSE2015-24
Detecting Problems of an As-Is Model Using Metrics by an Integrated Goal-Oriented Method
Shoichiro Ito, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech)
pp. 155 - 160
KBSE2015-25
Two-Staged Modeling Method with Alloy and Event-B
Shin Nakajima (NII)
pp. 161 - 166
KBSE2015-26
An Equivalent Transformation of Constrained Term Rewriting Systems by Pattern Elimination
Takahiro Nagao, Naoki Nishida, Masahiko Sakai (Nagoya Univ.)
pp. 167 - 172
KBSE2015-27
Applying Model Checking on VDM Models using SPIN
Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki (Kyushu Univ.)
pp. 173 - 178
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.