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

DATE:
Thu, Jun 22, 2006 13:30 - 17:30
Fri, Jun 23, 2006 09:30 - 12:15

PLACE:
(Murakami, Masaki)

TOPICS:
general

----------------------------------------
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.)

----- 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)

----- 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.)

----- 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.)

# Information for speakers
General Talk will have 20 minutes for presentation and 10 minutes for discussion.


=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:

Thu, Aug 3, 2006 - Fri, Aug 4, 2006: Hokkaido University [Mon, Jun 19], Topics: general

# SECRETARY:
KUSAKARI Keiichirou (Nagoya University)
TEL: 052-789-3973
FAX: 052-789-3801
E-mail: kusakari@is.nagoya-u.ac.jp

# ANNOUNCEMENT:
# Latest information will be presented on the homepage http://www.sakabe.i.is.nagoya-u.ac.jp/ss/


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