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


Technical Committee on Software Science (SS) [schedule] [select]
Chair Motoshi Saeki
Vice Chair Toshiki Sakabe
Secretary Katsuhiko Gondow, Makoto Matsushita

Conference Date Mon, Mar 14, 2005 13:00 - 17:15
Tue, Mar 15, 2005 09:30 - 11:30
Topics general 
Conference Place Japan Advanced Institute of Science and Technology (Collaboration room 7, 5th floor of the Information Science Building) 
Address 1-1 Asahidai, Nomi, Ishikawa, 923-1292, JAPAN
Transportation Guide 40 minutes by bus from Komatsu Airport
http://www.jaist.ac.jp/~kouhou/General_info/access-e/access-e.html
Contact
Person
School of Information Science, Prof. Koichiro Ochimizu
0761-51-1260
Announcement We will have a reception party at the evening of 3/14. Please join us. The time and place are to be announced.

Mon, Mar 14 PM 
13:00 - 17:15
(1) 13:00-13:30 About Extension of Real-Time Software Development Management System EPM:
-- Graph using SRGM and Linkage with Source Code Analysis Systems --
Reishi Yokomori, Makoto Ichii (Osaka Univ.), Taira Shinkai (Hitachi Systems and Services), Katsuro Inoue (Osaka Univ.)
(2) 13:30-14:00 Refinement of Bytecode for JIT Compiler Kazumi Sameshima, Jun'ichi Miyao (Hiroshima Univ.)
(3) 14:00-14:30 An Implementation of Software Reuse Supporting System Using Method Call Dependencies Kazuo Kobori (Osaka Univ.), Tetsuo Yamamoto (Ritsumeikan Univ.), Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
(4) 14:30-15:00 Model-Checking of Software Design using State-Transition Systems Shin Nakajima (NII)
  15:00-15:15 Break ( 15 min. )
(5) 15:15-15:45 Goal-oriented Requirements Analysis with AHP Yoharu Inoue, Atsushi Ohnishi (Ritsumeikan U.)
(6) 15:45-16:15 Requirements Elicitation Method by using thesaurus Junzo Kato (ARGO Soken Corporation), Motoshi Saeki (Tokyo Inst. of Tech.), Atsushi Ohnishi (Ritsumeikan Univ.), Seiichi Komiya (Shibaura Inst. of Tech.), Shuichiro Yamamoto (NTT DATA), Haruhiko Kaiya (Shinshu Univ.)
(7) 16:15-16:45 N/A Masayuki Kotani, Koichiro Ochimizu (JAIST)
(8) 16:45-17:15 A formal model for access control based on execution history Jing Wang, Yoshiaki Takata, Hiroyuki Seki (NAIST)
Tue, Mar 15 AM 
09:30 - 11:30
(9) 09:30-10:00 A Method to Develop Distributed Real-time Applications based on UML/OCL Aya Makidera, Eigo Nagai, Kozo Okano, Kenichi Taniguchi (Osaka Univ.)
(10) 10:00-10:30 Analysis Supporting Tool for Financial Statements Written in XBRL Sousuke Izumida, Makoto Matsushita, Katsuro Inoue (Osaka Univ.), Katsuhiko Yuura (Hitachi, Ltd)
(11) 10:30-11:00 A Reliable Code Generation of Real-Time Java Based on the Timed Automaton Kimihiro Inoue, Shoji Yuen, Kiyoshi Agusa (Nagoya Univ.)
(12) 11:00-11:30 A Library for Measuring Similarity of Java Source Programs Using Self-Organizing Maps Toshihiro Kitagawa, Yasuhiro Sugiyama (Nihon Univ.)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

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--mail: nw 
Announcement Latest information will be presented on the homepage http://www.sde.cs.titech.acjp/ss/
We recommend you to stay a hotel in Korinbo or Katamachi of Kanazawa city.
To go from Kanazawa city to JAIST second day, buses and trains are available (eg., (1)bus (Korinbo 7:50 - JAIST 8:38), or (2)train (Nomachi station 8:49 - Tsurugi Station 8:47) and free shuttle bus (Tsurugi Station 8:49 - JAIST 9:00).


Last modified: 2005-01-31 14:28:38


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   Prev SS Conf / Next SS Conf [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