|
Chair |
|
Motoshi Saeki |
Vice Chair |
|
Toshiki Sakabe |
Secretary |
|
Katsuhiko Gondow, Makoto Matsushita |
|
Conference Date |
Thu, Jan 20, 2005 13:00 - 17:15
Fri, Jan 21, 2005 09:00 - 11:45 |
Topics |
general |
Conference Place |
Univ. of Miyazaki, Kibana Campus, School of engineering, building D, 2nd floor, room D204 (presentation room) |
Address |
1-1, Gakuen Kibanadai Nishi, Miyazaki-shi, 889-2192, Japan |
Transportation Guide |
About 15 minites (8km) by taxi from Miyazaki Airport http://www.miyazaki-u.ac.jp/koutsuu/koutsuu.html |
Contact Person |
Prof. Tesuro Katayama
(0985)58-7586 |
Announcement |
[Transportation tips by Prof. Katayama] All buses and trains from the airport are bound to Minami-miyazaki or Miyazaki. So taxi is the best way to go to Univ. of Miyazaki, which will take 15 min. and about 2000 yen. If you first go to Minami-miyazaki or Miyazaki, buses will be convenient to go to Miyazaki Univ. (Many buses are available.) |
[Map] http://www.miyazaki-u.ac.jp/tech/publish/campus.pdf |
[Reception] We will have a reception party at Miyazaki Univ. coop store from 1/20 18:00. Please join us. Please let us know at SIGSS registration desk whether or not you will attend the party. |
Thu, Jan 20 PM 13:00 - 15:00 |
(1) |
13:00-13:30 |
Comparison of CafeOBJ and Coq by Fomally Specifying and Verifying STS protocol |
Kotaro Hara (JAIST), Kazuhiro Ogata (NEC/JAIST), Masaki Nakamura, Kokichi Futatsugi (JAIST) |
(2) |
13:30-14:00 |
A Web Application Framework for developing Rich Clients |
Ichiro Akita, Naruki Mitsuda, Naoki Fukuyasu, Atsushi Yoshida, Tsuneo Ajisaka (Wakayama Univ.) |
(3) |
14:00-14:30 |
Ripple Down Rules, a practical method of learning from code rewrites |
Eddy Parkinson, Shinji Kawaguchi, Katsuro Inoue (Osaka Univ.) |
(4) |
14:30-15:00 |
Study on an Automatic Visualization Tool for Java to Educate Novice Programmers |
Yoshihiro Kita, Takanori Kawasoe, Tetsuro Katayama (Univ. of Miyazaki) |
|
15:00-15:15 |
Break ( 15 min. ) |
Thu, Jan 20 PM 15:15 - 17:15 |
(5) |
15:15-15:45 |
Extraction of the Conversion Rules to Support the Programming from UML to Java Source Codes |
Kiyohito Shimomura, Tetsuro Katayama (Univ. of Miyazaki) |
(6) |
15:45-16:15 |
N/A |
Ryuugen Hayashida, Masanori Iwamoto, -, Jianjun Zhao (FIT) |
(7) |
16:15-16:45 |
Report on the Automated Software Engineering 2004 |
Yuji Sakata, Shigeyuki Matsuda, Shuichiro Yamamoto (NTT Data), Motoshi Saeki (Tokyo Tech), Shinichi Honiden (NII/Univ Tokyo) |
(8) |
16:45-17:15 |
Extracting Method of Dynamic Communities from Software Development Histories |
Kei Sasaki, Makoto Matsushita, Katsuro Inoue (Osaka Univ) |
Fri, Jan 21 AM 09:00 - 11:45 |
(9) |
09:00-09:30 |
Contro Flow Analysis for AspectJ Programs |
Shinsuke Yoshioka, Masanori Iwamoto, Ryuugen Hayashida, Jianjun Zhao (FIT) |
(10) |
09:30-10:00 |
A Support Method for Changing Influenced Parts in Modifying GUI Widgets |
Kazuhiro Fukaya (Waseda Univ.), Junko Shirogane (Tokyo Women's Univ.), Yoshiaki Fukazawa (Waseda Univ.) |
(11) |
10:00-10:30 |
Analysis of program comprehension that has effects on the code review achievement |
Susumu Kuriyama, Masao Ohira, Akito Monden, Ken-ichi Matsumoto (NAIST) |
|
10:30-10:45 |
Break ( 15 min. ) |
(12) |
10:45-11:15 |
An Understanding Cost Calculation Tool for Static Java Program Structure |
Takahisa Baba, Tetsuro Kakeshita (Saga Univ.) |
(13) |
11:15-11:45 |
An Education Support Tool Perseus for Structured Algorithm Construction |
Tomomi Fujisaki, Tetsuro Kakeshita (Saga Univ.) |
Contact Address and Latest Schedule Information |
SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
Contact Address |
Katsuhiko Gondow (Tokyo Institute of Technology)
TEL 03-5734-2810
FAX 03-5734-2772
E-: nw |
Announcement |
Latest information will be presented on the homepage
http://www.sde.cs.titech.acjp/ss/ |
Last modified: 2004-12-31 00:34:56
|