| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Takashi Kobayashi (Tokyo Inst. of Tech.) Vice Chair: Kozo Okano (Shinshu Univ.) Secretary: Kazuyuki Shima (Hiroshima City Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.) Assistant: Shinpei Ogata (Shinshu Univ.) =============================================== Technical Committee on Dependable Computing (DC) Chair: Hiroshi Takahashi (Ehime Univ.) Vice Chair: Tatsuhiro Tsuchiya (Osaka Univ.) Secretary: Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba Univ.) DATE: Mon, Oct 19, 2020 13:00 - 17:15 PLACE: Online TOPICS: ---------------------------------------- Mon, Oct 19 PM (13:00 - 14:30) ---------------------------------------- (1) 13:00 - 13:25 verification of shell script behavior by comparing logs. Hitoshi Kiryu (Shinshu Univ.), Satoshi Suda (Advanced Technology R&D Center, MITSUBISHI Electric), Shinpei Ogata, Kozo Okano (Shinshu Univ.) (2) 13:25 - 13:50 LTL Model Checking for Register Pushdown Systems Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) (3) 13:50 - 14:15 (See Japanese page.) ----- Break ( 15 min. ) ----- ---------------------------------------- Mon, Oct 19 PM (14:30 - 16:00) ---------------------------------------- (4) 14:30 - 14:55 (See Japanese page.) (5) 14:55 - 15:20 An Empirical Study on Self-Admitted Technical Debt in Container-Based Virtualization Hideaki Azuma, Shinsuke Matsumoto (Osaka Univ.), Yasutaka Kamei (Kyushu Univ.), Shinji Kusumoto (Osaka Univ.) (6) 15:20 - 15:45 (See Japanese page.) ----- Break ( 15 min. ) ----- ---------------------------------------- Mon, Oct 19 PM (16:00 - 17:15) ---------------------------------------- (7) 16:00 - 16:25 (See Japanese page.) (8) 16:25 - 16:50 A Prototype Tool to Predict Comment Line Positions for Code Review Toshihiro Kamiya (Shimane Univ.) (9) 16:50 - 17:15 (See Japanese page.) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Tue, Jan 26, 2021 - Wed, Jan 27, 2021: Online [Mon, Nov 16] # SECRETARY: Shinpei Hayashi (Tokyo Institute of Technology) TEL: +81-3-5734-3213 E-mail:     c    # ANNOUNCEMENT: # Latest information will be presented on the homepage: https://www.ieice.org/iss/ss/ === Technical Committee on Dependable Computing (DC) === # FUTURE SCHEDULE: Tue, Nov 17, 2020 - Wed, Nov 18, 2020: Online [Mon, Sep 7], Topics: Design Gaia 2020 -New Field of VLSI Design- Fri, Dec 11, 2020: # SECRETARY: Masayuki Arai (College of Industrial Technology, Nihon Univ.) E-mail: a  i      n-uLast modified: 2020-11-09 13:11:14 |
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 DC Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]