| |
- |
|
Thu, Mar 14 AM Session A
10:05 - 11:15 |
| (1) |
10:05-10:40 |
Verification of Program Defects Based on Model Checking Techniques for Development
-- Stable Checking with Inspection Support Tool --  KBSE2012-69 |
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) |
| (2) |
10:40-11:15 |
A Characteristics Analysis Support Tool for Simulink Model Quality and its Application KBSE2012-70 |
Tsubasa Sasaki, Kengo Minegishi, Yoshikazu Ueda (Ibaraki Univ.) |
| |
11:15-11:25 |
Break ( 10 min. ) |
Thu, Mar 14 AM Session B
11:25 - 12:35 |
| (3) |
11:25-12:00 |
Abstraction Method of UML Sequence Diagram Based on Execution Trace KBSE2012-71 |
Shouichi Miyagi, Kouji Kamijo, Yoshikazu Ueda (Ibaraki Univ.) |
| (4) |
12:00-12:35 |
KBSSD: Proposal of a Software Security Knowledge Base for Web Application Development KBSE2012-72 |
Atsuo Hazeyama (Tokyo Gakugei Univ.) |
| |
12:35-13:35 |
Break ( 60 min. ) |
Thu, Mar 14 PM Session C
13:35 - 15:20 |
| (5) |
13:35-14:10 |
Using Multi-Dimensional Goal Graphs for Clarifying Requirements Structure KBSE2012-73 |
Wataru Inoue, Shinpei Hayashi (Tokyo Inst. of Tech.), Takanori Ugai (Fujitsu Lab.), Motoshi Saeki (Tokyo Inst. of Tech.) |
| (6) |
14:10-14:45 |
Supporting tool for security requirements analysis using asset flows and deployment diagrams KBSE2012-74 |
Yusuke Takizawa, Junya Sakai, Haruhiko Kaiya, Shinpei Ogata, Kenji Kaijiri (Sinshu Univ.) |
| (7) |
14:45-15:20 |
Test Case Design Method to Guarantee the Feasibility of the Requirements Based on the Simulation KBSE2012-75 |
Ryo Shikimi (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.) |
| |
15:20-15:30 |
Break ( 10 min. ) |
Thu, Mar 14 PM Session D
15:30 - 16:40 |
| (8) |
15:30-16:05 |
Model checking potential deadlocks of DB transactions KBSE2012-76 |
Takuya Saruwatari, Hideaki Tsukamoto, Shingo Kamiya, Shunsuke Miyata (NTT) |
| (9) |
16:05-16:40 |
Information retrieval of pattern stream KBSE2012-77 |
Makoto Yamaguchi, Satoshi Shimada, Takao Miura (Hosei Univ.) |
| |
16:40-16:50 |
Break ( 10 min. ) |
Thu, Mar 14 PM
16:50 - 17:50 |
| (10) |
16:50-17:50 |
[Invited Talk]
Role of Knowledge-Based Software Engineering and Expectations to SIG-KBSE KBSE2012-78 |
Haruki Ueno (NII) |
Fri, Mar 15 AM Session E
09:30 - 11:15 |
| (11) |
09:30-10:05 |
A proposal on a rule to construct a word of Dependability Case KBSE2012-79 |
Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) |
| (12) |
10:05-10:40 |
A Consideration on Dependability Case decomposition patterns KBSE2012-80 |
Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.) |
| (13) |
10:40-11:15 |
Applying Techniques of Programming Languages to Assurance Case Tool KBSE2012-81 |
Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) |
| |
11:15-11:25 |
Break ( 10 min. ) |
Fri, Mar 15 AM Session F
11:25 - 12:35 |
| (14) |
11:25-12:00 |
A proposal on architecture based verification case KBSE2012-82 |
Shuichiro Yamamoto (Nagoya Univ.) |
| (15) |
12:00-12:35 |
A Software Regression Testing Tool with the Facilities to Restore the State at Program Execution of a Program under Test. KBSE2012-83 |
Yuhei Otani (Shibaura Inst. of Tech.), Hiroaki Hashiura (Toyo Univ.), Seiichi Komiya (Shibaura Inst. of Tech.) |
| |
12:35-13:35 |
Break ( 60 min. ) |
Fri, Mar 15 PM
13:35 - 14:35 |
| (16) |
13:35-14:35 |
[Invited Talk]
Dimensions of Software Knowledge KBSE2012-84 |
Shuichiro Yamamoto (Nagoya Univ.) |
| |
14:35-14:45 |
Break ( 10 min. ) |
Fri, Mar 15 PM Session G
14:45 - 15:55 |
| (17) |
14:45-15:20 |
A CAI System for Remedial Education
-- A Student Model and a Search Algorithm for Identifying Each Weak Part of a Learner -- KBSE2012-85 |
Fuminori Hirose (Shibaura Inst. of Tech.), Kazuhiro Uenosono (Aoyama Gakuin Univ.), Seiichi Komiya (Shibaura Inst. of Tech.) |
| (18) |
15:20-15:55 |
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 -- KBSE2012-86 |
Seiichi Komiya, Hisaki Kudo (Shibaura Inst. of Tech.), Kazuhiro Uenosono (Aoyama Gakuin Univ.), Rihito Yaegashi (Kagawa Univ.) |
| |
15:55-16:05 |
Break ( 10 min. ) |
Fri, Mar 15 PM Session H
16:05 - 17:15 |
| (19) |
16:05-16:40 |
Knowledge Integration by using Domain-Specific Languages KBSE2012-87 |
Tadashi Iijima (Keio Univ.) |
| (20) |
16:40-17:10 |
Evaluating Web Application Modifiability Using Framework KBSE2012-88 |
Asuka Takahashi, Hiromi Kobayashi (Tokai Univ.) |
| |
- |
|
: 
t
