| 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: Thu, Apr 21, 2005 13:00 - 17:10 Fri, Apr 22, 2005 10:00 - 13:10 PLACE: (Prof. Tsuneo Ajisaka. 0739-26-4111 (Big-Uの電話番号)) TOPICS: general ---------------------------------------- Thu, Apr 21 PM (13:00 - 17:10) ---------------------------------------- (1) 13:00 - 13:35 Supporting Version Management of Models Described in Diagram Takafumi Oda, Motoshi Saeki (Tokyo Inst. of Tech.) (2) 13:35 - 14:10 A proposal for a precious estimate of test coverage metrics ofcomponents on object-oriented framework Yuji Sakata, Takashi Okamoto, Kazutoshi Yokoyama, Shigeyuki Matsuda (NTT Data), Hironori Washizaki (NII), Yoshiaki Fukazawa (Waseda univ.) (3) 14:10 - 14:45 Ontology based requirements elicitation method: REO Hidetaka Tomoda, Atsushi Ohnishi (Ritsumeikan U.) ----- Break ( 15 min. ) ----- (4) 15:00 - 15:35 Design Pattern Detection Using Static and Dynamic Analysis Junya Katada, Takashi Kobayashi, Motoshi Saeki (Tokyo Tech) (5) 15:35 - 16:10 Toward an effective fine-grained syntactic and semantic scheme for program analysis Atsushi Yoshida, Tsuneo Ajisaka, Naoki Fukuyasu, Naruki Mitsuda (Wakayama Univ.) (6) 16:10 - 17:10 [Invited Talk] On a simple IT skill standard motivated by real work requirements Tsuneo Ajisaka (Wakayama Univ.) ---------------------------------------- Fri, Apr 22 AM (10:00 - 13:10) ---------------------------------------- (7) 10:00 - 10:35 How to Extract Goals for Business Domain Analysis? Takako Nakatani (S-Lagoon Co.,Ltd.), Terunobu Fujino (InArcadia Cipo.) (8) 10:35 - 11:10 Ontology based Requirements Analysis Haruhiko Kaiya (Shishu Univ.), Motoshi Saeki (titech) (9) 11:10 - 11:45 Experimental production of web browser with browsing state restoration function in support of understanding software Takaaki Imaeda, Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) ----- Break ( 15 min. ) ----- (10) 12:00 - 12:35 Mining "Concept Keywords"Technique from Identifiers for Program Understanding Masaru Ohba, Katsuhiko Gondow (titech) (11) 12:35 - 13:10 JavaScript Type Checker based on Model Generation Theorem Prover Hirotaka Ohkubo, Shinichiro Yamamoto (Aichi Pref. Univ.), Toshiki Sakabe (Nagoya Univ.), Yasuyoshi Inagaki (Aichi Pref. Univ.) # Information for speakers General Talk will have 23 minutes for presentation and 12 minutes for discussion. Invited Talk will have 30 minutes for presentation and 30 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: 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.ac.jp/ss/ Last modified: 2010-10-12 19:27:05 |
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]