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) [schedule] [select]
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
Prof. IWAMI Munehiro
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 TalkEach 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

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.

[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

[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]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan