===============================================
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.
|