Information and Systems-Knowledge-Based Software Engineering(Date:2017/07/19)

Presentation
On the new metrics for automatically identifying slicing criteria for program comprehension

Takaaki Masuhara(Doshisha Univ.),  Hirohide Haga(Doshisha Univ.),  

[Date]2017-07-19
[Paper #]SS2017-4,KBSE2017-4
Prototyping and Evaluation of Support Method of Model Checking using Modeling Notation of IoT System Architecture

Shinpei Ogata(Shinshu Univ.),  Yoshitaka Aoki(NUL),  Hiroyuki Nakagawa(Osaka Univ.),  Kazuki Kobayashi(Shinshu Univ.),  Yuko Fukushima(NUL),  

[Date]2017-07-19
[Paper #]SS2017-5,KBSE2017-5
Graph compression by tree grammars and direct evaluation of a node selection query on a compressed graph

Takeshi Takeda(Nagoya Univ.),  Kenji Hashimoto(Nagoya Univ.),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2017-07-19
[Paper #]SS2017-1,KBSE2017-1
A Data-Flow Analysis Method Based on Differences Among Execution Traces

Toshihiro Kamiya(Shimane Univ.),  

[Date]2017-07-19
[Paper #]SS2017-10,KBSE2017-10
A Domain Model Approach using Normalized Class and Existence Dependency

Shigeo Kaneda(Doshisha Univ.),  Akio Ida(Doshisha Univ.),  Yusuke Morimoto(Doshisha Univ.),  

[Date]2017-07-19
[Paper #]SS2017-7,KBSE2017-7
メトリクス計測や解析のためのソースコード平坦化

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

[Date]2017-07-19
[Paper #]SS2017-11,KBSE2017-11
A Study on Discerning Hidden Critical Rules in Legacy Information Systems

Masayuki Inoue(NTT),  Akio Jin(NTT),  Keitaro Horikawa(NTT),  Noriaki Izumi(AIST),  

[Date]2017-07-19
[Paper #]SS2017-13,KBSE2017-13
A Study on Application of Goal Oriented Requirements Analysis to IoT System

Michitaro Okano(Univ. of Tsukuba),  Takako Nakatani(OUJ),  

[Date]2017-07-19
[Paper #]SS2017-8,KBSE2017-8
ソフトウェア工学分野における探索的手法の近年の動向について

Kosaku Kimura(Fujitsu Labs),  Ryoji Kurata(Fujitsu Labs),  Yusuke Sasaki(Fujitsu Labs),  Hideo Tanida(Fujitsu Labs),  Shridhar Choudhary(Fujitsu Labs),  Susumu Tokumoto(Fujitsu Labs),  Hayato Nishimura(Fujitsu Labs),  

[Date]2017-07-19
[Paper #]SS2017-9,KBSE2017-9
Investigation of Developer Counts and Bug Fix Occurrences for Java Source Files

Kazuki Yamauchi(Ehime Univ.),  Hirohisa Aman(Ehime Univ.),  Minoru Kawahara(Ehime Univ.),  

[Date]2017-07-19
[Paper #]SS2017-12,KBSE2017-12
Deadlock Detection in Scheduling of Last-Mile Transportation by Using Model Checking

Mitsuaki Tsuji(Univ. of Tsukuba),  Koji Hasebe(Univ. of Tsukuba),  Kazuhiko Kato(Univ. of Tsukuba),  

[Date]2017-07-19
[Paper #]SS2017-2,KBSE2017-2
Reliability Verification of Dynamic Information in Dynamic Map for Vehicles

Yosuke Watanabe(Nagoya Univ.),  Shuichi Sato(TCRDL),  Hiroyuki Seki(Nagoya Univ.),  Shoji Yuen(Nagoya Univ.),  

[Date]2017-07-19
[Paper #]SS2017-3,KBSE2017-3
Agile Development of Control Model focusing on Interaction between Hardware and Environment

Shun Nishikawa(SIT),  Saeko Matsuura(SIT),  

[Date]2017-07-19
[Paper #]SS2017-6,KBSE2017-6
Influence of Partial History Extraction of Change Guide Method based on the Interaction Data

Takumi Fujiwara(Tokyo Inst. of Tech.),  Takashi Kobayashi(Tokyo Inst. of Tech.),  

[Date]2017-07-19
[Paper #]SS2017-14,KBSE2017-14
Framework for interactive characterization and annotation of part of source code

Ken Nakayama(Tsuda Univ.),  Shun'ichi Tano(UEC),  Tomonori Hashiyama(UEC),  

[Date]2017-07-19
[Paper #]SS2017-15,KBSE2017-15
On the Extraction of State Transition Tables from an Embedded Software System and Analysis Support

Ryota Yamamoto(Nagoya Univ.),  Norihiro Yoshida(Nagoya Univ.),  Nao Aoki(JASA),  Hiroaki Takada(Nagoya Univ.),  

[Date]2017-07-20
[Paper #]SS2017-16,KBSE2017-16
Polynomial Interpretations to Convert Dependency Chains of Constrained Term Rewriting Systems to Bounded Increasing Sequences of Intergers

Tomohiro Sasano(Nagoya Univ.),  Naoki Nishida(Nagoya Univ.),  Masahiko Sakai(Nagoya Univ.),  Tomoya Ueyama(Nagoya Univ.),  

[Date]2017-07-20
[Paper #]SS2017-17,KBSE2017-17
A compiler that translates to Malbolge from a C-language subset containing recursive calls

Genki Sakanashi(Nagoya Univ.),  Shohei Kobe(Nagoya Univ.),  Masahiko Sakai(Nagoya Univ.),  Naoki Nishida(Nagoya Univ.),  Kenji Hashimoto(Nagoya Univ.),  

[Date]2017-07-20
[Paper #]SS2017-18,KBSE2017-18
Test Case Prioritization and Visualization for Test Strategy Planning

Tadahisa Kato(Hitachi),  Hideto Ogawa(Hitachi),  

[Date]2017-07-20
[Paper #]SS2017-19,KBSE2017-19
Documentation and Process to Share Semantics of Features

Tsuneo Nakanishi(Fukuoka Univ.),  

[Date]2017-07-20
[Paper #]SS2017-20,KBSE2017-20