Information and Systems-Image Engineering(Date:2019/03/04)

Presentation
SQL queries for generating input constraints of SMT solvers from descriptions of combinatorial optimization problems

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

[Date]2019-03-04
[Paper #]SS2018-66
Ripple effect analysis method of data flow requirements

BUI Do Tien Hung(Ritsumeikan Univ.),  Takayuki Omori(Ritsumeikan Univ.),  Atsushi Ohnishi(Ritsumeikan Univ.),  

[Date]2019-03-04
[Paper #]SS2018-59
サマータイム制度によるソフトウェア開発への影響調査

,  ,  ,  ,  

[Date]2019-03-04
[Paper #]SS2018-56
Proposal of a test description support environment for request acquisition in web application development

Yoshitake Nakaji(NAIST),  Choi Eunjong(NAIST),  Norihiro Yoshida(Nagoya Univ.),  Hajimu Iida(NAIST),  

[Date]2019-03-04
[Paper #]SS2018-60
Behavioral Verification of Yampa Programs in a Discrete Runtime Environment using Uppaal

Riku Nakane(Nagoya Univ.),  Shoji Yuen(Nagoya Univ.),  

[Date]2019-03-04
[Paper #]SS2018-52
Congruence property of reversible process calculus with time

Satoru Yamamoto(Nagoya Univ.),  Shoji Yuen(Nagoya Univ.),  

[Date]2019-03-04
[Paper #]SS2018-53
Formal STAMP Modelling toward Safety Verification of Hybrid Systems

Mitsuaki Tsuji(NAIST),  Toshinori Takai(NAIST),  Masafumi Katahira(JAXA),  Naoki Ishihama(JAXA),  Kazuki Kakimoto(NAIST),  Hajimu Iida(NAIST),  

[Date]2019-03-04
[Paper #]SS2018-67
GitHubのJavaリポジトリを用いた弱参照の利用実態の調査

Taeyoung Kim(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinsuke Matsumoto(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2019-03-04
[Paper #]SS2018-57
行単位の差分情報を考慮した抽象構文木のノード単位の差分出力

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

[Date]2019-03-04
[Paper #]SS2018-58
Dynamic information leakage analysis and adaptive input optimization

Tatsuya Miwa(Nagoya Univ.),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2019-03-04
[Paper #]SS2018-68
Statistical model checking of hybrid systems with Acumen

Kosuke Inoue(Fukui Univ.),  Daisuke Ishii(Fukui Univ.),  

[Date]2019-03-04
[Paper #]SS2018-54
リファクタリング実証的研究のためのデータセット作成環境

Ryo Kuramoto(Tokyo Tech),  Shinpei Hayashi(Tokyo Tech),  Motoshi Saeki(Tokyo Tech),  

[Date]2019-03-04
[Paper #]SS2018-63
Preliminary Evaluation of a Support Tool for Reuse of Software Patterns in Conceptual Modeling

Ken Akagi(NIT),  Hiroaki Hashiura(NIT),  Yasufumi Tanaka(TUAT),  Atsuo Hazeyama(TGU),  Hiroshi Takase(NIT),  

[Date]2019-03-04
[Paper #]SS2018-61
ブランチを考慮したプロアクティブなソフトウェアメトリクス値の推定

Keisuke Isemoto(Tokyo Tech),  Motoshi Saeki(Tokyo Tech),  Shinpei Hayashi(Tokyo Tech),  

[Date]2019-03-04
[Paper #]SS2018-64
Machine learning based requirements description analysis technique for creating backlogs

Ryo Ishizuka(Waseda Univ.),  Hironori Washizaki(Waseda Univ.),  Shinobu Saito(NTT SIC),  saori ouji(NTT SIC),  

[Date]2019-03-04
[Paper #]SS2018-62
An improved LLF scheduling for reducing heap memory consumption in multiprocessor real-time system by considering laxity time

Yuki Machigashira(Hirosima City Univ.),  Akio Nakata(Hirosima City Univ.),  

[Date]2019-03-04
[Paper #]SS2018-55
Effects of rule aggregation and ranking method on change history analysis based error prevention methods

Yoshiya Ishida(Tokyo Tech.),  Takashi Kobayashi(Tokyo Tech.),  

[Date]2019-03-04
[Paper #]SS2018-65
Quality Evaluation Asssurance Levels for Machine Learning Software

Shin Nakajima(NII),  Yoshiki Seo(AIST),  Yutaka Oiwa(AIST),  Yoshinao Isobe(AIST),  

[Date]2019-03-05
[Paper #]SS2018-79
Attempt of ScreenTransition Test with Appropriate Granularity in Test Script Automatic Generation

Toshiyuki Kurabayashi(NTT),  Hiroyuki Kirinuki(NTT),  Yu Yoshimura(NTT),  Yu Adachi(NTT),  Haruto Tanno(NTT),  

[Date]2019-03-05
[Paper #]SS2018-75
Stepwise detection of image differences using screen elements in UI Layout Testing

Yu Yoshimura(NTT),  Yu Adachi(NTT),  Haruto Tanno(NTT),  

[Date]2019-03-05
[Paper #]SS2018-76
12>> 1-20hit(33hit)