IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Software Science

Workshop Date : 2014-10-23 - 2014-10-24 / Issue Date : 2014-10-16

SS2014-25
A Proposal of Blank Element Selection Algorithm for Java Programming Learning
Ta Na, Nobuo Funabiki, Nobuya Ishihara (Okayama Univ)
pp. 1 - 6

SS2014-26
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.)
pp. 7 - 12

SS2014-27
Predicting Number of Faults Based on Software Reliability Growth Model from Repository System
Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.)
pp. 13 - 16

SS2014-28
Query Evaluation and Update on XML Documents Compressed by Tree Grammars
Takahiro Onoue (NAIST), Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ), Minoru Ito (NAIST)
pp. 17 - 22

SS2014-29
A polynomial time algorithm for determining type behavior equivalence of XPath queries under the XML schema
Tsukasa Futagami, Yasunori Ishihara, Toru Fujiwara (Osaka Univ)
pp. 23 - 28

SS2014-30
Energy Consumption Analysis as a Duration-Bounded Cost Constraint Problem
Shin Nakajima (NII)
pp. 29 - 34

SS2014-31
Deriving supremal controllable sub-specifications in discrete event systems using MaxSAT solvers.
Tatsuki Hirota, Shoji Yuen (Nagoya Univ), Tetsuya Tohdo (DENSO)
pp. 35 - 40

SS2014-32
Code synthesis for LEGO Mindstorms EV3 using UPPAAL
Mitsuru Arakawa, Shoji Yuen (Nagoya Univ.)
pp. 41 - 46

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

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