|
Chair |
|
Motoshi Saeki |
Vice Chair |
|
Toshiki Sakabe |
Secretary |
|
Katsuhiko Gondow, Makoto Matsushita |
|
Conference Date |
Mon, Aug 2, 2004 13:00 - 17:15
Tue, Aug 3, 2004 10:00 - 15:00 |
Topics |
general |
Conference Place |
Future University, Hakodate |
Address |
116-2 Nakanomachi Kameda Hakodate Hokkaio 041-8655 |
Transportation Guide |
Take a bus at Hakodate Airport or JR Hakodate station, and get off at "Miraidaigaku" http://www.fun.ac.jp/location/index.html |
Contact Person |
Ei-ichi Miyamoto
0138-34-6223 |
Announcement |
Please join us for an opening reception on August 2. Please e- me (gondow @cs.titech.ac.jp) if you attend the reception by July 22th. |
Mon, Aug 2 PM 13:00 - 17:15 |
(1) |
13:00-13:30 |
N/A |
Hideto Kasuya (Aichi Prefectural Univ.), Masahiko Sakai, Kiyoshi Agusa (Nagoya Univ.) |
(2) |
13:30-14:00 |
A Proposal of Automatic Configuration Management with Provide-Require Relation on Interface |
Yasuhiro Hayase (Osaka Univ.), Toshihiro Kamiya (JST), Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
(3) |
14:00-14:30 |
A Technique for Supporting Refactoring Based on Program Modification |
Shinpei Hayashi (Tokyo Inst. of Tech.), Masahito Kurihara (Hokkaido Univ.) |
(4) |
14:30-15:00 |
UKARI-Core: A Service Platform for Distributed Cooperative Networked Appliances |
Atsushi Sawada (Kyoto Univ./NICT), Yosuke Tajika (Toshiba), Tatsuya Yamazaki (NICT), Michihiko Minoh (Kyoto Univ./NICT) |
|
15:00-15:15 |
Break ( 15 min. ) |
(5) |
15:15-15:45 |
Building a Command Shell that Can Predict Next Commands Using a Neural Network |
Toshihiro Kitagawa, Yasuhiro Sugiyama (Nihon Univ.) |
(6) |
15:45-16:15 |
Java Package for the Implementation of Higher-Order Mobile Agents
-- A Means to Implement a Functional Language -- |
Yasushi Kambayashi (NIT), Munehiro Takimoto (TUS), Yasushi Kodama (Hosei Univ.) |
(7) |
16:15-16:45 |
Specification of a Security Protocol based on a State Machine Model |
Goichi Itabashi (Tohoku Univ.), Kaoru Takahashi, Yasushi Kato (SNCT), Takuo Suganuma, Norio Shiratori (Tohoku Univ.) |
(8) |
16:45-17:15 |
Front-end for 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.) |
Tue, Aug 3 AM 10:00 - 12:00 |
(9) |
10:00-10:30 |
Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems |
Haruhiko Kaiya, Akira Osada, Kenji Kaijiri (Shinshu Univ.) |
(10) |
10:30-11:00 |
Collaborative filtering method for software component recommendation |
Makoto Ichii (Osaka Univ.), Tetsuo Yamamoto (Ritsumei Univ.), Reishi Yokomori, Katsuro Inoue (Osaka Univ.) |
(11) |
11:00-11:30 |
A verification support system for functional programming languages ML |
Tetsuya Saimura, Kozo Okano, Kenichi Taniguchi (Osaka Univ.) |
(12) |
11:30-12:00 |
a Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments |
Aya Makidera, Kozo Okano, Kenichi Taniguchi (Osaka Univ.) |
Tue, Aug 3 PM 13:00 - 15:00 |
(13) |
13:00-13:30 |
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems |
Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.) |
(14) |
13:30-14:00 |
Development of A SourceCode Search System and The Application to Practical Free Software |
Kageki Matsuo, Kazunori Miyanishi, Takeshi Ogihara (Kobe Univ.) |
(15) |
14:00-14:30 |
Parallelization and Synchronization in Coding Activities by Multiple Software Engineers |
Naoto Kajiwara, Yasuhiro Sugiyama (Nihon Univ.) |
(16) |
14:30-15:00 |
Proposal of Machine Code Type Assignment using Turned Dataflow Analysis with Type Variable |
Shigenori Ioroi, Kenroku Nogi (KAIT) |
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-: nw |
Announcement |
Latest information will be presented on the homepage http://www.sde.cs.titech.acjp/ss/ |
Last modified: 2004-07-05 13:39:53
|