| 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: Tsuneo Ajisaka (Wakayama Univ.) Vice Chair: Hiroyuki Seki (NAIST) Secretary: Naruki Mitsuda (Wakayama Univ.), Keiichirou Kusakari (Nagoya Univ.) DATE: Thu, Dec 18, 2008 14:00 - 16:15 Fri, Dec 19, 2008 09:30 - 12:15 PLACE: Kochi Univiersity of Technology(Tosayamada-cho, Kochi, 782-8502, Japan. Dr. Yoshiaki Takata) TOPICS: general ---------------------------------------- Thu, Dec 18 PM (14:00 - 16:15) ---------------------------------------- (1) 14:00 - 14:30 An Observation of Maintenance Process in Agile Software Development using Bug Tracking System Kyohei Fushida, Yuki Ohmae, Masataka Nagura, Shinji Kawaguchi, Kimiharu Ohkura, Hajimu Iida (Nara Inst. of Scie and Tech.) (2) 14:30 - 15:00 Experimentally Deriving Probability of Program Piracy based on Length of Code Clone Satoshi Okahara (Nara Inst. of Sence and Tech.), Yuki Manabe (Osaka Univ.), Hiroki Yamauchi, Akito Monden, Ken-ichi Matsumoto (Nara Inst. of Sence and Tech.), Katsuro Inoue (Osaka Univ.) ----- Break ( 15 min. ) ----- (3) 15:15 - 15:45 Checking the Compliance of Requirements Specifications to Regulations using a Model Checker Motoshi Saeki (Tokyo Tech.), Haruhiko Kaiya (Shinshu Univ.), Satoshi Hattori (Tokyo Tech.) (4) 15:45 - 16:15 Overheads in using version control systems and techniques to reduce them Hitoshi Sakai, Katsuhiko Gondow (Tokyo Inst. of Tech.) ---------------------------------------- Fri, Dec 19 AM (09:30 - 12:15) ---------------------------------------- (5) 09:30 - 10:00 A modelling method for understanding computer behaviours at the user-interface level Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo) (6) 10:00 - 10:30 Solving Satisfiability of CNF Formulas with Elementary Symmetric Functions Yohei Umano, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) (7) 10:30 - 11:00 Decidability of Termination Properties for Term Rewriting Systems Consisting of Shallow Dependency Pairs Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) ----- Break ( 15 min. ) ----- (8) 11:15 - 11:45 XML Processing Techniqes Based on Tree Automata Yoshiaki Takata (Kochi Univ. of Tech.), Hiroyuki Seki (Nara Inst. of Scei and Tech.) (9) 11:45 - 12:15 Description and Query of Sensing Data for Their Open Access Hiroshi Takahashi, Naruki Mitsuda, Tsuneo Ajisaka (Wakayama 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: Mon, Mar 2, 2009 - Tue, Mar 3, 2009: Saga University [Tue, Dec 16], Topics: general Thu, May 21, 2009 - Fri, May 22, 2009: Akita University [Mon, Mar 23], Topics: general # SECRETARY: Naruki Mitsuda (Wakayama Univ.) TEL 073-457-8433 FAX 073-457-8434 E-mail:  n       -u # ANNOUNCEMENT: # Latest information will be presented on the homepage http://sdlab.sys.wakayama-u.ac.jp/ss/ Last modified: 2008-11-27 01:40:39 |
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]