| 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 20, 2006 13:30 - 17:10 Fri, Apr 21, 2006 10:00 - 12:40 PLACE: (http://www.niigata-u.ac.jp/gakugai/id/005.html) TOPICS: general ---------------------------------------- Thu, Apr 20 PM (13:30 - 17:10) ---------------------------------------- (1) 13:30 - 14:00 Detecting Data Races on Signals Takamitsu Tahara, Katsuhiko Gondow (TItech) (2) 14:00 - 14:30 Bootstrapping of OSL translator in MAGE Takahiro Yoshioka, Takeshi Hagiwara (Niigata Univ.) (3) 14:30 - 15:00 On the selection of conceptual elements of the software semantic model Tsuneo Ajisaka (Wakayama Univ.) (4) 15:00 - 15:30 A Study of an Interoperability Test Activity of Heterogeneous Routing Equipments -- For smooth deployment of a new network architecture -- Yutaka Kikuchi (Kochi Univ. of Tech.), Takeshi Ishihara (Toshiba), Kenichi Nagami (Inetcore), Tomohiko Kusuda (Intec W&G), Hiroo Hishioka (Nextech), Kazuma Nishiuchi (Citynet), Tomokazu Hada (Inetcore), Masaaki Mizumura, Hajime Masaoka (Kochi Univ. of Tech.), Hiroshi Ikeda, Ikuo Nakagawa (Inetcore), Hiroshi Esaki (Univ. of Tokyo) ----- Break ( 10 min. ) ----- (5) 15:40 - 16:10 Formal method of real-time statechart Manabu Tokuda, Satoshi Yamane (Kanazawa Univ.) (6) 16:10 - 16:40 Proving Termination of Higher-Order Rewrite Systems based on Strongly Computable Dependency Pair Method Yasuo Isogai, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) (7) 16:40 - 17:10 A Supporting Method for Generating Scenarios with Differential Scenarios Masayuki Makino, Atsushi Ohnishi (Ritsumeikan Univ.) ---------------------------------------- Fri, Apr 21 AM (10:00 - 12:40) ---------------------------------------- (8) 10:00 - 10:30 Analyzing Software Repositories to Extract Knowledge for Supporting Refactoring Activities Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) (9) 10:30 - 11:00 Test Case Generation for Design Pattern Detection Ryouta Sakamoto, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) (10) 11:00 - 11:30 Using Domain Ontology as Domain Knowledge for Requirements Elicitation Haruhiko Kaiya (Shinshu Univ.), Motoshi Saeki (Titech) ----- Break ( 10 min. ) ----- (11) 11:40 - 12:10 Software Productivity Analysis with respect to Outsourcing Ratio Masateru Tsunoda, Akito Monden (NAIST), Hiroshi Yadohisa (Doshisha Univ.), Nahomi Kikuchi (SEC, IPA), Ken-ichi Matsumoto (NAIST) (12) 12:10 - 12:40 A method for recommending software components useful to an ongoing project Yasutaka Kamei, Masateru Tsunoda, Takeshi Kakimoto, Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto (NAIST) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Jun 22, 2006 - Fri, Jun 23, 2006: [Tue, Apr 18], 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/ Last modified: 2006-03-19 11:22:58 |
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]