Information and Systems-Image Engineering(Date:2017/03/09)

Presentation
Debugging Pure Strategy Games

Shin Nakajima(NII),  

[Date]2017-03-09
[Paper #]SS2016-62
Analysis of Relation Betweeen on Changes Content and Code Dependency

Yuki Ueda(Shimane Univ),  Toshihiro Kamiya(Shimane Univ),  

[Date]2017-03-09
[Paper #]SS2016-72
Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting

Masato Nakashima(Nagoya Univ.),  Kenji Hashimoto(Nagoya Univ.),  Masahiko Sakai(Nagoya Univ.),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2017-03-09
[Paper #]SS2016-61
An Investigation of Extract Method to Construct Prediction Model Based on Process Metrics

Daiki Tanaka(NAIST),  Eunjong Choi(NAIST),  Norihiro Yoshida(Nagoya Univ.),  Kenji Fujiwara(NITTC),  Hajimu Iida(NAIST),  

[Date]2017-03-09
[Paper #]SS2016-73
A Symbolic Simulation of Dense-Timed Pushdown Automata with Clock Freezing

Sho Hiraoka(Nagoya Univ.),  Shoji Yuen(Nagoya Univ.),  

[Date]2017-03-09
[Paper #]SS2016-60
バージョン管理システムにおけるスプリットコミットの調査およびその検出手法の提案

Ryo Arima(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2017-03-09
[Paper #]SS2016-67
Equivalence Checking for Methods in Java and Its Applications

Kozo Okano(Shinshu Univ.),  Satoshi Harauchi(Mitsubishi Electric Corp.),  Shinpei Ogata(Shinshu Univ.),  Toshifusa Sekizawa(Nihon Univ.),  Takeshi Obara(Shinshu Univ.),  

[Date]2017-03-09
[Paper #]SS2016-65
A Study on Source Code Search and Classification using Distributed Representations

Tetsuo Yamamoto(Nihon Univ.),  

[Date]2017-03-09
[Paper #]SS2016-71
イシュー上の議論構造の可視化とその理解支援ツール

Hiroaki Ouchi(Tokyo Tech),  Shinpei Hayashi(Tokyo Tech),  Teruyoshi Zenmyo(CyberAgent),  Motoshi Saeki(Tokyo Tech),  

[Date]2017-03-09
[Paper #]SS2016-68
On the Use of Variation Points with Preprocessor Directives in Co-change Rule Mining

Tatsuya Mori(Tokyo Tech),  Takashi Kobayashi(Tokyo Tech),  Shinpei Hayashi(Tokyo Tech),  Noritoshi Atsumi(Kyoto U.),  

[Date]2017-03-09
[Paper #]SS2016-70
A study of Relationship between Java Method Name and Implementation toward Buggy Method Prediction

Sho Suzuki(Ehime Univ.),  Hirohisa Aman(Ehime Univ.),  Minoru Kawahara(Ehime Univ.),  

[Date]2017-03-09
[Paper #]SS2016-64
再利用に基づく自動プログラム修正における更新順および類似度順の実装と評価

Akito Tanikado(Osaka Univ.),  Haruki Yokoyama(Osaka Univ.),  Soichi Sumi(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2017-03-09
[Paper #]SS2016-63
A Trial of Traceability Visualization Tool for Information Seeking in Middle-Large-Scaled Open Source Software

Shu Kutsuzawa(Gakugei Univ),  Hiroaki Hashiura(NIT),  Atsuo Hazeyama(Gakugei Univ),  Hironori Washizaki(Waseda Univ),  

[Date]2017-03-09
[Paper #]SS2016-69
Extending Git Client for Retrieving Development History using Source Code Context

Miwa Sasaki(Osaka Univ.),  Naoto Ogura(Osaka Univ.),  Shinsuke Matsumoto(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2017-03-09
[Paper #]SS2016-66
Proving Confluence of Hierarchical Conditional Term Rewriting Systems without Sufficient Completeness

Takayuki Kuroda(Nagoya Univ.),  Naoki Nishida(Nagoya Univ.),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2017-03-10
[Paper #]SS2016-77
Specifying Narratology by Using Software Modeling Perspectives

Minako Ooki(Wakayama Univ.),  Tsuneo Ajisaka(Wakayama Univ.),  Naoki Fukuyasu(Wakayama Univ.),  Naruki Mitsuda(Wakayama Univ.),  Takuo Matsunobe(Wakayama Univ.),  

[Date]2017-03-10
[Paper #]SS2016-80
Sufficient Conditions for the Decidability of Query Preservation of Non-Linear Topdown Tree Transducers

Taka Ishihara(Nagoya Univ.),  Kenji Hashimoto(Nagoya Univ.),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2017-03-10
[Paper #]SS2016-78
An Empirical Analysis of Uncertainty in OSS projects

Hokuto Muraoka(Kyushu Univ.),  Takuya Fukamachi(Kyushu Univ.),  Kazuhiro Yamashita(Kyushu Univ.),  Naoyasu Ubayashi(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  

[Date]2017-03-10
[Paper #]SS2016-82
Detecting Anormal Power Consumption in a Concurrent of Android Application

Takahiro Inagaki(Nagoya Univ.),  Shoji Yuen(Nagoya Univ.),  

[Date]2017-03-10
[Paper #]SS2016-74
ゴール指向要求分析法における不適切なゴール詳細化の検出

,  ,  ,  

[Date]2017-03-10
[Paper #]SS2016-81
12>> 1-20hit(24hit)