| 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: Motoshi Saeki Vice Chair: Toshiki Sakabe Secretary: Katsuhiko Gondow, Makoto Matsushita DATE: Mon, Dec 19, 2005 13:00 - 17:15 Tue, Dec 20, 2005 09:00 - 17:15 PLACE: Kochi Women's University, Eikokuji Campus, Kanri-tou (main bldg.), Room #202(5-15 Eikokuji-cho, Kochi city, Kochi, 780-8515. 15 minite walk from JR Kochi station. http://www.kochi-wu.ac.jp/access-j.html. Prof. Keiko Murase. 088-873-2645) TOPICS: general ---------------------------------------- Mon, Dec 19 PM (13:00 - 17:15) ---------------------------------------- (1) 13:00 - 13:30 Development of a clock level simulator by reusable code design Kazuya Fukuhara, Toshimitsu Inomata, Masakazu Soga (Iwate Prefectural Univ.) (2) 13:30 - 14:00 Extension of Automatic Visualization Tool "Avis" for Structure of Classes Yoshihiro Kita, Takanori Kawasoe, Tetsuro Katayama (Univ. of Miyazaki) (3) 14:00 - 14:30 Extraction of Conversion Rules from UML Diagrams to Java Source Codes and a Prototype of Conversion Tool Kiyohito Shimomura, Tetsuro Katayama (Univ. of Miyazaki) (4) 14:30 - 15:00 Secrecy Verification by Transforming Cryptographic Protocol Descriptions to Coloured Petri Nets Daisuke Okuya, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) ----- Break ( 15 min. ) ----- (5) 15:15 - 15:45 Obfuscating Cipher Programs against Primary Attacking Tasks Hiroki Yamauchi, Yuichiro Kanzaki, Akito Monden, Masahide Nakamura, Ken-ichi Matsumoto (NAIST) (6) 15:45 - 16:15 Applying an Intercultural Collaboration Support Tool to Software Requirements Elicitation Meetings Akinori Tsuji, Yusuke Koyama, Masao Ohira, Ken-ichi Matsumoto (NAIST) (7) 16:15 - 16:45 A Study of Relationship between Class Cohesion and Source Code Changing Rate Junichi Yamashita, Hirohisa Aman (Graduate School of Ehime Univ.) (8) 16:45 - 17:15 A Method to Find Differences between Two Programs for Syntax based Versioning Systems Naoki Fukuyasu, Atsushi Yoshida (Wakayama Univ.) ---------------------------------------- Tue, Dec 20 AM (09:00 - 17:15) ---------------------------------------- (9) 09:00 - 09:30 identifying of an object from different viewpoints using its attributes in the computing environments Fumiko Kouda (univ.ofTokyo), Takashi Chikayama (univ.of Tokyo) (10) 09:30 - 10:00 Pseudo Adaptive Methods Noriki Amano (JAIST) ----- Break ( 15 min. ) ----- (11) 10:15 - 10:45 Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting Systems Keiichirou Kusakari, Masahiko Sakai (Nagoya Univ.) (12) 10:45 - 11:15 FTA - Product Line Engineering Collaboration Atsushi Noda, Tsuneo Nakanishi, Akira Fukuda (Kyushu Univ.) (13) 11:15 - 11:45 Type Judgement System for Communication Error in Distributed JoinJAVA Programs Masaki Saeki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) ----- Lunch Break ( 75 min. ) ----- (14) 13:00 - 13:30 Metrics for effort estimation on contracting maintenance service Kenichi Kobayashi, Toshiaki Yoshino (Fujitsu Labs.), Katsuro Inoue, Yasuhiro Hayase (Osaka Univ.), , (Fujitsu Labs.) (15) 13:30 - 14:00 Exploration of scale-freeness of use-relations of software components Makoto Ichii, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) (16) 14:00 - 14:30 A Layered Architecture of Formal Specification Xiaojing Zhang, Yoichi Omori, Keijiro Araki (Kyushu Univ.) (17) 14:30 - 15:00 Supporting Method for Insertion of Behaviors based on Security Requirements to Scenarios Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan Univ.) (18) 15:00 - 15:30 A Software Process Tailoring System based on Quantitative Management Plans Kazumasa Hikichi, Hajimu Iida, Ken-ichi Matsumoto (NAIST) ----- Break ( 15 min. ) ----- (19) 15:45 - 16:15 * Yasuhiro Hayase, Makoto Matsushita, Shinji Kusumoto, Katsuro Inoue (Osaka Univ.), Kenichi Kobayashi, Toshiaki Yoshino (Fujitsu Lab.) (20) 16:15 - 16:45 Characterizing software projects unpredictable by effort estimation models Koji Toda, Masateru Tsunoda, Akito Monden, Ken-ichi Matsumoto (NAIST) (21) 16:45 - 17:15 A Framework to Generate SPIN based Verification Codes for Struts WEB Applications Takayuki Fujiwara, 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, Feb 2, 2006 - Fri, Feb 3, 2006: Fukuoka Laboratory for Emerging and Enabling Technology of SoC [Sat, Dec 10], Topics: general # SECRETARY: Katsuhiko Gondow (Tokyo Institute of Technology) TEL 03-5734-2810 FAX 03-5734-2772 E-mail:  n w      # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sde.cs.titech.acjp/ss/ Last modified: 2005-12-01 00:11:23 |
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]