Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [Japanese] / [English]
KBSE2012-69
Verification of Program Defects Based on Model Checking Techniques for Development
-- Stable Checking with Inspection Support Tool --
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 1 - 6
KBSE2012-70
A Characteristics Analysis Support Tool for Simulink Model Quality and its Application
Tsubasa Sasaki, Kengo Minegishi, Yoshikazu Ueda (Ibaraki Univ.)
pp. 7 - 12
KBSE2012-71
Abstraction Method of UML Sequence Diagram Based on Execution Trace
Shouichi Miyagi, Kouji Kamijo, Yoshikazu Ueda (Ibaraki Univ.)
pp. 13 - 18
KBSE2012-72
KBSSD: Proposal of a Software Security Knowledge Base for Web Application Development
Atsuo Hazeyama (Tokyo Gakugei Univ.)
pp. 19 - 24
KBSE2012-73
Using Multi-Dimensional Goal Graphs for Clarifying Requirements Structure
Wataru Inoue, Shinpei Hayashi (Tokyo Inst. of Tech.), Takanori Ugai (Fujitsu Lab.), Motoshi Saeki (Tokyo Inst. of Tech.)
pp. 25 - 30
KBSE2012-74
Supporting tool for security requirements analysis using asset flows and deployment diagrams
Yusuke Takizawa, Junya Sakai, Haruhiko Kaiya, Shinpei Ogata, Kenji Kaijiri (Sinshu Univ.)
pp. 31 - 36
KBSE2012-75
Test Case Design Method to Guarantee the Feasibility of the Requirements Based on the Simulation
Ryo Shikimi (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 37 - 42
KBSE2012-76
Model checking potential deadlocks of DB transactions
Takuya Saruwatari, Hideaki Tsukamoto, Shingo Kamiya, Shunsuke Miyata (NTT)
pp. 43 - 48
KBSE2012-77
Information retrieval of pattern stream
Makoto Yamaguchi, Satoshi Shimada, Takao Miura (Hosei Univ.)
pp. 49 - 54
KBSE2012-78
[Invited Talk]
Role of Knowledge-Based Software Engineering and Expectations to SIG-KBSE
Haruki Ueno (NII)
pp. 55 - 59
KBSE2012-79
A proposal on a rule to construct a word of Dependability Case
Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
pp. 61 - 66
KBSE2012-80
A Consideration on Dependability Case decomposition patterns
Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.)
pp. 67 - 72
KBSE2012-81
Applying Techniques of Programming Languages to Assurance Case Tool
Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
pp. 73 - 78
KBSE2012-82
A proposal on architecture based verification case
Shuichiro Yamamoto (Nagoya Univ.)
pp. 79 - 83
KBSE2012-83
A Software Regression Testing Tool with the Facilities to Restore the State at Program Execution of a Program under Test.
Yuhei Otani (Shibaura Inst. of Tech.), Hiroaki Hashiura (Toyo Univ.), Seiichi Komiya (Shibaura Inst. of Tech.)
pp. 85 - 90
KBSE2012-84
[Invited Talk]
Dimensions of Software Knowledge
Shuichiro Yamamoto (Nagoya Univ.)
pp. 91 - 96
KBSE2012-85
A CAI System for Remedial Education
-- A Student Model and a Search Algorithm for Identifying Each Weak Part of a Learner --
Fuminori Hirose (Shibaura Inst. of Tech.), Kazuhiro Uenosono (Aoyama Gakuin Univ.), Seiichi Komiya (Shibaura Inst. of Tech.)
pp. 97 - 102
KBSE2012-86
A System to Help with Making Subtitles Condensed the Content of a Lecture
-- A Proposal of a Method to Help with Making them by a Decision-Making technique --
Seiichi Komiya, Hisaki Kudo (Shibaura Inst. of Tech.), Kazuhiro Uenosono (Aoyama Gakuin Univ.), Rihito Yaegashi (Kagawa Univ.)
pp. 103 - 108
KBSE2012-87
Knowledge Integration by using Domain-Specific Languages
Tadashi Iijima (Keio Univ.)
pp. 109 - 114
KBSE2012-88
Evaluating Web Application Modifiability Using Framework
Asuka Takahashi, Hiromi Kobayashi (Tokai Univ.)
pp. 115 - 120
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.