Information and Systems-Image Engineering(Date:2021/10/19)

Presentation
Suggesting Overlooked Changes based on Co-change Relation Learning

Riku Yamagami(Tokyo Tech.),  Takashi Kobayashi(Tokyo Tech.),  

[Date]2021-10-19
[Paper #]SS2021-13,DC2021-18
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata

Akira Onishi(Nagoya Univ.),  Ryoma Senda(Nagoya Univ.),  Yoshiaki Takata(KUT),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2021-10-19
[Paper #]SS2021-17,DC2021-22
Predict failure of test case generation

Ryo Soga(Hitachi, Ltd.),  Hideyuki Kanuka(Hitachi, Ltd.),  

[Date]2021-10-19
[Paper #]SS2021-14,DC2021-19
Calculation of optimal enhancement targets in interdependent networks

Daichi Minamide(Osaka Univ.),  Tatsuhiro Tsuchiya(Osaka Univ.),  

[Date]2021-10-19
[Paper #]SS2021-16,DC2021-21
業務の依存分析に基づくWebシステムアーキテクチャの再設計方法に関する研究

Tsukasa Ozawa(Nanzan Univ),  Mikio Aoyama(Nanzan Univ),  Atsushi Sawada(Nanzan Univ),  Masami Noro(Nanzan Univ),  

[Date]2021-10-19
[Paper #]SS2021-15,DC2021-20