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.) |
|
10:30-10:45 |
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) |
|
11:45-13:00 |
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.) |
|
14:30-14:45 |
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.) |
|
16:15-16:30 |
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) |
|
10:30-10:45 |
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.) |