Information and Systems-Knowledge-Based Software Engineering(Date:2014/02/27)

Presentation
表紙

,  

[Date]2014/2/27
[Paper #]
目次

,  

[Date]2014/2/27
[Paper #]
A Method for Facilitating the Analysis of Counterexamples in Model Checking

Yoshitaka Aoki,  Saeko Matsuura,  

[Date]2014/2/27
[Paper #]KBSE2013-79
A Case Study on Predicting Requirements Changes

Takako NAKATANI,  Yuko KOISO,  Keiichi KATAMINE,  Toshihiko TSUMAKI,  

[Date]2014/2/27
[Paper #]KBSE2013-80
End-User-Initiative Development for Web Application : The Implementation of Business Logic

Jie Xu,  Takeshi Chusho,  

[Date]2014/2/27
[Paper #]KBSE2013-81
Toward Conducting the Discussion for Understanding and Validity Check of Software Requirements : A Proposal of a Model to Structuralize and Record the Contents of the Discussion

Seiichi Komiya,  

[Date]2014/2/27
[Paper #]KBSE2013-82
Mining of IR method for Traceability Link Recovery

Ryohei YUASA,  Shinpei OGATA,  Haruhiko KAIYA,  Kenji KAIJIRI,  

[Date]2014/2/27
[Paper #]KBSE2013-83
Guidelines for Class Diagram Design based on English Sentence Patterns and Functional Dependency

Shigeo KANEDA,  Akio IDA,  Takamasa SAKAI,  

[Date]2014/2/27
[Paper #]KBSE2013-84
Conceptual class diagram creation support system based on conversion method from a Japanese description to a simple sentence

Satoshi KUMATANI,  Takamasa SAKAI,  Shigeo KANEDA,  

[Date]2014/2/27
[Paper #]KBSE2013-85
A consideration on method to assure business process with D-Case

Kenta MURAI,  Shuichiro YAMAMOTO,  

[Date]2014/2/27
[Paper #]KBSE2013-86
A method to assure the sufficiency of testing using D-Case

Hideaki OOBAYASHI,  Shuichiro YAMAMOTO,  

[Date]2014/2/27
[Paper #]KBSE2013-87
Equivalent Mutants Detection Method Using Symbolic Execution

Takaya UESHIBA,  Weitao WANG,  Hirohide HAGA,  

[Date]2014/2/27
[Paper #]KBSE2013-88
The Study of Combinatorial Software Testing Technique to Respond to the Changes of Test-Strategy

Masahiro OOBA,  KENTA Sasaki,  Hisasi HUKUTAKE,  Kunia SATO,  Tomohiko TAKAGI,  Rihito YAEGASHI,  

[Date]2014/2/27
[Paper #]KBSE2013-89
Scenario Retrieval Method using Differential Scenarios : Development of Visualization tool of Differential Scenario

Eiji SHIOTA,  Atsushi OHNISHI,  

[Date]2014/2/27
[Paper #]KBSE2013-90
Road Hazard Sharing System by Using Mobile Ad Hoc Network for Multiple Cyclists

Yusuke TABATA,  Akira YAMAMOTO,  Yuta KAWACHI,  Shohei ASADA,  Shigeo KANEDA,  

[Date]2014/2/27
[Paper #]KBSE2013-91
Event extraction from video data of football games using qualitatve spatio-temporal representation

Masaki SAKAIDA,  Takanori KIYOSE,  Kazuko TAKAHASHI,  

[Date]2014/2/27
[Paper #]KBSE2013-92
An Android Application Analysis Method for Highlighting Disclosure of Fine-Grained User Information

Takuya SAKASHITA,  Shinpei OGATA,  Haruhiko KAIYA,  Kenji KAIJIRI,  

[Date]2014/2/27
[Paper #]KBSE2013-93
An Implementation Methodology for Business Systems Based on Unidirectional Constraint Propagation : A Case Study of Local Tax Processing

Hiromasa YANO,  Hiroki KUWAYAMA,  Shigeo KANEDA,  

[Date]2014/2/27
[Paper #]KBSE2013-94
A proposal of the D-Case review method by extracting word relationship

Masanori MATSUMURA,  Shuichiro YAMAMOTO,  

[Date]2014/2/27
[Paper #]KBSE2013-95
Software-Aided Feature Selection for Open Source Software by Applying Brainstorming Methodology Based on Existing Open Source Software

Md. Mahfuzus Salam KHAN,  Takaaki GOTO,  Tetsuro NISHINO,  

[Date]2014/2/27
[Paper #]KBSE2013-96
12>> 1-20hit(28hit)