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: Keiichirou Kusakari, Katsuhiko Gondow

DATE:
Thu, Aug 3, 2006 13:00 - 18:00
Fri, Aug 4, 2006 08:45 - 12:00

PLACE:
Faculty of Engineering Hokkaido University(http://www.eng.hokudai.ac.jp/location/. MINAMISAWA Yoshiaki)

TOPICS:
general

----------------------------------------
Thu, Aug 3 PM (13:00 - 18:00)
----------------------------------------

(1) 13:00 - 13:30
Software Design Method using Extended Finite-state Automata with Constraints
Shin Nakajima (NII)

(2) 13:30 - 14:00
Semantics of identifying objects in computers by using attributes, and its syntax translation
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo)

(3) 14:00 - 14:30
Static call-graph generator for C++ using debugging information
-- Detecting virtual function calls by light-weight binary-level type analysis --
Yui Terashima, Katsuhiko Gondow (Titech)

----- Break ( 15 min. ) -----

(4) 14:45 - 15:15
Design and Implementation of a Web Board Game Using Double-Phase XSLT Structure
Takayo Nagase, Naruki Mitsuda, Naoki Fukuyasu, Takuo Matsunobe, Atsushi Yoshida, Tsuneo Ajisaka (Wakayama Univ.)

(5) 15:15 - 15:45
A Resource Discovery Method Based on Multi-Agents in P2P Systems
Yoshikuni Harada, Yasushi Kambayashi (N.I.T.)

(6) 15:45 - 16:15
Automatic Updating System of Java Software Component Repository using Desktop Search System
Makoto Ichii, Kazumasa Kimura, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)

----- Break ( 15 min. ) -----

(7) 16:30 - 17:00
Report on Effectiveness of Refactoring for Code Clone
Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue (Osaka Univ.)

(8) 17:00 - 17:30
Effects of Thesarus in Requirements Elicitation
Junzo Kato (consultant), Motoshi Saeki (Titech), Atsushi Ohnishi (Rits U), Haruhiko Kaiya (Shinshu u), Shuichiro Yamamoto (NTT Data)

(9) 17:30 - 18:00
On the Definition of Software Accountability
Koichiro Ochimizu (JAIST)

----------------------------------------
Fri, Aug 4 AM (08:45 - 12:00)
----------------------------------------

(10) 08:45 - 09:15
Multi-Completion with new encoding for Partial Order Constraints
Haruhiko Sato, Masahito Kurihara (Hokkaido Univ.)

(11) 09:15 - 09:45
The Research about Creating Auto Edition Template with the Formal Languages Method
Kenichi Zai (Rococo)

(12) 09:45 - 10:15
Hierarchical Model Checking to Ensure Timeliness QoS Described in UML/OCL
Eigo Nagai, Kozo Okano, Shinji Kusumoto (Osaka Univ.)

----- Break ( 15 min. ) -----

(13) 10:30 - 11:00
Extension of Interaction Model by Mapping Method
Takuto Yanagida, Hidetoshi Nonaka, Masahito Kurihara (Hokkaido Univ.)

(14) 11:00 - 11:30
An Efficient Model Checking Method for Programs with History-based Access Control
Jing Wang, Yoshiaki Takata, Hiroyuki Seki (NAIST)

(15) 11:30 - 12:00
Hierarchical Model-checking for Web Application with SPIN
Yuu Hamaguchi, Akira Yoshimura, Kozo Okano, Shinji Kusumoto (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, Oct 26, 2006 - Fri, Oct 27, 2006: Ehime University [Mon, Aug 21]

# 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: 2010-10-12 19:28:48


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