Online edition: ISSN 2432-6380
[TOP] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [Japanese] / [English]
KBSE2018-11
Proposal of a usage investigation tool of similar coding pattern
Koki Ogasawara, Tetsuya Kanda, Katsuro Inoue (Osaka Univ)
pp. 1 - 6
KBSE2018-12
(See Japanese page.)
pp. 7 - 12
KBSE2018-13
A Fault Diagnosis of A Distributed Cooperative System by Learning State Transitions
Yosuke Watanabe (Nagoya Univ.), Shuichi Sato (TCRDL), Hiroyuki Seki, Shoji Yuen (Nagoya Univ.)
pp. 13 - 18
KBSE2018-14
An analysis of the impact of temporal changes of developers' activities on the committer candidate prediction model
Daiki Yamasaki, Masao Ohira, Akinori Ihara, Yutaro Kashiwa, Tomoki Miyazaki (Wakayama Univ.)
pp. 19 - 24
KBSE2018-15
Reversible Communicating Systems with Time
Satoru Yamamoto, Shoji Yuen (Nagoya Univ.)
pp. 25 - 30
KBSE2018-16
Application of Model Checking to an STAMP/STPA Example
-- Fallen Barrier Trap at Railroad Crossing --
Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata (Shinshu Univ.)
pp. 31 - 36
KBSE2018-17
(See Japanese page.)
pp. 37 - 41
KBSE2018-18
A Study of Safety Updating Functionalities for Embedded Systems
Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ)
pp. 43 - 48
KBSE2018-19
Shu Nagai, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 49 - 54
KBSE2018-20
Fault-Tolerant Topology determination for IoT network
Mitsumasa Ota (Waseda Univ.), Ryuichi Takahashi (Ibaraki Univ.), Yoshiaki Fukazawa (Waseda Univ.)
pp. 55 - 60
KBSE2018-21
Case Study on a Verification of an IoT Architecture Model Based on Control Loop
Yoshitaka Aoki (NUL), Shinpei Ogata, Kazuki Kobayashi (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.)
pp. 61 - 66
KBSE2018-22
(See Japanese page.)
pp. 149 - 154
KBSE2018-23
(See Japanese page.)
pp. 155 - 160
KBSE2018-24
Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model
Nagisa Kojima, Kazuyuki Shima, Akio Nakata (Hiroshima City Univ.)
pp. 161 - 166
KBSE2018-25
Development and Operation of Services for Open Smart Mobility Markets
-- Architecture Strategy and Service Supply Chain Management --
Tsuneo Nakanishi (Fukuoka Univ.), Kenji Hisazumi, Takao Ando, Tsunenori Mine, Akira Fukuda (Kyushu Univ.)
pp. 183 - 188
KBSE2018-26
An Automated Evaluation Method for Conceptual Data Models Focusing on Appropriateness of Attributes
Takafumi Tanaka (TUAT), Hiroaki Hashiura (NIT), Atsuo Hazeyama (TGU), Kousuke Mouri, Keiichi Kaneko (TUAT)
pp. 189 - 194
KBSE2018-27
A study of productivity for agile software development
Kumi Jinzenji, Daisuke Hamuro (NTT)
pp. 195 - 200
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.