Information and Systems-Software Science(Date:2015/01/19)

Presentation
表紙

,  

[Date]2015/1/19
[Paper #]
目次

,  

[Date]2015/1/19
[Paper #]
Evaluation of clone extraction method with code shape

Kouki KAKIYA,  Kazuki NAKATANI,  Masayuki HIRAYAMA,  Nahomi KIKUCHI,  

[Date]2015/1/19
[Paper #]MSS2014-69,SS2014-33
Applying Code Clone Analysis Techniques to Derivation Software

Yoshiki HIGO,  Keisuke HOTTA,  Hiroaki MURAKAMI,  Shinji KUSUMOTO,  Nobuhiro NAKAMURA,  Takanori KATOU,  Yukinari MUTA,  Kenji NISHIKAWA,  

[Date]2015/1/19
[Paper #]MSS2014-70,SS2014-34
コードクローン解析に対するスーパーコンピュータ導入に向けた試行実験

Ataru OSAKA,  Yasutaka KAMEI,  Keisuke HOTTA,  Naoyasu UBAYASHI,  

[Date]2015/1/19
[Paper #]MSS2014-71,SS2014-35
Just-In-Time Defect Prediction Tool anko

Shutaro TANAKA,  Takafumi FUKUSHIMA,  Kazuhiro YAMASHITA,  Yasutaka KAMEI,  Naoyasu UBAYASHI,  

[Date]2015/1/19
[Paper #]MSS2014-72,SS2014-36
Approximate Simulation Based Verification of Automation Surprises in Human-machine Systems

Daiki ISHII,  Toshimitsu USHIO,  

[Date]2015/1/19
[Paper #]MSS2014-73,SS2014-37
Optimal Sampling for Kalman Filtering by Sensor Network Based on Energy Consumption and Information Entropy

Ken IMAI,  Toshimitsu USHIO,  

[Date]2015/1/19
[Paper #]MSS2014-74,SS2014-38
A Two Phase Scheme for De Novo Genome Assembly based on de Bruijn Graphs for Multiple Short Read Sets

Takuto SHIGENOBU,  Morikazu NAKAMURA,  

[Date]2015/1/19
[Paper #]MSS2014-75,SS2014-39
On Efficacy of Narrowing in Proving Termination of Constrained Term Rewriting Systems

Tomoya UEYAMA,  Naoki NISHIDA,  Masahiko SAKAI,  Toshiki SAKABE,  

[Date]2015/1/19
[Paper #]MSS2014-76,SS2014-40
A Consideration on How to Model Check Distributed Snapshot Reachability Property

Wenjie ZHANG,  Kazuhiro OGATA,  Min ZHANG,  

[Date]2015/1/19
[Paper #]MSS2014-77,SS2014-41
Implementing a Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling

Koichi OTA,  Takeshi HAMAGUCHI,  Masahiko SAKAI,  Akihisa YAMADA,  Naoki NISHIDA,  Tohiki SAKABE,  

[Date]2015/1/19
[Paper #]MSS2014-78,SS2014-42
An approach to Application of Inductive Logic Programming to Characterization of Reachable States

Dung Tuan HO,  Min ZHANG,  Kazuhiro OGATA,  

[Date]2015/1/19
[Paper #]MSS2014-79,SS2014-43
Statistical Model Checking of Hybrid Systems Using Interval Analysis

Daisuke ISHII,  Naoki YONEZAKI,  

[Date]2015/1/19
[Paper #]MSS2014-80,SS2014-44
Direct Update of XML Documents Compressed by Tree Grammars

Takeshi GOTO,  Takahiro ONOUE,  Kenji HASHIMOTO,  Hiroyuki SEKI,  

[Date]2015/1/19
[Paper #]MSS2014-81,SS2014-45
A supervisor synthesis by MaxSAT solvers under partial observation

Tatsuki HIROTA,  Shoji YUEN,  Tetsuya TOHDO,  

[Date]2015/1/19
[Paper #]MSS2014-82,SS2014-46
Extract Superclass Problem of Workflow Nets and Refining the Solution

Sohma NISHI,  Shingo YAMAGUCHI,  

[Date]2015/1/19
[Paper #]MSS2014-83,SS2014-47
An Approach Based on Implicit Places to Refactoring Problem of Workflow Nets

Jia ZHANG,  Ichiro TOYOSHIMA,  Shingo YAMAGUCHI,  

[Date]2015/1/19
[Paper #]MSS2014-84,SS2014-48
Considerations on a Statistical Reduct Method for the Decision Table

Yuichi Kato,  Tetsuro Saeki,  Shoutaro Mizuno,  

[Date]2015/1/19
[Paper #]MSS2014-85,SS2014-49
Discussion of a Tool for Supporting Pull Request Driven Software Development

Yusuke SAITO,  Kenji FUJIWARA,  Hiroshi IGAKI,  Norihiro YOSHIDA,  Hajimu IIDA,  

[Date]2015/1/19
[Paper #]MSS2014-86,SS2014-50
12>> 1-20hit(28hit)