Information and Systems-Software Science(Date:2014/03/04)

Presentation
表紙

,  

[Date]2014/3/4
[Paper #]
目次

,  

[Date]2014/3/4
[Paper #]
An Extension to Alloy by Time Constraints

Ryota KUROITA,  Syoji YUEN,  

[Date]2014/3/4
[Paper #]SS2013-72
Generation and Verification of Decision Table using SAT Solver

Shinji ITOH,  Naoto SATO,  Hidetaka KONDOH,  Kunihiko MIYAZAKI,  Hiroki MORI,  Makoto KIMURA,  Kiyoshi YAMAGUCHI,  

[Date]2014/3/4
[Paper #]SS2013-73
Inverse Unfold Problem and Its Heuristic Solving

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

[Date]2014/3/4
[Paper #]SS2013-74
Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java

Hiroaki SHIMBA,  Hiroki ONOUE,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2014/3/4
[Paper #]SS2013-75
Analyzing Requirements Stentences for Checking Use Case Description

Ryotaro NAKAMURA,  Shinpei HAYASHI,  Motoshi SAEKI,  

[Date]2014/3/4
[Paper #]SS2013-76
On Detecting Useless Transition Rules of Constrained Tree Automata

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

[Date]2014/3/4
[Paper #]SS2013-77
Influence of Power-Saving Processor on Power Consumption Model of Android Applications

Shin NAKAJIMA,  

[Date]2014/3/4
[Paper #]SS2013-78
A Detection Method for Intended Accessibility Excessiveness in Java Programs Using Design Information

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

[Date]2014/3/4
[Paper #]SS2013-79
Toward Efficient Debugging of Unexpected Side-Effects in Framework Applications

Izuru KUME,  Naoya NITTA,  Masahide NAMAKURA,  Etsuya SHIBAYAMA,  

[Date]2014/3/4
[Paper #]SS2013-80
Facilitate Defect Removal Using Static Analysis Tools by introducing competition

Satoshi ARAI,  Kazunori SAKAMOTO,  Hironori WASHIZAKI,  Yoshiaki FUKAZAWA,  

[Date]2014/3/4
[Paper #]SS2013-81
Supporting Task Level Commit Pattern with using Fine-Grained Version History

Koichi UMEKAWA,  Hiroshi IGAKI,  Norihiro YOSHIDA,  Katsuro INOUE,  

[Date]2014/3/4
[Paper #]SS2013-82
Classification of Commits by Analyzing Identifiers in Source Code

Kenji YAMAUCHI,  Jiachen YANG,  Keisuke HOTTA,  Yoshiki HIGO,  Shinji KUSUMOTO,  

[Date]2014/3/4
[Paper #]SS2013-83
A change guide tool based on interaction and recommendation history

Akihiro YAMAMORI,  Takashi KOBAYASHI,  

[Date]2014/3/4
[Paper #]SS2013-84
Metrics of design quality for Simulink model based on cohesion of subsystem

Yuya SUZUKI,  Takashi KOBAYASHI,  Takayuki KUBO,  

[Date]2014/3/4
[Paper #]SS2013-85
Execution Trace Abstraction by Dynamic Characteristics of Objects

Tatsuya TODA,  Takashi KOBAYASHI,  Noritoshi ATSUMI,  Kiyoshi AGUSA,  

[Date]2014/3/4
[Paper #]SS2013-86
Code Completion with Code Clones

Tomoya ISHIHARA,  Yoshiki HIGO,  Shinji KUSUMOTO,  

[Date]2014/3/4
[Paper #]SS2013-87
An Implementation Method of Domain Specific Languages based on Visual Block and their Development Tool

Azusa KURIHARA,  Akira SASAKI,  Ken WAKITA,  

[Date]2014/3/4
[Paper #]SS2013-88
Design of the DSL-Line Engineering Supporting Environment

Changyun HUANG,  Yasutaka KAMEI,  Naoyasu UBAYASHI,  

[Date]2014/3/4
[Paper #]SS2013-89
12>> 1-20hit(25hit)