|
|
| Chair |
|
Toshiki Sakabe (Nagoya Univ.) |
| Vice Chair |
|
Tsuneo Ajisaka (Wakayama Univ.) |
| Secretary |
|
Katsuhiko Gondow (Tokyo Inst. of Tech.), Keiichirou Kusakari (Nagoya Univ.) |
|
| Conference Date |
Mon, Dec 17, 2007 09:00 - 17:30
Tue, Dec 18, 2007 09:00 - 12:15 |
| Topics |
general |
| Conference Place |
Matsue Campus, Shimane University |
| Address |
1060, Nishikawatsu-cho, Matsue-shi, Japan |
| Transportation Guide |
http://www.shimane-u.ac.jp/web/campus_access/access.html |
Contact
Person |
Prof. IWAMI Munehiro |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Mon, Dec 17 AM
09:00 - 17:30 |
| (1) |
09:00-09:30 |
Supporting the Elicitation of Regulation Compliant Requirements  SS2007-38 |
Motoshi Saeki (Tokyo Tech), Haruhiko Kaiya (Shinshu Univ.) |
| (2) |
09:30-10:00 |
Experimental Evaluation of i* framework development using actor relationship matrix SS2007-39 |
Komon Ibe, Yuriko Sato, Shuichiro Yamamoto (NTTDATA) |
| (3) |
10:00-10:30 |
Construction of a Requests Model from a Request List SS2007-40 |
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 SS2007-41 |
Munehiro Iwami (Shimane Univ.) |
| (5) |
11:15-11:45 |
Generating tests from proof scores in the OTS/CafeOBJ method SS2007-42 |
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. SS2007-43 |
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 SS2007-44 |
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 SS2007-45 |
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 SS2007-46 |
Toshihiro Kamiya (AIST) |
| (10) |
15:15-15:45 |
Retrieving Similar Code based on Co-occurrence of Identifiers and Its Application to Defect Detection SS2007-47 |
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 SS2007-48 |
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 SS2007-49 |
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 SS2007-50 |
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 SS2007-51 |
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 SS2007-52 |
Yo Inoue, Tetsuro Katayama (Univ of Miyazaki) |
| (16) |
10:00-10:30 |
Aspect-oriented programming for the web controller layer SS2007-53 |
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 SS2007-54 |
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 SS2007-55 |
Yui Watanabe, Takashi Ishio, Katsuro Inoue (Osaka Univ.) |
| (19) |
11:45-12:15 |
Evolvable e-Learning system SS2007-56 |
Katsunori Katoh, Kiyoshi Akama, Keisuke Nakamura (Hokkaido Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 10 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
KUSAKARI Keiichirou (Nagoya University)
TEL 052-789-3973
FAX 052-789-3801
E- :      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
|