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

Technical Committee on Software Science (SS) [schedule] [select]
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.)

Technical Committee on Dependable Computing (DC) [schedule] [select]
Chair Satoshi Fukumoto (Tokyo Metropolitan Univ.)
Vice Chair Hiroshi Takahashi (Ehime Univ.)
Secretary Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba Univ.)

Conference Date Thu, Oct 24, 2019 13:00 - 17:30
Fri, Oct 25, 2019 10:00 - 11:40
Topics Software Systems, etc. 
Conference Place  
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
Registration Fee This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on DC, SS.

Thu, Oct 24 PM 
13:00 - 14:15
(1) 13:00-13:25 SS2019-13 DC2019-41
(2) 13:25-13:50 Design of reconstructing a CUI tool as a service for supporting development SS2019-14 DC2019-42 Ko Miyazaki, Haruaki Tamada (Kyoto Sangyo Univ.)
(3) 13:50-14:15 SS2019-15 DC2019-43
  14:15-14:30 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 SS2019-16 DC2019-44 Reo Yoshimura (Nagoya Univ.), Yoshiaki Takata (Kochi-tech.), Hiroyuki Seki (Nagoya Univ.)
(5) 14:55-15:20 Extending rewriting induction to existentially quantified equations SS2019-17 DC2019-45 Kazushi Nishie, Naoki Nishida, Masahiko sakai (Nagoya Univ.)
(6) 15:20-15:45 SS2019-18 DC2019-46 ()
  15:45-16:00 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 SS2019-19 DC2019-47 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 SS2019-20 DC2019-48 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. SS2019-21 DC2019-49 Kosuke Haraguchi, Tetsuya Kanda, Katsuro Inoue (Osaka Univ.)
(11) 10:25-10:50 SS2019-22 DC2019-50
(12) 10:50-11:15 SS2019-23 DC2019-51
(13) 11:15-11:40 Improvement of understandability metrics of UML Class Diagrams using word similarity SS2019-24 DC2019-52 Akihito Ihara, Shinji Uchida (NITNC)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-: ist-u 
Announcement Latest information will be presented on the homepage
DC Technical Committee on Dependable Computing (DC)   [Latest Schedule]
Contact Address Masayuki Arai (College of Industrial Technology, Nihon Univ.)
E-: ain-u 

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.

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

[Return to SS Schedule Page]   /   [Return to DC Schedule Page]   /  
 Go Top  Go Back   / [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