| 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:      is    -u # 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.
[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]