===============================================
Technical Committee on Software Science (SS)
Chair: Motoshi Saeki Vice Chair: Toshiki Sakabe
Secretary: Katsuhiko Gondow, Makoto Matsushita
DATE:
Thu, Jun 23, 2005 13:00 - 17:00
Fri, Jun 24, 2005 09:00 - 12:15
PLACE:
OHTA International Memorial Hall, Shinshu University(4-17-1 Wakasato Nagano-shi Nagano, 380-8553. 8 minutes by bus or 20 minutes by walk from JR Nagano station. http://www.cs.shinshu-u.ac.jp/map/map.html. Prof. Haruhiko Kaiya. 026-269-5469)
TOPICS:
general
----------------------------------------
Thu, Jun 23 PM (13:00 - 17:00)
----------------------------------------
(1) 13:00 - 13:30
Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems
Akira Osada, Daigo Ozawa, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.)
(2) 13:30 - 14:00
Software Technology Recommendation Based on Collaborative Filtering
Tomohiro Akinaga, Naoki Ohsugi, Takeshi Kakimoto, Masateru Tsunoda, Akito Monden, Ken-ichi Matsumoto (NAIST)
----- Break ( 15 min. ) -----
(3) 14:15 - 14:45
A Verification Method of Invalid Cells of State Transition Matrices
Michihiro Matsumoto, Naohito Yamashita (Fukuoka IST), Ikuko Suzuki (Sharp), Akira Fukuda (Kyushu Univ.)
(4) 14:45 - 15:15
Analysis of Review Process using Programmers' Eye Movement
Hidetake Uwano, Noboru Nakamichi, Hiroshi Igaki, Akito Monden, Masahide Nakamura, Ken-ichi Matsumoto (NAIST)
(5) 15:15 - 15:45
An extended regular expression matching System which can dynamically define operations
Yoshifumi Okada, Hiroaki Yamamoto (Shinshu Univ.)
----- Break ( 15 min. ) -----
(6) 16:00 - 17:00
[Invited Talk]
Self-proliferate software product diagnosis system
Kenji Kaijiri (Shinshu Univ.)
----------------------------------------
Fri, Jun 24 AM (09:00 - 12:15)
----------------------------------------
(7) 09:00 - 09:30
A Static Analysis using Tree Automata for XML Access Control
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki (NAIST)
(8) 09:30 - 10:00
A Study on Software Design Using Ontology Technologies
Hiroshi Yoshida, Takashi Inoue, Yasumi Matsuyuki, Tetsuya Yamamura (NTT)
(9) 10:00 - 10:30
A Formal Model for Stateful Trust Management Systems
Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki (NAIST)
----- Break ( 15 min. ) -----
(10) 10:45 - 11:15
On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability
Keiichirou Kusakari, Takahiro Sakurai, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.)
(11) 11:15 - 11:45
Programming Method in Obfuscated Language Malbolge
Hisashi Iizawa, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
(12) 11:45 - 12:15
Dependency Graph Method for Proving Termination of Narrowing
Koichi Miura, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.)
# Information for speakers
Invited Talk will have 45 minutes for presentation and 15 minutes for discussion.
=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:
Thu, Aug 4, 2005 - Fri, Aug 5, 2005: Otaru Univ. of commerce, Room 407 [Wed, Jun 15], Topics: general
# SECRETARY:
Katsuhiko Gondow (Tokyo Institute of Technology)
TEL 03-5734-2810
FAX 03-5734-2772
E-mail: gondow @cs.titech.ac.jp
# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://www.sde.cs.titech.acjp/ss/
Last modified: 2005-05-26 12:17:37
|
Notification: Mail addresses are partially hidden against SPAM.
|