Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, IPSJ-SE |
2012-11-01 10:00 |
Hiroshima |
Hiroshima City University |
Weather change pattern generation algorithm for sightseeing scheduling Hirokazu Katoh, Yoshihiro Murata (Hiroshima City Univ.) SS2012-36 |
Recently, personal navigation systems and tour scheduling systems are studied. Tour schedule is affected by weather cond... [more] |
SS2012-36 pp.1-6 |
SS, IPSJ-SE |
2012-11-01 10:25 |
Hiroshima |
Hiroshima City University |
A SAT Encoding for Finding Operation Sequences of Malbolge that Implement Trit-wise Functions Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2012-37 |
Malbolge is known to be one of the most esoteric programming languages. Although it becomes possible to write programs i... [more] |
SS2012-37 pp.7-12 |
SS, IPSJ-SE |
2012-11-01 10:50 |
Hiroshima |
Hiroshima City University |
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki (NAIST) SS2012-38 |
A fundamental concern of XML document transformation is that the information contained in each source document is preser... [more] |
SS2012-38 pp.13-18 |
SS, IPSJ-SE |
2012-11-01 13:15 |
Hiroshima |
Hiroshima City University |
Application of formal methods to network behavior dependent systems Nobuaki Yoshida (ASTEM), Han-Myung Chang, Atsushi Sawada (Nanzan Univ.), Yukihiro Nakamura (ASTEM) SS2012-39 |
In this paper, we study application of formal methods to“mobile systems”, which consist of wireless devices distributed ... [more] |
SS2012-39 pp.35-40 |
SS, IPSJ-SE |
2012-11-01 13:40 |
Hiroshima |
Hiroshima City University |
A discussion of fault patterns for concurrent systems Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.) SS2012-40 |
In model checking, when a model checker fails to verify deadlock free, or some safety property or liveness property, its... [more] |
SS2012-40 pp.41-46 |
SS, IPSJ-SE |
2012-11-01 16:05 |
Hiroshima |
Hiroshima City University |
A Report on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012) Shinpei Hayashi (Tokyo Tech.), Katsuhisa Maruyama (Ritsumeikan Univ.), Motoshi Saeki (Tokyo Tech.) SS2012-41 |
This paper gives our views on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012) he... [more] |
SS2012-41 pp.75-80 |
SS, IPSJ-SE |
2012-11-02 11:10 |
Hiroshima |
Hiroshima City University |
An Empirical Study of Clone Disappearances on Open Source Software Projects Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2012-42 |
Code clones have been well studied because the presence of clones is regarded as a bad smell for software maintenance. O... [more] |
SS2012-42 pp.111-116 |
SS, IPSJ-SE |
2012-11-02 11:35 |
Hiroshima |
Hiroshima City University |
A Clone Detection Approach for a Collection of Similar Large-Scale Software Products Eunjong Choi (Osaka Univ.), Norihiro Yoshida (NAIST), Yoshiki Higo, Katsuro Inoue (Osaka Univ.) SS2012-43 |
Reusing existing software with or without modifications is frequently occurred to develop new large software at low cost... [more] |
SS2012-43 pp.117-121 |
SS, IPSJ-SE |
2012-11-02 13:00 |
Hiroshima |
Hiroshima City University |
Extraction traceability links between requirements and implementation in the same series of software products Ryosuke Tsuchiya, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.), Tadahisa Kato, Masumi Kawakami, Kentaro Yoshimura (Hitachi) SS2012-44 |
When performing maintenance and expansion for the group of products derived, it is important to clarify traceability bet... [more] |
SS2012-44 pp.123-128 |
SS, IPSJ-SE |
2012-11-02 13:25 |
Hiroshima |
Hiroshima City University |
A Method to Extract Use Cases From Web Applications With Analysis of Screenshot Trace Tsubasa Oikawa, Toshihiro Kamiya (FUN) SS2012-45 |
[more] |
SS2012-45 pp.129-134 |