Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2014-03-11 10:00 |
Okinawa |
Tenbusu Naha |
An Extension of Alloy with Time Constraints Ryota Kuroita, Shoji Yuen (Nagoya Univ.) SS2013-72 |
This paper proposes an extension of Alloy, called Alloy-R, with constraints for reals in purpose of specifying time-dep... [more] |
SS2013-72 pp.1-6 |
SS |
2014-03-11 10:30 |
Okinawa |
Tenbusu Naha |
Generation and Verification of Decision Table using SAT Solver Shinji Itoh, Naoto Sato, Hidetaka Kondoh, Kunihiko Miyazaki, Hiroki Mori, Makoto Kimura, Kiyoshi Yamaguchi (Hitachi) SS2013-73 |
Use of a decision table is an effective method to prevent defects of combination patterns of conditions. However, it is ... [more] |
SS2013-73 pp.7-11 |
SS |
2014-03-11 11:00 |
Okinawa |
Tenbusu Naha |
Inverse Unfold Problem and Its Heuristic Solving Tomofumi Kato, Masanori Nagashima, Masahiko Sakai, Naoki Nishida (Nagoya Univ.) SS2013-74 |
Unfold/Fold transformations have been widely used for program transformation, theorem proving, and so on.Unfold and Fold... [more] |
SS2013-74 pp.13-18 |
SS |
2014-03-11 11:30 |
Okinawa |
Tenbusu Naha |
Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java Hiroaki Shimba, Hiroki Onoue, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2013-75 |
Java classes must observe constraints on ``hashCode'' methods as well as ``equals'' methods, in order to behave correctl... [more] |
SS2013-75 pp.19-24 |
SS |
2014-03-11 13:00 |
Okinawa |
Tenbusu Naha |
Analyzing Requirememts Sentences for Checking Use Case Descriptions Ryotaro Nakamura, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech.) SS2013-76 |
Since use case descriptions written in a natural language are informal, it is difficult to analyze them automatically. T... [more] |
SS2013-76 pp.25-30 |
SS |
2014-03-11 13:30 |
Okinawa |
Tenbusu Naha |
On Detecting Useless Transition Rules of Constrained Tree Automata Yasuhiro Nakano, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Kenji Hashimoto (Nagoya Univ.) SS2013-77 |
Reduction completeness of terms is proved many times in a theorem proving method for constrained term rewriting systems ... [more] |
SS2013-77 pp.31-36 |
SS |
2014-03-11 14:00 |
Okinawa |
Tenbusu Naha |
Influence of Power-Saving Processor on Power Consumption Model of Android Applications Shin Nakajima (NII) SS2013-78 |
[more] |
SS2013-78 pp.37-42 |
SS |
2014-03-11 14:45 |
Okinawa |
Tenbusu Naha |
A Detection Method for Intended Accessibility Excessiveness in Java Programs Using Design Information Riku Ohnisi (Osaka Univ.), Kazuo Kobori (NTT DATA), Makoto Matsushita, Katsuro Inoue (Osaka Univ.) SS2013-79 |
In Java Program, we have found there are many access modifiers that have the status Accessibility Excessiveness(AE) whic... [more] |
SS2013-79 pp.43-48 |
SS |
2014-03-11 15:15 |
Okinawa |
Tenbusu Naha |
Toward Efficient Debugging of Unexpected Side-Effects in Framework Applications Izuru Kume (NAIST), Naoya Nitta (Konan Univ.), Masahide Nakamura (Kobe Univ.), Etsuya Shibayama (Univ. of Tokyo) SS2013-80 |
Recently correcting misuses of application frameworks with insufficient documentation becomes an important topic because... [more] |
SS2013-80 pp.49-54 |
SS |
2014-03-11 15:45 |
Okinawa |
Tenbusu Naha |
Facilitate Defect Removal Using Static Analysis Tools by introducing competition Satoshi Arai (Waseda Univ.), Kazunori Sakamoto (NII), Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) SS2013-81 |
(To be available after the conference date) [more] |
SS2013-81 pp.55-60 |
SS |
2014-03-11 16:30 |
Okinawa |
Tenbusu Naha |
Supporting Task Level Commit Pattern with using Fine-Grained Version History Koichi Umekawa, Hiroshi Igaki (Osaka Univ.), Norihiro Yoshida (NAIST), Katsuro Inoue (Osaka Univ.) SS2013-82 |
[more] |
SS2013-82 pp.61-66 |
SS |
2014-03-11 17:00 |
Okinawa |
Tenbusu Naha |
Classification of Commits by Analyzing Identifiers in Source Code Kenji Yamauchi, Jiachen Yang, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2013-83 |
In software development, there is a need to understand changes of source code and implemented software behavior.
To gra... [more] |
SS2013-83 pp.67-72 |
SS |
2014-03-11 17:30 |
Okinawa |
Tenbusu Naha |
A change guide tool based on interaction and recommendation history Akihiro Yamamori, Takashi Kobayashi (Tokyo Tech.) SS2013-84 |
In this paper, we propose a prototype of a change guide tool which recommends necessary changes. Our proposed tool calcu... [more] |
SS2013-84 pp.73-78 |
SS |
2014-03-12 09:25 |
Okinawa |
Tenbusu Naha |
Metrics of design quality for Simulink model based on cohesion of subsystem Yuya Suzuki, Takashi Kobayashi (Tokyo Tech.), Takayuki Kubo (AISIN AW CO., LTD.) SS2013-85 |
In this report, we propose design quality metrics for Simulink model.
We focus on cohesion which is defined as a metric... [more] |
SS2013-85 pp.79-84 |
SS |
2014-03-12 09:55 |
Okinawa |
Tenbusu Naha |
Execution Trace Abstraction by Dynamic Characteristics of Objects Tatsuya Toda (Nagoya Univ.), Takashi Kobayashi (Tokyo Tech.), Noritoshi Atsumi (Nagoya Univ.), Kiyoshi Agusa (Kyoto Univ.) SS2013-86 |
In this paper, we propose a method that abstracts an execution trace to help us to understand an outline of OO-software ... [more] |
SS2013-86 pp.85-90 |
SS |
2014-03-12 10:25 |
Okinawa |
Tenbusu Naha |
Code Completion with Code Clones Tomoya Ishihara, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2013-87 |
Code completion is one of the techniques that raise efficiency of implementation. Code completion
techniques make up fo... [more] |
SS2013-87 pp.91-96 |
SS |
2014-03-12 11:05 |
Okinawa |
Tenbusu Naha |
An Implementation Method of Domain Specific Languages based on Visual Block and their Development Tool Azusa Kurihara, Akira Sasaki (Hosei Univ.), Ken Wakita (Tokyo Tech) SS2013-88 |
In this paper we propose a methodology for implementing domain specific languages based on visual blocks and introduce t... [more] |
SS2013-88 pp.97-102 |
SS |
2014-03-12 11:35 |
Okinawa |
Tenbusu Naha |
Design of the DSL-Line Engineering Supporting Environment Changyun Huang, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) SS2013-89 |
Language-Oriented Programming (LOP) is a programming paradigm in which programmer conducts and uses Domain-Specific Lang... [more] |
SS2013-89 pp.103-108 |
SS |
2014-03-12 12:05 |
Okinawa |
Tenbusu Naha |
Evaluation for the Value of Refactoring with Mining Software Repositories Shuhei Kimura, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2013-90 |
Developers consider refactoring as an important technique in software maintenance.
However, any technique to evaluate l... [more] |
SS2013-90 pp.109-114 |