IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
š (ESS/̥/쥽/ISS)
Tech. Rep. Archives
š (ES)
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Software Science (SS) [schedule] [select]
Chair Shoji Yuen (Nagoya Univ.)
Vice Chair Kazuhiro Ogata (JAIST)
Secretary Takashi Kobayashi (Tokyo Inst. of Tech.), Hironobu Washizaki (Waseda Univ.)
Assistant Yoshiki Higo (Osaka Univ.)

Conference Date Thu, Oct 23, 2014 14:00 - 16:45
Fri, Oct 24, 2014 09:30 - 11:00
Topics  
Conference Place  

Thu, Oct 23 PM 
14:00 - 15:00
(1) 14:00-14:30 A Proposal of Blank Element Selection Algorithm for Java Programming Learning Ta Na, Nobuo Funabiki, Nobuya Ishihara (Okayama Univ)
(2) 14:30-15:00 Analysis of Accessibility Excessiveness in Java Programs Using Test Cases as Design Information Riku Ohnisi (Osaka Univ.), Kazuo Kobori (NTT DATA), Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
  15:00-15:15 Break ( 15 min. )
Thu, Oct 23 PM 
15:15 - 16:45
(3) 15:15-15:45 Predicting Number of Faults Based on Software Reliability Growth Model from Repository System Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.)
(4) 15:45-16:15 Code synthesis for LEGO Mindstorms EV3 using UPPAAL Mitsuru Arakawa, Shoji Yuen (Nagoya Univ.)
(5) 16:15-16:45 Query Evaluation and Update on XML Documents Compressed by Tree Grammars Takahiro Onoue (NAIST), Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ), Minoru Ito (NAIST)
Fri, Oct 24 AM 
09:30 - 11:00
(6) 09:30-10:00 A polynomial time algorithm for determining type behavior equivalence of XPath queries under the XML schema Tsukasa Futagami, Yasunori Ishihara, Toru Fujiwara (Osaka Univ)
(7) 10:00-10:30 Energy Consumption Analysis as a Duration-Bounded Cost Constraint Problem Shin Nakajima (NII)
(8) 10:30-11:00 Deriving supremal controllable sub-specifications in discrete event systems using MaxSAT solvers. Tatsuki Hirota, Shoji Yuen (Nagoya Univ), Tetsuya Tohdo (DENSO)

Announcement for Speakers
General TalkEach speech will have 25 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 Takashi Kobayashi (Tokyo Insitute of Technology)
TEL: 03-5734-3471
FAX: 03-5734-3471
E-: tba 
Announcement Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/


Last modified: 2014-10-20 22:24:58


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 Proceedings (Technical Report)] (in Japanese)
 
[Presentation and Participation FAQ] (in Japanese)
 
[Index of IEICE Technical Report]
 

[Return to SS Schedule Page]   /  
 
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Home Page]


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