IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Knowledge-Based Software Engineering

Workshop Date : 2011-07-29 - 2011-07-30 / Issue Date : 2011-07-22

KBSE2011-10
A New GTA Approach based on Japanese Culture and Grammer
Shigeo Kaneda, Ken Nagata (Doshisha Univ.)
pp. 1 - 6

KBSE2011-11
Considerations on Requirements Change Process Modeling
Shuichiro Yamamoto (Nagoya Univ.)
pp. 7 - 12

KBSE2011-12
A Proposal on Software FMEA Method based on Process Discriptions
Daisuke Yoshikawa, Shuichiro Yamamoto (Nagoya Univ.)
pp. 13 - 18

KBSE2011-13
A Study of Code-Change Event Modeling in Open Source Software
Hirohisa Aman (Ehime Univ.)
pp. 19 - 24

KBSE2011-14
Comparison of investigation methods about influence of code clone on software maintenance
Yui Sasaki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 25 - 30

KBSE2011-15
Identifying systematic changes of Java source code structure
Hideaki Hata (Osaka Univ.), Osamu Mizuno (Kyoto Institute of Tech.), Tohru Kikuno (Osaka Univ.)
pp. 31 - 36

KBSE2011-16
A Supporting Method of Understanding Sequence Control Programs
Shunsuke Maki, Yuki Hayashi, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 37 - 42

KBSE2011-17
Development of Programming Learning Support System "BEginer/1"
Takahiro Ishizuka (HIU)
pp. 43 - 48

KBSE2011-18
[Invited Talk] A consideration of growth processes and changes in Software Architecture
Yoshitomi Morisawa (HIU)
pp. 49 - 56

KBSE2011-19
Ranking Candidates for Applying Template Method Pattern with a Cohesion Metric COB
Masakazu Ioka (Osaka Univ.), Norihiro Yoshida (NAIST), Tomoo Masai, Katsuro Inoue (Osaka Univ.)
pp. 57 - 62

KBSE2011-20
Consideration of Migration Method using Program Slicing for Large-Scale Information Control Software
Tomoyuki Mochizuki, Yuichi Kobayashi, Akitoshi Shimura, Hiromitsu Kato, Takayuki Takezawa (Hitachi)
pp. 63 - 68

KBSE2011-21
An Injection Vulnerability Analysis of Web Applications using String-Taint Analysis
Tatsunori Houan, Seikoh Nishita (Takushoku Univ.)
pp. 69 - 73

KBSE2011-22
On Generating Realtime Programs with Runtime Checking -- From Timed Automata to Realtime Programs on Non-Realtime Environments --
Ilankaikone Senthooran, Julian Prokay, Takuo Watanabe (Tokyo Inst. of Tech.)
pp. 75 - 80

KBSE2011-23
Automatic Assertion Generation using Model Checking and Daikon and its Application to a Real Example
Kazuki Kobayashi, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 81 - 86

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

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