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, Feb 2, 2006 13:30 - 17:15
Fri, Feb 3, 2006 09:30 - 12:45
Topics general 
Conference Place Fukuoka Laboratory for Emerging and Enabling Technology of SoC 
Transportation Guide http://www.fleets.jp/access/index.html
Contact
Person
Dr. Michihiro Matsumoto
092-832-2520(代表)

Thu, Feb 2 PM 
13:30 - 17:15
(1) 13:30-14:00 An analysis method of unexpected obstacles in embedded software by Information Flow Diagram Hidehiro Kametani (KIT), Yasufumi Shinyashiki, Toshiro Mise (MEW), Masaaki Hashimoto, Naoyasu Ubayashi, Keiichi Katamine (KIT), Takako Nakatani (S-Lagoon)
(2) 14:00-14:30 Formal Verification of Refactoring with ESC/Java Shin Nakajima (NII), Yoshiaki Fukushima, Yusuke Hashimoto, Shinichi Iwasaki (NEC)
(3) 14:30-15:00 Experiments for Ontology-based Requirements Elicitation Method Takayuki Sugiura, Atsushi Ohnishi (Ritsumeikan Univ.)
(4) 15:00-15:30 Report on Automated Software Engineering 2005 Kenji Taguchi (NII), Motoshi Saeki (TIT), Shinichi Honiden (NII)
  15:30-15:45 Break ( 15 min. )
(5) 15:45-16:15 A supporting method of management of software requirements specification with differential analysis Kanako Shimizu, Atsushi Ohnishi (Ritsumeikan Univ.)
(6) 16:15-16:45 create the framework of active program from pi-expression Katsumasa Watanabe (NAIST), LO Fuchuan (TOPPAN CFI), Masaki Nakanishi, Shigeru Yamashita (NAIST)
(7) 16:45-17:15 Secrecy Verification of Spi Calculus based on Term Regular Expressions Yoshihiko Tashiro, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
Fri, Feb 3 AM 
09:30 - 12:45
(8) 09:30-10:00 An AHP Based Technique for Selecting Requirements Alternatives Takao Yamazaki, Motoshi Saeki (Tokyo Inst. of Tech.)
(9) 10:00-10:30 Model Checking Integrated Services of Home Network Systems Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)
(10) 10:30-11:00 Lexicographic Path Ordering for Proving Termination of Functional Programs Yumi Hoshino, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
  11:00-11:15 Break ( 15 min. )
(11) 11:15-11:45 Performance verification considering the network delay for Real-time Distributed Systems with the probabilistic model checker PRISM Eigo Nagai, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
(12) 11:45-12:15 A proposal for Web ApplicationFramework improving Modularity of page and function Takao Haraguchi (Waseda Univ.), Kouichi Ono (IBM Japan), Yoshiaki Fukazawa (Waseda Univ.)
(13) 12:15-12:45 Runtime environment of workflows for change support in a cooperative software development Masayuki Kotani, Koichiro Ochimizu (JAIST)

Announcement for Speakers
General TalkEach 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: 2006-01-12 16:28:45


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 

[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 

[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