IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev DC Conf / Next DC Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

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

[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 DC Conf / Next DC Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan