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 Toshiki Sakabe
Vice Chair Tsuneo Ajisaka
Secretary Katsuhiko Gondow, Keiichirou Kusakari

Conference Date Thu, Jun 22, 2006 13:30 - 17:30
Fri, Jun 23, 2006 09:30 - 12:15
Topics general 
Conference Place  
Murakami, Masaki

Thu, Jun 22 PM 
13:30 - 17:30
(1) 13:30-14:00 A complete specification transformation from OTS/CafeOBJ to OTS/Maude Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi (JAIST)
(2) 14:00-14:30 Transformation of Equational Rewriting Systems for Removing some Equations Koichi Miura, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
  14:30-14:45 Break ( 15 min. )
(3) 14:45-15:15 Usable Rules and Labeling Product-Typed Term for Dependency Pair Method in Simply-Typed Term Rewriting Systems Takahiro Sakurai, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
(4) 15:15-15:45 Some Cases on Model-Checking of Finite-state Automaton with Constraints Shin Nakajima (NII/JST)
  15:45-16:00 Break ( 15 min. )
(5) 16:00-16:30 Identification of Inconsistency between Class Diagram and Sequence Diagram Erwin Widodo, Atsushi Ohnishi (Ritsumeikan Univ.)
(6) 16:30-17:00 A Method of Reliability Assessment Based on Genetic Algorithm for Open Source Software Yoshinobu Tamura (HIT), Shigeru Yamada (Torrori Univ.)
(7) 17:00-17:30 Combining Software Development Methodologies with Project Management Technologies Koichiro Ochimizu (JAIST)
Fri, Jun 23 AM 
09:30 - 12:15
(8) 09:30-10:00 Applying Partial Redundancy Elimination to Instruction Scheduling Munehiro Takimoto (TUS)
(9) 10:00-10:30 Management of temporary information by sticky notes and its application Daisuke Kiyosaki, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto (Aichi Pref. Univ.)
(10) 10:30-11:00 Extraction of traceable differences between multiple versions of source code Takayuki Omori, Tetsuo Yamamoto, Katsuhisa Maruyama (Ritsumeikan Univ.)
  11:00-11:15 Break ( 15 min. )
(11) 11:15-11:45 An Integrated Tool for Supporting Ontology Based Requirements Elicitation Motohiro Kitamura, Ryo Hasegawa (tokyo institute of technology), Nobuo Yamabe, Haruhiko Kaiya (shinshu university), Motoshi Saeki (tokyo institute of technology)
(12) 11:45-12:15 Implementation of Mail Archive System with Collaborative Editing Kho Yee Choy, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)

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 KUSAKARI Keiichirou (Nagoya University)
TEL: 052-789-3973
FAX: 052-789-3801
E-: is-u 
Announcement Latest information will be presented on the homepage

Last modified: 2006-05-31 16:49:43

Notification: Mail addresses are partially hidden against SPAM.

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

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
[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