|
|
| Chair |
|
Motoshi Saeki |
| Vice Chair |
|
Toshiki Sakabe |
| Secretary |
|
Katsuhiko Gondow, Makoto Matsushita |
|
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) |
| |
15:30-15:40 |
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) |
| |
11:30-11:40 |
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) |
| 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- :  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.
|