Conference Date |
Fri, Jul 29, 2011 11:00 - 17:30
Sat, Jul 30, 2011 09:30 - 12:15 |
Topics |
General topics |
Conference Place |
EDC Tower 8F, Hokkaido Information University |
Address |
59-2, Nishinopporo, Ebetsu, Hokkaido, 069-8585 Japan |
Transportation Guide |
25 min. by foot or 5 min. by bus from JR Nopporo sta. (15 min. by train between JR Sapporo sta. and JR Nopporo sta.) http://www.do-johodai.ac.jp/guidance/access.php |
Contact Person |
Prof. Yoshitomi Morisawa
011-385-4411 |
Announcement |
Please join us for an opening reception. |
Fri, Jul 29 AM 11:00 - 12:30 |
(1) |
11:00-11:30 |
A New GTA Approach based on Japanese Culture and Grammer |
Shigeo Kaneda, Ken Nagata (Doshisha Univ.) |
(2) |
11:30-12:00 |
Considerations on Requirements Change Process Modeling |
Shuichiro Yamamoto (Nagoya Univ.) |
(3) |
12:00-12:30 |
A Proposal on Software FMEA Method based on Process Discriptions |
Daisuke Yoshikawa, Shuichiro Yamamoto (Nagoya Univ.) |
|
12:30-13:30 |
Lunch Break ( 60 min. ) |
Fri, Jul 29 PM 13:30 - 17:30 |
(4) |
13:30-14:00 |
A Study of Code-Change Event Modeling in Open Source Software |
Hirohisa Aman (Ehime Univ.) |
(5) |
14:00-14:30 |
Comparison of investigation methods about influence of code clone on software maintenance |
Yui Sasaki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(6) |
14:30-15:00 |
Identifying systematic changes of Java source code structure |
Hideaki Hata (Osaka Univ.), Osamu Mizuno (Kyoto Institute of Tech.), Tohru Kikuno (Osaka Univ.) |
|
15:00-15:15 |
Break ( 15 min. ) |
(7) |
15:15-15:45 |
A Supporting Method of Understanding Sequence Control Programs |
Shunsuke Maki, Yuki Hayashi, Atsushi Ohnishi (Ritsumeikan Univ.) |
(8) |
15:45-16:15 |
Development of Programming Learning Support System "BEginer/1" |
Takahiro Ishizuka (HIU) |
|
16:15-16:30 |
Break ( 15 min. ) |
(9) |
16:30-17:30 |
[Invited Talk]
A consideration of growth processes and changes in Software Architecture |
Yoshitomi Morisawa (HIU) |
Sat, Jul 30 AM 09:30 - 12:15 |
(10) |
09:30-10:00 |
Ranking Candidates for Applying Template Method Pattern with a Cohesion Metric COB |
Masakazu Ioka (Osaka Univ.), Norihiro Yoshida (NAIST), Tomoo Masai, Katsuro Inoue (Osaka Univ.) |
(11) |
10:00-10:30 |
Consideration of Migration Method using Program Slicing for Large-Scale Information Control Software |
Tomoyuki Mochizuki, Yuichi Kobayashi, Akitoshi Shimura, Hiromitsu Kato, Takayuki Takezawa (Hitachi) |
(12) |
10:30-11:00 |
An Injection Vulnerability Analysis of Web Applications using String-Taint Analysis |
Tatsunori Houan, Seikoh Nishita (Takushoku Univ.) |
|
11:00-11:15 |
Break ( 15 min. ) |
(13) |
11:15-11:45 |
On Generating Realtime Programs with Runtime Checking
-- From Timed Automata to Realtime Programs on Non-Realtime Environments -- |
Ilankaikone Senthooran, Julian Prokay, Takuo Watanabe (Tokyo Inst. of Tech.) |
(14) |
11:45-12:15 |
Automatic Assertion Generation using Model Checking and Daikon and its Application to a Real Example |
Kazuki Kobayashi, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |