| 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) Chair: Motoshi Saeki Vice Chair: Toshiki Sakabe Secretary: Katsuhiko Gondow, Makoto Matsushita DATE: Mon, Mar 14, 2005 13:00 - 17:15 Tue, Mar 15, 2005 09:30 - 11:30 PLACE: Japan Advanced Institute of Science and Technology (Collaboration room 7, 5th floor of the Information Science Building)(1-1 Asahidai, Nomi, Ishikawa, 923-1292, JAPAN. 40 minutes by bus from Komatsu Airport. http://www.jaist.ac.jp/~kouhou/General_info/access-e/access-e.html. School of Information Science, Prof. Koichiro Ochimizu. 0761-51-1260) TOPICS: general ---------------------------------------- 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) ----- 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.) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. # CONFERENCE ANNOUNCEMENT: - We will have a reception party at the evening of 3/14. Please join us. The time and place are to be announced. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Apr 21, 2005 - Fri, Apr 22, 2005: [Tue, Feb 15], Topics: general Thu, Jun 23, 2005 - Fri, Jun 24, 2005: Shinshu Univ. Ohta-Kokusai-Kinenkan [Fri, Apr 15], Topics: general # SECRETARY: Katsuhiko Gondow (Tokyo Institute of Technology) TEL 03-5734-2810 FAX 03-5734-2772 E-mail:  n w      # 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]