IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

===============================================
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.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[Return to SS Schedule Page]   /  
 
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan