===============================================
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.
|