|
|
| 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 |
|
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
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 --  KBSE2012-38 |
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 KBSE2012-39 |
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 KBSE2012-40 |
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 KBSE2012-41 |
Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane (Kanazawa Univ.) |
| (5) |
12:00-12:35 |
A Proposal on Inference Method for Dependability Context KBSE2012-42 |
Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) |
Thu, Nov 22 PM
13:30 - 15:15 |
| (6) |
13:30-14:05 |
* KBSE2012-43 |
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 KBSE2012-44 |
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 KBSE2012-45 |
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 KBSE2012-46 |
Masahiro Watanabe (NISSAN MOTOR), Takako Nakatani (GSSM, Univ. of Tsukuba) |
| (10) |
16:05-16:40 |
Security Requirements Analysis under Bring Your Own Device KBSE2012-47 |
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 KBSE2012-48 |
Yoshitaka Iyoda, Atsushi Ohnishi (Ritsumeikan U.) |
| (12) |
17:15-17:50 |
Research of the classification rules of requirements for the requirements elicitation process KBSE2012-49 |
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" KBSE2012-50 |
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 KBSE2012-51 |
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 KBSE2012-52 |
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 -- KBSE2012-53 |
Tadashi Iijima (Keio Univ.) |
| (17) |
13:40-14:15 |
Applying SPIN to operation manuals to prevent system fault KBSE2012-54 |
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 KBSE2012-55 |
Tatsuya Tokuno, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) |
| (19) |
15:05-15:40 |
An Automatic Use of Model Checking Tool for Validating Data Lifecycle KBSE2012-56 |
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 KBSE2012-57 |
Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) |
| Announcement for Speakers |
| General Talk | Each 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- :   u     bau-it |
Last modified: 2012-10-04 14:16:42
|
Notification: Mail addresses are partially hidden against SPAM.
|