===============================================
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: nw
# 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.
|