Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2014-10-23 14:00 |
Kochi |
Kochi city culture-plaza cul-port |
A Proposal of Blank Element Selection Algorithm for Java Programming Learning Ta Na, Nobuo Funabiki, Nobuya Ishihara (Okayama Univ) SS2014-25 |
The programming language Java has been widely used in industries and educated in educational institutes due to its excel... [more] |
SS2014-25 pp.1-6 |
SS |
2014-10-23 14:30 |
Kochi |
Kochi city culture-plaza cul-port |
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.) SS2014-26 |
In Java Program, we have found there are many access modifiers declared as wider scope than its real access, and we name... [more] |
SS2014-26 pp.7-12 |
SS |
2014-10-23 15:15 |
Kochi |
Kochi city culture-plaza cul-port |
Predicting Number of Faults Based on Software Reliability Growth Model from Repository System Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) SS2014-27 |
Software development requires repository system
to manage the whole developing phases such as coding and testing.
We a... [more] |
SS2014-27 pp.13-16 |
SS |
2014-10-23 15:45 |
Kochi |
Kochi city culture-plaza cul-port |
Code synthesis for LEGO Mindstorms EV3 using UPPAAL Mitsuru Arakawa, Shoji Yuen (Nagoya Univ.) SS2014-32 |
We present a code synthesis for controlling the LEGO Mindstorm EV3 using UPPAAL as the designing tool. UPPAAL is a model... [more] |
SS2014-32 pp.41-46 |
SS |
2014-10-23 16:15 |
Kochi |
Kochi city culture-plaza cul-port |
Query Evaluation and Update on XML Documents Compressed by Tree Grammars Takahiro Onoue (NAIST), Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ), Minoru Ito (NAIST) SS2014-28 |
XML documents often contain same repetitive substructures and various compression methods have been proposed. This paper... [more] |
SS2014-28 pp.17-22 |
SS |
2014-10-24 09:30 |
Kochi |
Kochi city culture-plaza cul-port |
A polynomial time algorithm for determining type behavior equivalence of XPath queries under the XML schema Tsukasa Futagami, Yasunori Ishihara, Toru Fujiwara (Osaka Univ) SS2014-29 |
[more] |
SS2014-29 pp.23-28 |
SS |
2014-10-24 10:00 |
Kochi |
Kochi city culture-plaza cul-port |
Energy Consumption Analysis as a Duration-Bounded Cost Constraint Problem Shin Nakajima (NII) SS2014-30 |
[more] |
SS2014-30 pp.29-34 |
SS |
2014-10-24 10:30 |
Kochi |
Kochi city culture-plaza cul-port |
Deriving supremal controllable sub-specifications in discrete event systems using MaxSAT solvers. Tatsuki Hirota, Shoji Yuen (Nagoya Univ), Tetsuya Tohdo (DENSO) SS2014-31 |
A discrete event system, DES for short, makes state transitions by discrete occurrences of events.System behavior is mod... [more] |
SS2014-31 pp.35-40 |