| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | / 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: Mon, Aug 2, 2004 13:00 - 17:15 Tue, Aug 3, 2004 10:00 - 15:00 PLACE: Future University, Hakodate(116-2 Nakanomachi Kameda Hakodate Hokkaio 041-8655. Take a bus at Hakodate Airport or JR Hakodate station, and get off at "Miraidaigaku". http://www.fun.ac.jp/location/index.html. Ei-ichi Miyamoto. 0138-34-6223) TOPICS: general ---------------------------------------- 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) ----- 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) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. # CONFERENCE ANNOUNCEMENT: - Please join us for an opening reception on August 2. Please e-mail me (gondow @cs.titech.ac.jp) if you attend the reception by July 22th. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Tue, Sep 7, 2004: Ritsumeikan Univ. Kinugasa Campus [Sun, Jun 27], Topics: Requirement Engineering Thu, Nov 25, 2004 - Fri, Nov 26, 2004: Univ. of Yamanashi, Kofu(Takeda) Campus [Wed, Sep 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.acjp/ss/ Last modified: 2004-07-05 13:39:53 |
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 | / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]