|
|
| Chair |
|
Shin Nakajima (NII) |
| Vice Chair |
|
Shoji Yuen (Nagoya Univ.) |
| Secretary |
|
Hironobu Washizaki (Waseda Univ.), Yoshiaki Takata (Kochi Univ. of Tech.) |
| Assistant |
|
Takashi Kobayashi (Nagoya Univ.) |
|
| Conference Date |
Thu, Nov 1, 2012 10:00 - 21:00
Fri, Nov 2, 2012 09:20 - 17:30 |
| Topics |
Software science, theory |
| Conference Place |
Hiroshima City University |
| Transportation Guide |
http://www.hiroshima-cu.ac.jp/english/category0029.html |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Nov 1 AM
10:00 - 11:25 |
(1)
SS |
10:00-10:25 |
Weather change pattern generation algorithm for sightseeing scheduling  SS2012-36 |
Hirokazu Katoh, Yoshihiro Murata (Hiroshima City Univ.) |
(2)
SS |
10:25-10:50 |
A SAT Encoding for Finding Operation Sequences of Malbolge that Implement Trit-wise Functions SS2012-37 |
Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
(3)
SS |
10:50-11:15 |
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers SS2012-38 |
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki (NAIST) |
| |
11:15-11:25 |
Break ( 10 min. ) |
Thu, Nov 1 AM
11:25 - 13:15 |
| (4) |
11:25-11:50 |
|
| (5) |
11:50-12:15 |
|
| |
12:15-13:15 |
Break ( 60 min. ) |
Thu, Nov 1 PM
13:15 - 14:15 |
(6)
SS |
13:15-13:40 |
Application of formal methods to network behavior dependent systems SS2012-39 |
Nobuaki Yoshida (ASTEM), Han-Myung Chang, Atsushi Sawada (Nanzan Univ.), Yukihiro Nakamura (ASTEM) |
(7)
SS |
13:40-14:05 |
A discussion of fault patterns for concurrent systems SS2012-40 |
Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.) |
| |
14:05-14:15 |
Break ( 10 min. ) |
Thu, Nov 1 PM
14:15 - 15:15 |
| (8) |
14:15-14:40 |
|
| (9) |
14:40-15:05 |
|
| |
15:05-15:15 |
Break ( 10 min. ) |
Thu, Nov 1 PM
15:15 - 21:00 |
| (10) |
15:15-15:40 |
|
| (11) |
15:40-16:05 |
|
(12)
SS |
16:05-16:30 |
A Report on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012) SS2012-41 |
Shinpei Hayashi (Tokyo Tech.), Katsuhisa Maruyama (Ritsumeikan Univ.), Motoshi Saeki (Tokyo Tech.) |
| |
16:40-18:10 |
Break ( 90 min. ) |
| |
19:00-21:00 |
Break ( 120 min. ) |
Fri, Nov 2 AM
09:20 - 11:10 |
| (13) |
09:20-09:45 |
|
| (14) |
09:45-10:10 |
|
| (15) |
10:10-10:35 |
|
| (16) |
10:35-11:00 |
|
| |
11:00-11:10 |
Break ( 10 min. ) |
Fri, Nov 2 AM
11:10 - 13:00 |
(17)
SS |
11:10-11:35 |
An Empirical Study of Clone Disappearances on Open Source Software Projects SS2012-42 |
Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(18)
SS |
11:35-12:00 |
A Clone Detection Approach for a Collection of Similar Large-Scale Software Products SS2012-43 |
Eunjong Choi (Osaka Univ.), Norihiro Yoshida (NAIST), Yoshiki Higo, Katsuro Inoue (Osaka Univ.) |
| |
12:00-13:00 |
Break ( 60 min. ) |
Fri, Nov 2 PM
13:00 - 14:25 |
(19)
SS |
13:00-13:25 |
Extraction traceability links between requirements and implementation in the same series of software products SS2012-44 |
Ryosuke Tsuchiya, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.), Tadahisa Kato, Masumi Kawakami, Kentaro Yoshimura (Hitachi) |
(20)
SS |
13:25-13:50 |
A Method to Extract Use Cases From Web Applications With Analysis of Screenshot Trace SS2012-45 |
Tsubasa Oikawa, Toshihiro Kamiya (FUN) |
| |
14:15-14:25 |
Break ( 10 min. ) |
Fri, Nov 2 PM
14:25 - 15:50 |
| (21) |
14:25-14:50 |
|
| (22) |
14:50-15:15 |
|
| |
15:15-15:25 |
Break ( 10 min. ) |
| (23) |
15:25-15:50 |
|
Fri, Nov 2 PM
15:50 - 17:30 |
| (24) |
15:50-16:15 |
|
| (25) |
16:15-16:40 |
|
| (26) |
16:40-17:05 |
|
| (27) |
17:05-17:30 |
|
| Announcement for Speakers |
| General Talk | Each speech will have 17 minutes for presentation and 8 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Hironori Washizaki (Waseda University)
TEL: 03-5286-3272
FAX: 03-5286-3272
E- :          |
| Announcement |
Latest information will be presented on the homepage
http://www.washi.cs.waseda.ac.jp/sigss/ |
| IPSJ-SE |
Special Interest Group on Software Engineering (IPSJ-SE) [Latest Schedule]
|
| Contact Address |
|
Last modified: 2012-10-27 15:43:59
|