Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [Japanese] / [English]
KBSE2012-38
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)
pp. 1 - 6
KBSE2012-39
A study on the human resources demanded by industry and university with syllabuses
Michitaro Okano, Takako Nakatani (Univ. of Tsukuba)
pp. 7 - 12
KBSE2012-40
A Writing Method for Assurance Cases
Yutaka Matsuno (Nagoya Univ.), Toshinori Takai (Nara Inst.), Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.)
pp. 13 - 17
KBSE2012-41
SMT-based Bounded Model Checking for Assembly program
Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane (Kanazawa Univ.)
pp. 19 - 24
KBSE2012-42
A Proposal on Inference Method for Dependability Context
Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
pp. 25 - 30
KBSE2012-43
*
Hitoahi Nakao, Kazuhiko Tsuda, Takako Nakatani (GSSM Univ of Tsukuba)
pp. 31 - 36
KBSE2012-44
A consideration for requirements volatilities from viewing of evolutionary social psychology
Toshihiko Tsumaki (NII)
pp. 37 - 42
KBSE2012-45
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)
pp. 43 - 48
KBSE2012-46
A Proposal on AsWas-AsIs Analysis Method with Qualitative Reseach
Masahiro Watanabe (NISSAN MOTOR), Takako Nakatani (GSSM, Univ. of Tsukuba)
pp. 49 - 54
KBSE2012-47
Security Requirements Analysis under Bring Your Own Device
Yuuji Suzuki, Haruhiko Kaiya, Shinpei Ogata (SU), Takao Okubo, Nobuyuki Kanaya (Fujitsu Lab.), Nobukazu Yoshioka (NII)
pp. 55 - 60
KBSE2012-48
A supporting method of specifying requirements with SRS parts
Yoshitaka Iyoda, Atsushi Ohnishi (Ritsumeikan U.)
pp. 61 - 66
KBSE2012-49
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)
pp. 67 - 72
KBSE2012-50
E-CUBE: An Analysis Tool for Three "Evolution of Mining Software Repositories"
Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi (Kyushu Univ.)
pp. 73 - 78
KBSE2012-51
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.)
pp. 79 - 83
KBSE2012-52
A Consideration on Introducing Responsibility Attributes to Dependability Case
Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.)
pp. 85 - 90
KBSE2012-53
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.)
pp. 91 - 96
KBSE2012-54
Applying SPIN to operation manuals to prevent system fault
Tsutomu Miyazaki, Atsuo Ohki, Takako Nakatani (GSSM,Univ. of Tsukuba)
pp. 97 - 102
KBSE2012-55
A proposal on ADM process template for TOGAF NEXT
Tatsuya Tokuno, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
pp. 103 - 108
KBSE2012-56
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)
pp. 109 - 114
KBSE2012-57
A proposal on a method to construct a word dictionary of Dependability Case
Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
pp. 115 - 120
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.