|
Chair |
|
Hiroyuki Seki (NAIST) |
Vice Chair |
|
Shin Nakajima (NII) |
Secretary |
|
Yoshiaki Takata (Kochi Univ. of Tech.), Naruki Mitsuda (Wakayama Univ.) |
Assistant |
|
Hironobu Washizaki (Waseda Univ.) |
|
|
Chair |
|
Takako Nakatani (Univ. of Tsukuba) |
Vice Chair |
|
Saeko Matsuura (Shibaura Inst. of Tech.) |
Secretary |
|
Hirohisa Aman (Ehime Univ.), Junko Shirogane (Tokyo Woman's Christian Univ.) |
Assistant |
|
Atsuo Hazeyama (Tokyo Gakugei Univ.), Takuya Saruwatari (NTT DATA) |
|
Conference Date |
Fri, Jul 29, 2011 11:00 - 17:30
Sat, Jul 30, 2011 09:30 - 12:15 |
Topics |
General topics |
Conference Place |
EDC Tower 8F, Hokkaido Information University |
Address |
59-2, Nishinopporo, Ebetsu, Hokkaido, 069-8585 Japan |
Transportation Guide |
25 min. by foot or 5 min. by bus from JR Nopporo sta. (15 min. by train between JR Sapporo sta. and JR Nopporo sta.) http://www.do-johodai.ac.jp/guidance/access.php |
Contact Person |
Prof. Yoshitomi Morisawa
011-385-4411 |
Announcement |
Please join us for an opening reception. |
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) |
Fri, Jul 29 AM 11:00 - 12:30 |
(1) |
11:00-11:30 |
A New GTA Approach based on Japanese Culture and Grammer SS2011-13 KBSE2011-10 |
Shigeo Kaneda, Ken Nagata (Doshisha Univ.) |
(2) |
11:30-12:00 |
Considerations on Requirements Change Process Modeling SS2011-14 KBSE2011-11 |
Shuichiro Yamamoto (Nagoya Univ.) |
(3) |
12:00-12:30 |
A Proposal on Software FMEA Method based on Process Discriptions SS2011-15 KBSE2011-12 |
Daisuke Yoshikawa, Shuichiro Yamamoto (Nagoya Univ.) |
|
12:30-13:30 |
Lunch Break ( 60 min. ) |
Fri, Jul 29 PM 13:30 - 17:30 |
(4) |
13:30-14:00 |
A Study of Code-Change Event Modeling in Open Source Software SS2011-16 KBSE2011-13 |
Hirohisa Aman (Ehime Univ.) |
(5) |
14:00-14:30 |
Comparison of investigation methods about influence of code clone on software maintenance SS2011-17 KBSE2011-14 |
Yui Sasaki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(6) |
14:30-15:00 |
Identifying systematic changes of Java source code structure SS2011-18 KBSE2011-15 |
Hideaki Hata (Osaka Univ.), Osamu Mizuno (Kyoto Institute of Tech.), Tohru Kikuno (Osaka Univ.) |
|
15:00-15:15 |
Break ( 15 min. ) |
(7) |
15:15-15:45 |
A Supporting Method of Understanding Sequence Control Programs SS2011-19 KBSE2011-16 |
Shunsuke Maki, Yuki Hayashi, Atsushi Ohnishi (Ritsumeikan Univ.) |
(8) |
15:45-16:15 |
Development of Programming Learning Support System "BEginer/1" SS2011-20 KBSE2011-17 |
Takahiro Ishizuka (HIU) |
|
16:15-16:30 |
Break ( 15 min. ) |
(9) |
16:30-17:30 |
[Invited Talk]
A consideration of growth processes and changes in Software Architecture SS2011-21 KBSE2011-18 |
Yoshitomi Morisawa (HIU) |
Sat, Jul 30 AM 09:30 - 12:15 |
(10) |
09:30-10:00 |
Ranking Candidates for Applying Template Method Pattern with a Cohesion Metric COB SS2011-22 KBSE2011-19 |
Masakazu Ioka (Osaka Univ.), Norihiro Yoshida (NAIST), Tomoo Masai, Katsuro Inoue (Osaka Univ.) |
(11) |
10:00-10:30 |
Consideration of Migration Method using Program Slicing for Large-Scale Information Control Software SS2011-23 KBSE2011-20 |
Tomoyuki Mochizuki, Yuichi Kobayashi, Akitoshi Shimura, Hiromitsu Kato, Takayuki Takezawa (Hitachi) |
(12) |
10:30-11:00 |
An Injection Vulnerability Analysis of Web Applications using String-Taint Analysis SS2011-24 KBSE2011-21 |
Tatsunori Houan, Seikoh Nishita (Takushoku Univ.) |
|
11:00-11:15 |
Break ( 15 min. ) |
(13) |
11:15-11:45 |
On Generating Realtime Programs with Runtime Checking
-- From Timed Automata to Realtime Programs on Non-Realtime Environments -- SS2011-25 KBSE2011-22 |
Ilankaikone Senthooran, Julian Prokay, Takuo Watanabe (Tokyo Inst. of Tech.) |
(14) |
11:45-12:15 |
Automatic Assertion Generation using Model Checking and Daikon and its Application to a Real Example SS2011-26 KBSE2011-23 |
Kazuki Kobayashi, Kozo Okano, Shinji Kusumoto (Osaka 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 |
Yoshiaki Takata (Kochi Univ. Tech.)
TEL 0887-57-2207
FAX 0887-57-2220
E-: a- |
Announcement |
Latest information will be presented on the homepage
http://www.info.kochi-tech.ac.jp/sigss/ |
KBSE |
Technical Committee on Knowledge-Based Software Engineering (KBSE) [Latest Schedule]
|
Contact Address |
Takako Nakatani (University of Tsukuba)
E-: gssmoba |
Last modified: 2011-07-11 14:13:31
|