ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Software Science (SS)
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.)

DATE:
Thu, Oct 23, 2014 14:00 - 16:45
Fri, Oct 24, 2014 09:30 - 11:00

PLACE:

TOPICS:

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

----- 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)

# Information for speakers
General Talk will have 25 minutes for presentation and 5 minutes for discussion.

=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:

Mon, Jan 26, 2015 - Tue, Jan 27, 2015: [Wed, Nov 12]

# SECRETARY:
Takashi Kobayashi (Tokyo Insitute of Technology)
TEL: 03-5734-3471
FAX: 03-5734-3471
E-mail: t