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