IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Software Science (SS) [schedule] [select]
Chair Motoshi Saeki
Vice Chair Toshiki Sakabe
Secretary Katsuhiko Gondow, Makoto Matsushita

Conference Date Thu, Jun 23, 2005 13:00 - 17:00
Fri, Jun 24, 2005 09:00 - 12:15
Topics general 
Conference Place OHTA International Memorial Hall, Shinshu University 
Address 4-17-1 Wakasato Nagano-shi Nagano, 380-8553
Transportation Guide 8 minutes by bus or 20 minutes by walk from JR Nagano station
http://www.cs.shinshu-u.ac.jp/map/map.html
Contact
Person
Prof. Haruhiko Kaiya
026-269-5469

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)
  14:00-14:15 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.)
  15:45-16:00 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)
  10:30-10:45 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.)

Announcement for Speakers
Invited TalkEach speech will have 45 minutes for presentation and 15 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--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.

[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   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan