ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Knowledge-Based Software Engineering (KBSE)
Chair: Saeko Matsuura (Shibaura Inst. of Tech.) Vice Chair: Tadashi Iijima (Keio Univ.)
Secretary: Takuya Saruwatari (NTT DATA), Atsuo Hazeyama (Tokyo Gakugei Univ.)
Assistant: Fumihiro Kumeno (Nippon Inst. of Tech.), Hironori Takeuchi (IBM)

DATE:
Thu, Mar 14, 2013 10:05 - 17:50
Fri, Mar 15, 2013 09:30 - 17:15

PLACE:

TOPICS:
General session

----------------------------------------
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 --
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
Tsubasa Sasaki, Kengo Minegishi, Yoshikazu Ueda (Ibaraki Univ.)

----- 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
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
Atsuo Hazeyama (Tokyo Gakugei Univ.)

----- 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
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
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
Ryo Shikimi (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.)

----- 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
Takuya Saruwatari, Hideaki Tsukamoto, Shingo Kamiya, Shunsuke Miyata (NTT)

(9) 16:05 - 16:40
Information retrieval of pattern stream
Makoto Yamaguchi, Satoshi Shimada, Takao Miura (Hosei Univ.)

----- 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
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
Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)

(12) 10:05 - 10:40
A Consideration on Dependability Case decomposition patterns
Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.)

(13) 10:40 - 11:15
Applying Techniques of Programming Languages to Assurance Case Tool
Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)

----- 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
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.
Yuhei Otani (Shibaura Inst. of Tech.), Hiroaki Hashiura (Toyo Univ.), Seiichi Komiya (Shibaura Inst. of Tech.)

----- Break ( 60 min. ) -----

----------------------------------------
Fri, Mar 15 PM (13:35 - 14:35)
----------------------------------------

(16) 13:35 - 14:35
[Invited Talk]
Dimensions of Software Knowledge
Shuichiro Yamamoto (Nagoya Univ.)

----- 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 --
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 --
Seiichi Komiya, Hisaki Kudo (Shibaura Inst. of Tech.), Kazuhiro Uenosono (Aoyama Gakuin Univ.), Rihito Yaegashi (Kagawa Univ.)

----- 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
Tadashi Iijima (Keio Univ.)

(20) 16:40 - 17:10
Evaluating Web Application Modifiability Using Framework
Asuka Takahashi, Hiromi Kobayashi (Tokai Univ.)

# Information for speakers
General Talk will have 25 minutes for presentation and 10 minutes for discussion.
Invited Talk will have 60 minutes for presentation.

=== Technical Committee on Knowledge-Based Software Engineering (KBSE) ===
# FUTURE SCHEDULE:

Thu, May 30, 2013 - Fri, May 31, 2013: Keio University [Thu, Mar 14], Topics: General session and Student session

# SECRETARY:
Takuya Saruwatari(NTTDATA CORPORATION)
E-mail: