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.) |