|
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 |
|
Copyright and reproduction |
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) |
Thu, Oct 23 PM 14:00 - 15:00 |
(1) |
14:00-14:30 |
A Proposal of Blank Element Selection Algorithm for Java Programming Learning SS2014-25 |
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 SS2014-26 |
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 SS2014-27 |
Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) |
(4) |
15:45-16:15 |
Code synthesis for LEGO Mindstorms EV3 using UPPAAL SS2014-32 |
Mitsuru Arakawa, Shoji Yuen (Nagoya Univ.) |
(5) |
16:15-16:45 |
Query Evaluation and Update on XML Documents Compressed by Tree Grammars SS2014-28 |
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 SS2014-29 |
Tsukasa Futagami, Yasunori Ishihara, Toru Fujiwara (Osaka Univ) |
(7) |
10:00-10:30 |
Energy Consumption Analysis as a Duration-Bounded Cost Constraint Problem SS2014-30 |
Shin Nakajima (NII) |
(8) |
10:30-11:00 |
Deriving supremal controllable sub-specifications in discrete event systems using MaxSAT solvers. SS2014-31 |
Tatsuki Hirota, Shoji Yuen (Nagoya Univ), Tetsuya Tohdo (DENSO) |
Announcement for Speakers |
General Talk | Each 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- : t ba      |
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
|