Information and Systems-Software Science(Date:2015/03/02)

Presentation
表紙

,  

[Date]2015/3/2
[Paper #]
目次

,  

[Date]2015/3/2
[Paper #]
Sufficient completeness of constructor-based order-sorted parameterized specifications

Masaki NAKAMURA,  GAINA Daniel MIRCEA,  Kazuhiro OGATA,  Kokichi FUTATSUGI,  

[Date]2015/3/2
[Paper #]SS2014-55
Reactive System Synthesis with Tolerance for Unexpected Environmental Behavior

Atsushi UENO,  Takashi TOMITA,  Masaya SHIMAKAWA,  Shigeki HAGIHARA,  Naoki YONEZAKI,  

[Date]2015/3/2
[Paper #]SS2014-56
SNIPER : An LLVM-based Automatic Fault Localization Tool for Imperative Programs

Si-Mohamed LAMRAOUI,  Shin NAKAJIMA,  

[Date]2015/3/2
[Paper #]SS2014-57
Implementation and Evaluation of Fault Localization Technique based on Occurrence of Dynamic Data Dependencies

Mizuki NAKANO,  Shunsuke OHNUMA,  Takashi KOBAYASHI,  Takashi ISHIO,  

[Date]2015/3/2
[Paper #]SS2014-58
Abstraction-Aware Data Flow Traceability

Zhongxiao GUO,  Naoyasu UBAYASHI,  Di AI,  Peiyuan LI,  Yuning LI,  Takuya FUKAMACHI,  Shintaro HOSOAI,  Yasutaka KAMEI,  

[Date]2015/3/2
[Paper #]SS2014-59
Certifying Low Level Code for The Task-Control in Toppers/SSP Kernel

Mitsuru ARAKAWA,  Shoji YUEN,  

[Date]2015/3/2
[Paper #]SS2014-60
Statistical Model Checking with Adaptive Importance Sampling

YU NISHIKI,  SHOJI YUEN,  

[Date]2015/3/2
[Paper #]SS2014-61
Removing Possibility of Ambiguous Message Ordering in Sequence Diagram

Noa KUSUNOKI,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2015/3/2
[Paper #]SS2014-62
A Verification Method of the Correctness of Non-functional Requirements using extended Requirements Frame Model

Yuuma Matsumoto,  Atsushi OHNISHI,  

[Date]2015/3/2
[Paper #]SS2014-63
Coli : A Social Network Mining Tool for Analyzing the Society of OSS Projects

Sekio KAWASHIMA,  Yasutaka KAMEI,  Naoyasu UBAYASHI,  

[Date]2015/3/2
[Paper #]SS2014-64
Suggestion of the source code reuse analysis technique in multiple projects based on the clone genealogy

Takuya MORIWAKI,  Keisuke HOTTA,  Hiroshi IGAKI,  Katsuro INOUE,  Shinji KUSUMOTO,  

[Date]2015/3/2
[Paper #]SS2014-65
Recommending Source Code Modifications by Using Association Rule Mining

Hiroyuki KIRINUKI,  Keisuke HOTTA,  Yoshiki HIGO,  Shinji KUSUMOTO,  

[Date]2015/3/2
[Paper #]SS2014-66
Effects of the recency and large commits on change guide method based on version history analysis

Tatsuya MORI,  Anders HAGWARD,  Takashi KOBAYASHI,  

[Date]2015/3/2
[Paper #]SS2014-67
An Approach for Abbreviated Identifier Expansion with Machine Learning

Hideki OKAJIMA,  Osamu MIZUNO,  

[Date]2015/3/2
[Paper #]SS2014-68
A Heuristic to Solve Inverse Unfolding Problem for Functions Dealing with Tree Structure Data

Tomofumi KATO,  Masanori NAGASHIMA,  Masahiko SAKAI,  Naoki NISHIDA,  Toshiki SAKABE,  

[Date]2015/3/2
[Paper #]SS2014-69
Heuristics for Automatically Proving Commutativity of Function Composition for Constrained Term Rewriting Systems

Ryutaro KURIKI,  Naoki NISHIDA,  Masahiko SAKAI,  Toshiki SAKABE,  

[Date]2015/3/2
[Paper #]SS2014-70
Integrating Online Presentation and Courseware Production to Support Higher Education on the WebELS Platform

Mohamed OSAMNIA,  Arjulie John BERENA,  Hitoshi OKADA,  Haruki UENO,  

[Date]2015/3/2
[Paper #]SS2014-71
Cause Analysis of transition in the Accessibility Excessiveness of using a Development History of Java Programs

Riku OHNISHI,  Kazuo KOBORI,  Makoto MATUSITA,  Katsuro INOUE,  

[Date]2015/3/2
[Paper #]SS2014-72
12>> 1-20hit(25hit)