| 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 (Nagoya Univ.) Vice Chair: Tsuneo Ajisaka (Wakayama Univ.) Secretary: Katsuhiko Gondow (Tokyo Inst. of Tech.), Keiichirou Kusakari (Nagoya Univ.) DATE: Mon, Dec 17, 2007 09:00 - 17:30 Tue, Dec 18, 2007 09:00 - 12:15 PLACE: Matsue Campus, Shimane University(1060, Nishikawatsu-cho, Matsue-shi, Japan. http://www.shimane-u.ac.jp/web/campus_access/access.html. Prof. IWAMI Munehiro) TOPICS: general ---------------------------------------- Mon, Dec 17 AM (09:00 - 17:30) ---------------------------------------- (1) 09:00 - 09:30 Supporting the Elicitation of Regulation Compliant Requirements Motoshi Saeki (Tokyo Tech), Haruhiko Kaiya (Shinshu Univ.) (2) 09:30 - 10:00 Experimental Evaluation of i* framework development using actor relationship matrix Komon Ibe, Yuriko Sato, Shuichiro Yamamoto (NTTDATA) (3) 10:00 - 10:30 Construction of a Requests Model from a Request List Hideaki Miyanishi, Hiroyuki Yamada, Hiroshi Kai, Hirohisa Aman (Ehime Univ.) ----- Break ( 15 min. ) ----- (4) 10:45 - 11:15 On the Acyclicity of Combinators Munehiro Iwami (Shimane Univ.) (5) 11:15 - 11:45 Generating tests from proof scores in the OTS/CafeOBJ method Masaki Nakamura (JAIST), Takahiro Seino (AIST) ----- Lunch Break ( 75 min. ) ----- (6) 13:00 - 13:30 An experimental program-generation system based on meta-computation. Yoshitaka Nishida, Kiyoshi Akama (Hokkaido Univ.), Hidekatu Koike (Sapporo Gakuin Univ.) (7) 13:30 - 14:00 A Framework for Synthesizing low-level Imperative Programs From Deterministic Abstract Programs Toshihiro Wakatsuki, Kiyoshi Akama (Hokkaido Univ.), Hiroshi Mabuchi (Iwate Prefectural Univ.) (8) 14:00 - 14:30 Extending program-generation system GeneSys for allowing negation in equational specifications Satoru Kondo, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) ----- Break ( 15 min. ) ----- (9) 14:45 - 15:15 A Grouping Method of Code Clone with Code-Inclusion Relation Toshihiro Kamiya (AIST) (10) 15:15 - 15:45 Retrieving Similar Code based on Co-occurrence of Identifiers and Its Application to Defect Detection Takeshi Hattori, Norihiro Yoshida, Yasuhiro Hayase, Yoshiki Higo, Makoto Matsushita, Shinji Kusumoto, Katsuro Inoue (Osaka Univ.) (11) 15:45 - 16:15 Generating Gapped Code Clone Information using AGM Algorithm Yoshiki Higo (Osaka Univ.), Yasushi Ueda (JAXA), Shinji Kusumoto, Katsuro Inoue (Osaka Univ.) ----- Break ( 15 min. ) ----- (12) 16:30 - 17:00 Improving Test Methods for Constraints on Network Route Structures in Constraint Programs Hajime Nakajima, Haruo Oishi, Takeshi Masuda, Tetsuya Yamamura (NTT) (13) 17:00 - 17:30 A tool for designing Sudoku problems by interactive fill-in approach Yohei Umano, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Uni.) ---------------------------------------- Tue, Dec 18 AM (09:00 - 12:15) ---------------------------------------- (14) 09:00 - 09:30 Integration Test Environment of Web Application Asako Katayama, Tadahiro Uehara, Toshihiro Kodaka, Yuka Tanaka, Kyoko Ohashi, Rieko Yamamoto (Fujitsu Lab.) (15) 09:30 - 10:00 Proposal of a Test Case Generation Method for Enbedded Systems from Sequence Diagram Yo Inoue, Tetsuro Katayama (Univ of Miyazaki) (16) 10:00 - 10:30 Aspect-oriented programming for the web controller layer Keiji Hokamura, Naoyasu Ubayashi (KIT) ----- Break ( 15 min. ) ----- (17) 10:45 - 11:15 On a Function Point Measurement from Web application using static analysis Teruhiko Akaike, Shinji Kusumoto (Osaka Univ.), Shigeo Hanabusa, Toshihisa Shibamoto (hitachi SAS) (18) 11:15 - 11:45 Detecting functional division in execution trace of object oriented program Yui Watanabe, Takashi Ishio, Katsuro Inoue (Osaka Univ.) (19) 11:45 - 12:15 Evolvable e-Learning system Katsunori Katoh, Kiyoshi Akama, Keisuke Nakamura (Hokkaido 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 3, 2008 - Tue, Mar 4, 2008: Nagasaki Univ. [Mon, Dec 10], Topics: general # 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: 2007-12-14 13:58:01 |
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]