IEICE Technical Report

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

Knowledge-Based Software Engineering

Workshop Date : 2011-09-21 - 2011-09-22 / Issue Date : 2011-09-14

KBSE2011-24
Development of a Software Security Learning Environment
Atsuo Hazeyama (TGU), Hiroto Shimizu (IIS)
pp. 1 - 6

KBSE2011-25
Exploring Unexpected Scenarios of Household Electrical Appliances with Problem Frames
Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine (KIT), Takako Nakatani (Univ. of Tsukuba)
pp. 7 - 12

KBSE2011-26
On a reduced form of software Failure Analysis Table
Daisuke Yoshikawa, Shuichiro Yamamoto (Nagoya Univ.)
pp. 13 - 17

KBSE2011-27
Requirements Elicitationusing Abduction
Toshihiko Tsumaki (NII)
pp. 19 - 24

KBSE2011-28
A Consideration for Analyzing Information Collaboration Structures -- Towards a development method for sustainable Information collaboration services --
Shuichiro Yamamoto (Nagoya Univ.)
pp. 25 - 30

KBSE2011-29
A Verification Method of Software Requirements Specification using Requirements Ontology
Takeo Kondo, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 31 - 36

KBSE2011-30
A Proposal of a System to Support the Versification of a Chinese Poem: -- Constraints on Versification and Support for Versification by Utilizing a Database of Poetic Diction --
Feng Qiu (Shibaura Institute of Technology Univ), Keiichi Nakamura (Sumitomo Heavy Industries ltd), Seiichi Komiya (Shibaura Institute of Technology Univ)
pp. 37 - 42

KBSE2011-31
A Method for Navigating Interview-Driven Software Requirements Elicitation Work -- A Method of automatic generation of requirements specification --
Takatoshi Yamanaka, Hiroaki Iizuka, Shuhei Murayama, Fuminori Hirose, Seiichi Komiya (Shibaura)
pp. 43 - 48

KBSE2011-32
Interactive Test Data Development Tool for Validating Requirements Analysis Model
Ryo Shikimi, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 49 - 54

KBSE2011-33
Generating Precondition of each Test Case by Using trajectory of program execution -- To improve the coverage of white box testing --
Hiroyuki Ebihara, Seiichi Komiya (Shibaura Institute of Technology), Kouhei Sakurai (University of Tokyo)
pp. 55 - 60

KBSE2011-34
Dependency Analysis for Application Development Framework of Business Logic Modeling
Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura (SIT)
pp. 61 - 66

KBSE2011-35
A Survival Analysis of Code Change focusing on Code Dependency and Code Clone
Ryohei Asano, Myrizki Sandhi Yudha, Hirohisa Aman (Ehime Univ)
pp. 67 - 72

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