Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [Japanese] / [English]
KBSE2017-32
Applicability of a Framework for Updating Functions Based on the MAPE Loop Mechanism
Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ)
pp. 1 - 6
KBSE2017-33
A Code Completion Method Using Automated Theorem Proving
Ryohei Koike (Waseda Univ.), Kouichi Ono (IBM Japan), Yoshiaki Fukazawa (Waseda Univ.)
pp. 7 - 11
KBSE2017-34
An Implementation of the Evacuation Support System Based on ACO
Kota Konishi, Rikiya Sato, Kohei Azechi, Yasushi Kanbayashi (NIT)
pp. 13 - 18
KBSE2017-35
Proposal on Model Based Dependability using ArchiMate
Shuichiro Yamamoto (Nagoya Univ.)
pp. 19 - 24
KBSE2017-36
Risk Visualization on Scrum Developement status and process
Teruko Miyata, Ko-ichi Tanaka, Daisuke Hamuro, Takashi Hoshino (NTT)
pp. 25 - 30
KBSE2017-37
Estimation of business rules using Hierarchical cluster analysis
Takuya Saruwatari, Akio Jin, Masayuki Inoue, Teruko Miyata, Daisuke Hamuro (NTT), Noriaki Izumi (AIST)
pp. 31 - 36
KBSE2017-38
Kyoko Ohashi, Kosaku Kimura, Asako Katayama, Rieko Yamamoto (Fujitsu Labs)
pp. 37 - 42
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.