===============================================
Technical Committee on Dependable Computing (DC)
Chair: Satoshi Fukumoto (Tokyo Metropolitan Univ.) Vice Chair: Hiroshi Takahashi (Ehime Univ.)
Secretary: Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba 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.)
DATE:
Thu, Oct 24, 2019 13:00 - 17:30
Fri, Oct 25, 2019 10:00 - 11:40
PLACE:
TOPICS:
Software Systems, etc.
----------------------------------------
Thu, Oct 24 PM (13:00 - 14:15)
----------------------------------------
(1) 13:00 - 13:25
(See Japanese page.)
(2) 13:25 - 13:50
Design of reconstructing a CUI tool as a service for supporting development
Ko Miyazaki, Haruaki Tamada (Kyoto Sangyo Univ.)
(3) 13:50 - 14:15
(See Japanese page.)
----- Break ( 15 min. ) -----
----------------------------------------
Thu, Oct 24 PM (14:30 - 15:45)
----------------------------------------
(4) 14:30 - 14:55
Computing Optimal Weight in Weighted Register Automata and Related Decision Problems
Reo Yoshimura (Nagoya Univ.), Yoshiaki Takata (Kochi-tech.), Hiroyuki Seki (Nagoya Univ.)
(5) 14:55 - 15:20
Extending rewriting induction to existentially quantified equations
Kazushi Nishie, Naoki Nishida, Masahiko sakai (Nagoya Univ.)
(6) 15:20 - 15:45
()
----- Break ( 15 min. ) -----
----------------------------------------
Thu, Oct 24 PM (16:00 - 17:30)
----------------------------------------
(7) 16:00 - 16:25
A Non-scan Online Test Based on Covering n-Time State Transition
Yuki Ikegaya, Yuta Ishiyama, Toshinori Hosokawa (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.)
(8) 16:25 - 16:50
Error correction method using convolutional code in PPM compression
Takumi Abe, Masato Kitakami (Chiba Univ.)
(9) 16:50 - 17:30
----------------------------------------
Fri, Oct 25 AM (10:00 - 11:40)
----------------------------------------
(10) 10:00 - 10:25
Finding groups of similar answers in programming contests with source code metrics.
Kosuke Haraguchi, Tetsuya Kanda, Katsuro Inoue (Osaka Univ.)
(11) 10:25 - 10:50
(See Japanese page.)
(12) 10:50 - 11:15
(See Japanese page.)
(13) 11:15 - 11:40
Improvement of understandability metrics of UML Class Diagrams using word similarity
Akihito Ihara, Shinji Uchida (NITNC)
# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.
=== Technical Committee on Dependable Computing (DC) ===
# FUTURE SCHEDULE:
Wed, Nov 13, 2019 - Fri, Nov 15, 2019: Ehime Prefecture Gender Equality Center [Wed, Sep 4], Topics: Design Gaia 2019 -New Field of VLSI Design-
Fri, Dec 20, 2019: [Fri, Oct 11]
# SECRETARY:
Masayuki Arai (College of Industrial Technology, Nihon Univ.)
E-mail: ain-u
=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:
Tue, Jan 14, 2020 - Wed, Jan 15, 2020: [Thu, Nov 14]
# SECRETARY:
Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-mail: ist-u
# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/
Last modified: 2019-10-03 06:13:52
|
Notification: Mail addresses are partially hidden against SPAM.
|