Information and Systems-Knowledge-Based Software Engineering(Date:2015/07/22)

Presentation
Toward Prioritizing Code Smell Detection Results for Prefactoring

Natthawute Sae-Lim(Tokyo Tech.),  Shinpei Hayashi(Tokyo Tech.),  Motoshi Saeki(Tokyo Tech.),  

[Date]2015-07-22
[Paper #]SS2015-16,KBSE2015-9
Test Scenario Generation for Web Scenario Testing Using Design Document

Xiaojing Zhang(NTT),  Haruto Tanno(NTT),  

[Date]2015-07-22
[Paper #]SS2015-17,KBSE2015-10
A Prototype Tool for Logging Operations on Distributed Version Repositories

Jumpei Matsuda(Tokyo Tech),  Shinpei Hayashi(Tokyo Tech),  Motoshi Saeki(Tokyo Tech),  

[Date]2015-07-22
[Paper #]SS2015-18,KBSE2015-11
A Representation and Visualization Method for Source Code Change Impact Analysis

Tateo Okubo(Iwate Pref Univ),  Kazuya Fukuhara(i-MOS),  Youta Haresawa(Iwate Pref Univ),  Toshimitsu Inomata(Iwate Pref Univ),  Yoshikazu Arai(Iwate Pref Univ),  Shintaro Imai(Iwate Pref Univ),  

[Date]2015-07-22
[Paper #]SS2015-19,KBSE2015-12
A Method of Software Reliability Assessment Based on Fault Data Clustering in Cloud Computing Environment with Big Data

Yoshinobu Tamura(Yamaguchi Univ.),  Yumi Nobukawa(Tottori Univ.),  Shigeru Yamada(Tottori Univ.),  

[Date]2015-07-23
[Paper #]SS2015-25,KBSE2015-18
Model Checking for UI Specification of RIA with Data Binding

Takuya Iwatsuka(NTT),  Tsuyoshi Oshima(NTT),  Toshifumi Enomoto(NTT),  

[Date]2015-07-23
[Paper #]SS2015-28,KBSE2015-21
Proposal of EMSsec-Common Problem for Security and Privacy

Takao Okubo(IISEC),  Haruhiko Kaiya(Kanagawa Univ.),  Hironori Washizaki(Waseda Univ.),  Shinpei Ogata(Shinshu Univ.),  Yoshio Kakizaki(Dendai Univ.),  Atsuo Hazeyama(Tokyo Gakugei Univ.),  Nobukazu Yoshioka(NII),  

[Date]2015-07-23
[Paper #]SS2015-22,KBSE2015-15
Dependency Based Factoring

Takashi Nasu(TUS),  Munehiro Takimoto(TUS),  

[Date]2015-07-23
[Paper #]SS2015-20,KBSE2015-13
A Quantitative Investigation of Developers' Comment Description Tendencies in Open Source Development

Takashi Nakano(Ehime Univ.),  Takashi Sasaki(Ehime Univ.),  Minoru Kawahara(Ehime Univ.),  Hirohisa Aman(Ehime Univ.),  

[Date]2015-07-23
[Paper #]SS2015-26,KBSE2015-19
Toward Increasing the Number of Graftable Bugs in Automated Program Repair

Soichi Sumi(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2015-07-23
[Paper #]SS2015-27,KBSE2015-20
A Basic Concept of Real-time Evacuation Planning by Agent-Based Simulation using IoT Sensor Data

Tadashi Iijima(Keio Univ.),  

[Date]2015-07-23
[Paper #]SS2015-23,KBSE2015-16
Model Driven Development by Separating Concerns in Requrements Specification

Satoshi Kawai(SIT),  Saeko Matsuura(SIT),  

[Date]2015-07-23
[Paper #]SS2015-24,KBSE2015-17
A prototype method to identify the applied protection method

Hayato Sagisaka(KSU),  Haruaki Tamada(KSU),  

[Date]2015-07-23
[Paper #]SS2015-21,KBSE2015-14
Two-Staged Modeling Method with Alloy and Event-B

Shin Nakajima(NII),  

[Date]2015-07-24
[Paper #]SS2015-32,KBSE2015-25
A Study on a Formal Verification Method Using Atelier-B

Ryota Yamamoto(Nagoya Univ.),  Shuichiro Yamamoto(Nagoya Univ.),  

[Date]2015-07-24
[Paper #]SS2015-29,KBSE2015-22
A Support Tool for Rule-based Scoring of Class Diagrams in UML Modeling Education

Kazune Miyajima(Shinshu Univ.),  Shinpei Ogata(Shinshu Univ.),  Mizue Kayama(Shinshu Univ.),  Kozo Okano(Shinshu Univ.),  

[Date]2015-07-24
[Paper #]SS2015-30,KBSE2015-23
Detecting Problems of an As-Is Model Using Metrics by an Integrated Goal-Oriented Method

Shoichiro Ito(Tokyo Tech),  Shinpei Hayashi(Tokyo Tech),  Motoshi Saeki(Tokyo Tech),  

[Date]2015-07-24
[Paper #]SS2015-31,KBSE2015-24
An Equivalent Transformation of Constrained Term Rewriting Systems by Pattern Elimination

Takahiro Nagao(Nagoya Univ.),  Naoki Nishida(Nagoya Univ.),  Masahiko Sakai(Nagoya Univ.),  

[Date]2015-07-24
[Paper #]SS2015-33,KBSE2015-26
Applying Model Checking on VDM Models using SPIN

Hsin-Hung Lin(Kyushu Univ.),  Yoichi Omori(Kyushu Univ.),  Shigeru Kusakabe(Kyushu Univ.),  Keijiro Araki(Kyushu Univ.),  

[Date]2015-07-24
[Paper #]SS2015-34,KBSE2015-27