===============================================
Technical Committee on Software Science (SS)
Chair: Motoshi Saeki Vice Chair: Toshiki Sakabe
Secretary: Katsuhiko Gondow, Makoto Matsushita
DATE:
Thu, Jan 20, 2005 13:00 - 17:15
Fri, Jan 21, 2005 09:00 - 11:45
PLACE:
Univ. of Miyazaki, Kibana Campus, School of engineering, building D, 2nd floor, room D204 (presentation room)(1-1, Gakuen Kibanadai Nishi, Miyazaki-shi, 889-2192, Japan. About 15 minites (8km) by taxi from Miyazaki Airport. http://www.miyazaki-u.ac.jp/koutsuu/koutsuu.html. Prof. Tesuro Katayama. (0985)58-7586)
TOPICS:
general
----------------------------------------
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)
----- 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)
----- 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.)
# CONFERENCE 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.
=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:
Mon, Mar 14, 2005 - Tue, Mar 15, 2005: JAIST (IS 5F collabo#7) [Sat, Jan 15], Topics: general
Thu, Apr 21, 2005 - Fri, Apr 22, 2005: [Tue, Feb 15], Topics: general
# SECRETARY:
Katsuhiko Gondow (Tokyo Institute of Technology)
TEL 03-5734-2810
FAX 03-5734-2772
E-mail: 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
|
Notification: Mail addresses are partially hidden against SPAM.
|