|
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 Talk | Each 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-: 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
|