| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== 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, Nov 22, 2012 09:30 - 17:50 Fri, Nov 23, 2012 10:35 - 16:15 PLACE: TOPICS: General session ---------------------------------------- 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.) # Information for speakers General Talk will have 25 minutes for presentation and 10 minutes for discussion. === Technical Committee on Knowledge-Based Software Engineering (KBSE) === # FUTURE SCHEDULE: Mon, Jan 28, 2013 - Tue, Jan 29, 2013: Kikai-Shinko-Kaikan Bldg [Sun, Nov 11], Topics: General session # SECRETARY: Saeko Matsuura(Shibaura Inst. of Tech.) E-mail:   u     bau-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.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[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]