Information and Systems-Knowledge-Based Software Engineering(Date:2012/11/15)

Presentation
表紙

,  

[Date]2012/11/15
[Paper #]
目次

,  

[Date]2012/11/15
[Paper #]
地域組織連携による継続的なリアルPBLの試み : 現状,課題,研究構想

,  

[Date]2012/11/15
[Paper #]KBSE2012-38
A study on the human resources demanded by industry and university with syllabuses

Michitaro OKANO,  Takako NAKATANI,  

[Date]2012/11/15
[Paper #]KBSE2012-39
A Writing Method for Assurance Cases

Yutaka MATSUNO,  Toshinori TAKAI,  Vaise PATU,  Shuichiro YAMAMOTO,  

[Date]2012/11/15
[Paper #]KBSE2012-40
SMT-based Bounded Model Checking for Assembly program

Jumpei KOBASHI,  Atsushi TAKESHITA,  Satoshi YAMANE,  

[Date]2012/11/15
[Paper #]KBSE2012-41
A Proposal on Inference Method for Dependability Context

Shota TAKAMA,  Yutaka MATSUNO,  Shuichiro YAMAMOTO,  

[Date]2012/11/15
[Paper #]KBSE2012-42
Analysis of customer satisfaction with customer journey maps for the ERP implementation

Hitoshi NAKAO,  Kazuhiko TSUDA,  Takako NAKATANI,  

[Date]2012/11/15
[Paper #]KBSE2012-43
A consideration for requirements volatilities from viewing of evolutionary social psychology

Toshihiko TSUMAKI,  

[Date]2012/11/15
[Paper #]KBSE2012-44
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,  Shinpei OGATA,  Saeko MATSUURA,  

[Date]2012/11/15
[Paper #]KBSE2012-45
A Proposal on AsWas-AsIs Analysis Method with Qualitative Research

Masahiro WATANABE,  Takako NAKATANI,  

[Date]2012/11/15
[Paper #]KBSE2012-46
Security Requirements Analysis under Bring Your Own Device

Yuji SUZUKI,  Haruhiko KAIYA,  Sinpei OGATA,  Takao OKUBO,  Nobuyuki KANAYA,  Nobukazu YOSHIOKA,  

[Date]2012/11/15
[Paper #]KBSE2012-47
A supporting method of specifying requirements with SRS parts

Yoshitaka IYODA,  Atsushi OHNISHI,  

[Date]2012/11/15
[Paper #]KBSE2012-48
Research of the classification rules of requirements for the requirements elicitation process

Shunichi SANO,  Narihito KONDO,  Takako NAKATANI,  

[Date]2012/11/15
[Paper #]KBSE2012-49
E-CUBE: An Analysis Tool for Three "Evolution of Mining Software Repositories"

Kazuhiro YAMASHITA,  Yasutaka KAMEI,  Kenji HISAZUMI,  Naoyasu UBAYASHI,  

[Date]2012/11/15
[Paper #]KBSE2012-50
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,  

[Date]2012/11/15
[Paper #]KBSE2012-51
A Consideration on Introducing Responsibility Attributes to Dependability Case

Shuichiro Yamamoto,  Yutaka Matsuno,  

[Date]2012/11/15
[Paper #]KBSE2012-52
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,  

[Date]2012/11/15
[Paper #]KBSE2012-53
Applying SPIN to operation manuals to prevent system fault

Tsutomu MIYAZAKI,  Atsuo OHKI,  Takako NAKATANI,  

[Date]2012/11/15
[Paper #]KBSE2012-54
A proposal on ADM process template for TOGAF NEXT

Tatsuya TOKUNO,  Yutaka MATSUNO,  Shuichiro YAMAMOTO,  

[Date]2012/11/15
[Paper #]KBSE2012-55
12>> 1-20hit(26hit)