Information and Systems-Software Science(Date:2019/07/12)

Presentation
Visual Programming Language for Model-Checker NuSMV

Hayato Naito(Okayama Prefectural Univ.),  Tomoyuki Yokogawa(Okayama Prefectural Univ.),  Sousuke Amasaki(Okayama Prefectural Univ.),  Hirohisa Aman(Ehime Univ.),  Kazutami Arimoto(Okayama Prefectural Univ.),  

[Date]2019-07-12
[Paper #]SS2019-1,KBSE2019-11
Process Representation of Sequence Diagrams with Hierarchical Structure

Akira Matsumoto(Okayama Prefectural Univ.),  Tomoyuki Yokogawa(Okayama Prefectural Univ.),  Sousuke Amasaki(Okayama Prefectural Univ.),  Hirohisa Aman(Ehime Univ.),  Kazutami Arimoto(Okayama Prefectural Univ.),  

[Date]2019-07-12
[Paper #]SS2019-2,KBSE2019-12
継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の設計

Kojima Nagisa(Hiroshima City Univ.),  Chiemi Hashimoto(Hiroshima City Univ.),  Kazuyuki Shima(Hiroshima City Univ.),  

[Date]2019-07-12
[Paper #]SS2019-3,KBSE2019-13
Development of a Visualization System of the Engagement of Learners in Software Development PBL using GitHub

Yutsuki Miyashita(Tokyo Gakugei Univ.),  Atsuo Hazeyama(Tokyo Gakugei Univ.),  Hiroaki Hashiura(NIT),  

[Date]2019-07-13
[Paper #]SS2019-7,KBSE2019-17
ソフトウェアテストのための制約付きディテクティングアレイの提案とSMTソルバを用いた生成

Hao Jin(Osaka Univ.),  Ce Shi(Shanghai Lixin Univ. of Accounting and Finance),  Tatsuhiro Tsuchiya(Osaka Univ.),  

[Date]2019-07-13
[Paper #]SS2019-8,KBSE2019-18
バグ票の類似度に基づいたバグ位置推定手法の改善に向けた提案

Masanao Asato(Ehime Univ.),  Hirohisa Aman(Ehime Univ.),  Minoru Kawahara(Ehime Univ.),  

[Date]2019-07-13
[Paper #]SS2019-4,KBSE2019-14
A Consideration of Modeling User Interface Patterns based on Screen Transition Model

Shinpei Ogata(Shinshu Univ.),  Yukiya Yazawa(Shinshu Univ.),  Kozo Okano(Shinshu Univ.),  

[Date]2019-07-13
[Paper #]SS2019-9,KBSE2019-19
Source Code Evaluation Method by Machine Learning using Source Code Feature Metrics

Keisuke Makihara(Osaka Univ.),  Makoto Matsushita(Osaka Univ.),  Katsuro Inoue(Osaka Univ.),  

[Date]2019-07-13
[Paper #]SS2019-5,KBSE2019-15
Designining Markdown Interpreter Supporting Dynamic Include

Yasunobu Sumikawa(TMU),  

[Date]2019-07-13
[Paper #]SS2019-6,KBSE2019-16
Macaw：遺伝的アルゴリズムを用いた自動プログラム修正の進化過程の可視化ツール

Yuya Tomida(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shisuke Matsumoto(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2019-07-14
[Paper #]SS2019-10,KBSE2019-20
分散処理を用いた自動プログラム修正の高速化

Junnosuke Matsumoto(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Hiroyuki Matsuo(Osaka Univ.),  Ryo Arima(Osaka Univ.),  Shinsuke Matsumoto(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2019-07-14
[Paper #]SS2019-11,KBSE2019-21
A Method for Comparison and Visualization of Code Clone Detection Results

Kazuki Matsushima(Osaka Univ.),  Katsuro Inoue(Osaka Univ.),  

[Date]2019-07-14
[Paper #]SS2019-12,KBSE2019-22