IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
... (for ESS/CS/ES/ISS)
Tech. Rep. Archives
... (for ES/CS)
 Go Top  Go Back   Prev KBSE Conf / Next KBSE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Knowledge-Based Software Engineering (KBSE) [schedule] [select]
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)

Conference Date Thu, Nov 22, 2012 09:30 - 17:50
Fri, Nov 23, 2012 10:35 - 16:15
Topics General session 
Conference Place  

Thu, Nov 22 AM 
09:30 - 10:40
(1) 09:30-10:05 Sustainable real project-based learning in collaboration with community-based organization
-- Progress report --
Fumihiro Kumeno, Yasuhiro Tsujimura, Mikio Ohki, Hidemi Yamachi, Jiro Ishihara, Hiroshi Matsuda (NIT)
(2) 10:05-10:40 A study on the human resources demanded by industry and university with syllabuses Michitaro Okano, Takako Nakatani (Univ. of Tsukuba)
Thu, Nov 22 AM 
10:50 - 12:35
(3) 10:50-11:25 A Writing Method for Assurance Cases Yutaka Matsuno (Nagoya Univ.), Toshinori Takai (Nara Inst.), Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.)
(4) 11:25-12:00 SMT-based Bounded Model Checking for Assembly program Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane (Kanazawa Univ.)
(5) 12:00-12:35 A Proposal on Inference Method for Dependability Context Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
Thu, Nov 22 PM 
13:30 - 15:15
(6) 13:30-14:05 * Hitoahi Nakao, Kazuhiko Tsuda, Takako Nakatani (GSSM Univ of Tsukuba)
(7) 14:05-14:40 A consideration for requirements volatilities from viewing of evolutionary social psychology Toshihiko Tsumaki (NII)
(8) 14:40-15:15 Analysis of the Problems of Writing Use Case Description for Beginner by the Purpose of Clarification of Intent Hirotaka Okuda, Shunsuke Matsui, Ryo Shikimi, Atsushi Noro, Koji Okada (SIT), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (SIT)
Thu, Nov 22 PM 
15:30 - 17:50
(9) 15:30-16:05 A Proposal on AsWas-AsIs Analysis Method with Qualitative Reseach Masahiro Watanabe (NISSAN MOTOR), Takako Nakatani (GSSM, Univ. of Tsukuba)
(10) 16:05-16:40 Security Requirements Analysis under Bring Your Own Device Yuuji Suzuki, Haruhiko Kaiya, Shinpei Ogata (SU), Takao Okubo, Nobuyuki Kanaya (Fujitsu Lab.), Nobukazu Yoshioka (NII)
(11) 16:40-17:15 A supporting method of specifying requirements with SRS parts Yoshitaka Iyoda, Atsushi Ohnishi (Ritsumeikan U.)
(12) 17:15-17:50 Research of the classification rules of requirements for the requirements elicitation process Shunichi Sano (Univ. of Tsukuba), Narihito Kondo (Nagoya Management Junior Col), Takako Nakatani (Univ. of Tsukuba)
Fri, Nov 23 AM 
10:35 - 11:45
(13) 10:35-11:10 E-CUBE: An Analysis Tool for Three "Evolution of Mining Software Repositories" Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi (Kyushu Univ.)
(14) 11:10-11:45 Application of D-Case to the data-upload flow diagram scenario of the Distributed E-Learning System called KISSEL Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
Fri, Nov 23 PM 
12:30 - 14:15
(15) 12:30-13:05 A Consideration on Introducing Responsibility Attributes to Dependability Case Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.)
(16) 13:05-13:40 An Agent Modelling Framework for Simulation by using Object-oriented Logic Petri Nets
-- Toward Unified Description of Collaborative Dynamics, Individual Behaviour, and Decision Making Process --
Tadashi Iijima (Keio Univ.)
(17) 13:40-14:15 Applying SPIN to operation manuals to prevent system fault Tsutomu Miyazaki, Atsuo Ohki, Takako Nakatani (GSSM,Univ. of Tsukuba)
Fri, Nov 23 PM 
14:30 - 16:15
(18) 14:30-15:05 A proposal on ADM process template for TOGAF NEXT Tatsuya Tokuno, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
(19) 15:05-15:40 An Automatic Use of Model Checking Tool for Validating Data Lifecycle Shinpei Ogata (Shinshu Univ.), Satoshi Yazawa, Kazuhiko Nishimura (VR), Yoshitaka Aoki, Hirotaka Okuda, Saeko Matsuura (SIT)
(20) 15:40-16:15 A proposal on a method to construct a word dictionary of Dependability Case Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)

Announcement for Speakers
General TalkEach speech will have 25 minutes for presentation and 10 minutes for discussion.

Contact Address and Latest Schedule Information
KBSE Technical Committee on Knowledge-Based Software Engineering (KBSE)   [Latest Schedule]
Contact Address Saeko Matsuura(Shibaura Inst. of Tech.)
E-: ubau-it 


Last modified: 2012-10-04 14:16:42


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
 
[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Return to KBSE Schedule Page]   /  
 
 Go Top  Go Back   Prev KBSE Conf / Next KBSE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


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