| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Knowledge-Based Software Engineering (KBSE) Chair: Fumihiro Kumeno (Nippon Inst. of Tech.) Vice Chair: Hiroyuki Nakagawa (Osaka Univ.) Secretary: Takuya Saruwatari (NTT), Kosaku Kimura (Fujitsu labs.) Assistant: Ryuichi Takahashi (Ibaraki Univ.), Yoshinori Tanabe (Tsurumi Univ.) =============================================== Technical Committee on Software Science (SS) Chair: Akio Nakata (Hiroshima City Univ.) Vice Chair: Takashi Kobayashi (Tokyo Inst. of Tech.) Secretary: Yoshiki Higo (Osaka Univ.), Kazuyuki Shima (Hiroshima City Univ.) Assistant: Shinpei Hayashi (Tokyo Inst. of Tech.) =============================================== Special Interest Group on Software Engineering (IPSJ-SE) Chair: Katsuhisa Maruyama (Ritsumeikan Univ.) Secretary: Takashi Ishio (NAIST), Mari Inoki (Kogakuin Univ.), Haruto Tanno (NTT), Norihiro Yoshida (Nagoya Univ.), Kentaro Yoshimura (Hitachi), Hironori Washizaki (Waseda Univ.) DATE: Wed, Jul 18, 2018 09:30 - 17:40 Thu, Jul 19, 2018 09:30 - 17:20 Fri, Jul 20, 2018 09:30 - 12:05 PLACE: (Dr. Kosaku Kimura) TOPICS: ---------------------------------------- Wed, Jul 18 AM (09:30 - 10:55) ---------------------------------------- (1)/SS 09:40 - 10:05 Proposal of a usage investigation tool of similar coding pattern Koki Ogasawara, Tetsuya Kanda, Katsuro Inoue (Osaka Univ) (2)/SS 10:05 - 10:30 (See Japanese page.) (3)/SS 10:30 - 10:55 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.) ----- Break ( 10 min. ) ----- ---------------------------------------- Wed, Jul 18 AM (11:05 - 12:20) ---------------------------------------- (4)/SS 11:05 - 11:30 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.) (5)/SS 11:30 - 11:55 Reversible Communicating Systems with Time Satoru Yamamoto, Shoji Yuen (Nagoya Univ.) (6)/SS 11:55 - 12:20 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.) ----- Break ( 100 min. ) ----- ---------------------------------------- Wed, Jul 18 PM (14:00 - 15:15) ---------------------------------------- (7)/KBSE 14:00 - 14:25 (See Japanese page.) (8)/KBSE 14:25 - 14:50 A Study of Safety Updating Functionalities for Embedded Systems Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ) (9)/KBSE 14:50 - 15:15 Shu Nagai, Tatsuhiro Tsuchiya (Osaka Univ.) ----- Break ( 10 min. ) ----- ---------------------------------------- Wed, Jul 18 PM (15:25 - 16:15) ---------------------------------------- (10)/KBSE 15:25 - 15:50 Fault-Tolerant Topology determination for IoT network Mitsumasa Ota (Waseda Univ.), Ryuichi Takahashi (Ibaraki Univ.), Yoshiaki Fukazawa (Waseda Univ.) (11)/KBSE 15:50 - 16:15 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.) ----- Break ( 10 min. ) ----- ---------------------------------------- Wed, Jul 18 PM (16:25 - 17:40) ---------------------------------------- (12) 16:25 - 16:50 (13) 16:50 - 17:15 (14) 17:15 - 17:40 ---------------------------------------- Thu, Jul 19 AM (09:30 - 10:45) ---------------------------------------- (15) 09:30 - 09:55 (16) 09:55 - 10:20 (17) 10:20 - 10:45 ----- Break ( 10 min. ) ----- ---------------------------------------- Thu, Jul 19 AM (10:55 - 12:10) ---------------------------------------- (18) 10:55 - 11:20 (19) 11:20 - 11:45 (20) 11:45 - 12:10 ----- Break ( 150 min. ) ----- ---------------------------------------- Thu, Jul 19 PM (14:40 - 15:55) ---------------------------------------- (21) 14:40 - 15:05 (22) 15:05 - 15:30 (23) 15:30 - 15:55 ----- Break ( 10 min. ) ----- ---------------------------------------- Thu, Jul 19 PM (16:05 - 17:20) ---------------------------------------- (24)/SS 16:05 - 16:30 (See Japanese page.) (25)/SS 16:30 - 16:55 (See Japanese page.) (26)/SS 16:55 - 17:20 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.) ---------------------------------------- Fri, Jul 20 AM (09:30 - 10:20) ---------------------------------------- (27) 09:30 - 09:55 (28) 09:55 - 10:20 ----- Break ( 10 min. ) ----- ---------------------------------------- Fri, Jul 20 AM (10:30 - 12:05) ---------------------------------------- (29)/KBSE 10:30 - 10:55 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.) (30)/KBSE 10:55 - 11:20 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) (31)/KBSE 11:20 - 11:45 A study of productivity for agile software development Kumi Jinzenji, Daisuke Hamuro (NTT) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. === Technical Committee on Knowledge-Based Software Engineering (KBSE) === # SECRETARY: Kosaku Kimura (Fujitsu Labs.) E-mail:              # ANNOUNCEMENT: # Latest information will be presented on the homepage: http://www.ieice.org/iss/kbse/ === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Oct 4, 2018 - Fri, Oct 5, 2018: Inuyama City Kokusai-Kanko Center Freud [Fri, Aug 17], Topics: Software System etc # SECRETARY: Kazuyuki Shima (Hiroshima City Univ.) E-mail:     -cu # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sa.cs.titech.ac.jp/sigss/ === Special Interest Group on Software Engineering (IPSJ-SE) === # SECRETARY: Haruto Tanno (NTT) E-mail:  n       # ANNOUNCEMENT: # Latest information will be presented on the homepage: http://www.ipsj.or.jp/sig/se/ Last modified: 2018-07-17 16:38:56 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] / [Return to KBSE Schedule Page] / [Return to IPSJ-SE Schedule Page] /
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]