Information and Systems-Software Science(Date:2013/01/03)

Presentation
表紙

,  

[Date]2013/1/3
[Paper #]
目次

,  

[Date]2013/1/3
[Paper #]
The validity problem of positive XPath queries with sibling axes in the presence of DTDs

Yohei KUSUNOKI,  Kenji HASHIMOTO,  Yasunori ISHIHARA,  Toru FUJIWARA,  

[Date]2013/1/3
[Paper #]SS2012-46
Construction of Constrained Tree Automata Recognizing Ground Instances of Constrained Terms

Yasuhiro NAKANO,  Naoki NISHIDA,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichirou KUSAKARI,  

[Date]2013/1/3
[Paper #]SS2012-47
Refinement Planning

Shin NAKAJIMA,  

[Date]2013/1/3
[Paper #]SS2012-48
Design and Implementation of Compilers Constructed using COINS for Language Extensions using APIs

Takuya SHIODE,  Hideyuki KAWABATA,  Toshiaki KITAMURA,  

[Date]2013/1/3
[Paper #]SS2012-49
Using SAT Solvers for Solving Control-Instruction Layout Problems in Low-Level Assembly Programming for Malbolge

Satoshi ANDO,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichirou KUSAKARI,  Naoki NISHIDA,  

[Date]2013/1/3
[Paper #]SS2012-50
On the Probability of Interaction Fault Detection Using Random Testing in the Presence of Constraints on Parameter Values

Daiki SHIGEOKA,  Hideharu KOJIMA,  Tatsuhiro TSUCHIYA,  

[Date]2013/1/3
[Paper #]SS2012-51
Development of Unit Testing Visualization Tool to Implement Real-Time Visualization of Testing Progress

Shingo MATSUOKA,  Tetsuro KATAYAMA,  

[Date]2013/1/3
[Paper #]SS2012-52
A supporting method of abstraction of software documents

Masato SATONAKA,  Yoshitaka IYODA,  Atsushi OHNISHI,  

[Date]2013/1/3
[Paper #]SS2012-53
Research on the clustering towards the improvement in conservativeness of a Simulink model, and bidirectional conversion with an UML model

Takayuki OZAWA,  Hironori WASHIZAKI,  Yoshiaki FUKAZAWA,  

[Date]2013/1/3
[Paper #]SS2012-54
Detection of refactoring targets using a design pattern detection tool

Yasuo YAMASAKI,  Yoshiaki TAKATA,  

[Date]2013/1/3
[Paper #]SS2012-55
Empirical Study on Inclusion Relation among Software Licenses of Open Source Software

Yuki MANABE,  Katsuro INOUE,  

[Date]2013/1/3
[Paper #]SS2012-56
Feature Dependency Analysis using Control Structure of Preprocess Directive

Noritoshi ATSUMI,  Takashi KOBAYASHI,  Kiyoshi AGUSA,  

[Date]2013/1/3
[Paper #]SS2012-57
An Energy Profiler for Android Applications Used in the Real World

Hiroki FURUSHO,  Kenji HISAZUMI,  Takeshi KAMIYAMA,  Hiroshi INAMURA,  Tsuneo NAKANISHI,  Akira FUKUDA,  

[Date]2013/1/3
[Paper #]SS2012-58
複写される方へ

,  

[Date]2013/1/3
[Paper #]
Notice for Photocopying

,  

[Date]2013/1/3
[Paper #]
奥付

,  

[Date]2013/1/3
[Paper #]
裏表紙

,  

[Date]2013/1/3
[Paper #]