Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2012-11-22 09:30 |
Ishikawa |
Kanazawa University |
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) KBSE2012-38 |
(To be available after the conference date) [more] |
KBSE2012-38 pp.1-6 |
KBSE |
2012-11-22 10:05 |
Ishikawa |
Kanazawa University |
A study on the human resources demanded by industry and university with syllabuses Michitaro Okano, Takako Nakatani (Univ. of Tsukuba) KBSE2012-39 |
In Japan, it is said that university students in computer sciences or information systems do not get enough education fo... [more] |
KBSE2012-39 pp.7-12 |
KBSE |
2012-11-22 10:50 |
Ishikawa |
Kanazawa University |
A Writing Method for Assurance Cases Yutaka Matsuno (Nagoya Univ.), Toshinori Takai (Nara Inst.), Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-40 |
Assurance Cases have been recognized as a promising method for dependability assurance.
However, there has not been a ... [more] |
KBSE2012-40 pp.13-17 |
KBSE |
2012-11-22 11:25 |
Ishikawa |
Kanazawa University |
SMT-based Bounded Model Checking for Assembly program Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane (Kanazawa Univ.) KBSE2012-41 |
In this paper, we state property verification by Bounded Model Checking using SMT solver for register level model of ass... [more] |
KBSE2012-41 pp.19-24 |
KBSE |
2012-11-22 12:00 |
Ishikawa |
Kanazawa University |
A Proposal on Inference Method for Dependability Context Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-42 |
System assurance has become of great importance in many areas, and assurance cases have been used for assuring dependabi... [more] |
KBSE2012-42 pp.25-30 |
KBSE |
2012-11-22 13:30 |
Ishikawa |
Kanazawa University |
* Hitoahi Nakao, Kazuhiko Tsuda, Takako Nakatani (GSSM Univ of Tsukuba) KBSE2012-43 |
(To be available after the conference date) [more] |
KBSE2012-43 pp.31-36 |
KBSE |
2012-11-22 14:05 |
Ishikawa |
Kanazawa University |
A consideration for requirements volatilities from viewing of evolutionary social psychology Toshihiko Tsumaki (NII) KBSE2012-44 |
Software requirements are changed by various causes and a structure of the software is become poor by the requirements c... [more] |
KBSE2012-44 pp.37-42 |
KBSE |
2012-11-22 14:40 |
Ishikawa |
Kanazawa University |
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) KBSE2012-45 |
Use case analysis is an effective method to clearly define functional requirements for a system by the interaction betwe... [more] |
KBSE2012-45 pp.43-48 |
KBSE |
2012-11-22 15:30 |
Ishikawa |
Kanazawa University |
A Proposal on AsWas-AsIs Analysis Method with Qualitative Reseach Masahiro Watanabe (NISSAN MOTOR), Takako Nakatani (GSSM, Univ. of Tsukuba) KBSE2012-46 |
When we build a business system, we must analyze requirements of the core and peripheral stakeholders.
In requirements ... [more] |
KBSE2012-46 pp.49-54 |
KBSE |
2012-11-22 16:05 |
Ishikawa |
Kanazawa University |
Security Requirements Analysis under Bring Your Own Device Yuuji Suzuki, Haruhiko Kaiya, Shinpei Ogata (SU), Takao Okubo, Nobuyuki Kanaya (Fujitsu Lab.), Nobukazu Yoshioka (NII) KBSE2012-47 |
[more] |
KBSE2012-47 pp.55-60 |
KBSE |
2012-11-22 16:40 |
Ishikawa |
Kanazawa University |
A supporting method of specifying requirements with SRS parts Yoshitaka Iyoda, Atsushi Ohnishi (Ritsumeikan U.) KBSE2012-48 |
In software developments, a software requirements specification (SRS) must be correctly specified. An SRS becomes large ... [more] |
KBSE2012-48 pp.61-66 |
KBSE |
2012-11-22 17:15 |
Ishikawa |
Kanazawa University |
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) KBSE2012-49 |
In order to succeed the requirements elicitation, we developed a method to observe the process of requirements elicitati... [more] |
KBSE2012-49 pp.67-72 |
KBSE |
2012-11-23 10:35 |
Ishikawa |
Kanazawa University |
E-CUBE: An Analysis Tool for Three "Evolution of Mining Software Repositories" Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi (Kyushu Univ.) KBSE2012-50 |
[more] |
KBSE2012-50 pp.73-78 |
KBSE |
2012-11-23 11:10 |
Ishikawa |
Kanazawa University |
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.) KBSE2012-51 |
This paper (1) briefly describes and explain about the D-case technique and E-learning system (web portal) called KISSEL... [more] |
KBSE2012-51 pp.79-83 |
KBSE |
2012-11-23 12:30 |
Ishikawa |
Kanazawa University |
A Consideration on Introducing Responsibility Attributes to Dependability Case Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.) KBSE2012-52 |
Although dependability case is attracted to assure system safety and availability, methods and guidelines how to achieve... [more] |
KBSE2012-52 pp.85-90 |
KBSE |
2012-11-23 13:05 |
Ishikawa |
Kanazawa University |
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.) KBSE2012-53 |
This paper describes a proposal to adopt an object-oriented petri net model as a agent model description language for ag... [more] |
KBSE2012-53 pp.91-96 |
KBSE |
2012-11-23 13:40 |
Ishikawa |
Kanazawa University |
Applying SPIN to operation manuals to prevent system fault Tsutomu Miyazaki, Atsuo Ohki, Takako Nakatani (GSSM,Univ. of Tsukuba) KBSE2012-54 |
In order to prevent system fault, it is important to improve the quality of system operations in the same way as that of... [more] |
KBSE2012-54 pp.97-102 |
KBSE |
2012-11-23 14:30 |
Ishikawa |
Kanazawa University |
A proposal on ADM process template for TOGAF NEXT Tatsuya Tokuno, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-55 |
TOGAF NEXT is the next version of TOGAF which includes a dependability. It is now under development.
In this paper, the... [more] |
KBSE2012-55 pp.103-108 |
KBSE |
2012-11-23 15:05 |
Ishikawa |
Kanazawa University |
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) KBSE2012-56 |
Model checking techniques are a promised technique to detect errors in a specification efficiently and exhaustively. How... [more] |
KBSE2012-56 pp.109-114 |
KBSE |
2012-11-23 15:40 |
Ishikawa |
Kanazawa University |
A proposal on a method to construct a word dictionary of Dependability Case Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-57 |
A few graphical notations for dependability cases have been proposed including GSN(Goal Structuring Notation). However, ... [more] |
KBSE2012-57 pp.115-120 |