Information and Systems-Knowledge-Based Software Engineering(Date:2013/03/07)

Presentation
表紙

,  

[Date]2013/3/7
[Paper #]
目次

,  

[Date]2013/3/7
[Paper #]
Verification of Program Defects Based on Model Checking Techniques for Development : Stable Checking with Inspection Support Tool

Aoki Yoshitaka,  Matsuura Saeko,  

[Date]2013/3/7
[Paper #]KBSE2012-69
A Characteristics Analysis Support Tool for Simulink Model Quality and its Application

Tsubasa SASAKI,  Kengo MINEGISHI,  Yoshikazu UEDA,  

[Date]2013/3/7
[Paper #]KBSE2012-70
実行履歴解析によるUMLシーケンス図の抽象化手法(一般)

Shouichi MIYAGI,  Kouji KAMIJO,  Yoshikazu UEDA,  

[Date]2013/3/7
[Paper #]KBSE2012-71
KBSSD: Proposal of a Software Security Knowledge Base for Web Application Development

Atsuo HAZEYAMA,  

[Date]2013/3/7
[Paper #]KBSE2012-72
Using Multi-Dimensional Goal Graphs for Clarifying Requirements Structure

Wataru INOUE,  Shinpei HAYASHI,  Takanori UGAI,  Motoshi SAEKI,  

[Date]2013/3/7
[Paper #]KBSE2012-73
Supporting Tool for Security Requirements Analysis : using Asset Flows and Deployment Diagrams

Yuusuke TAKIZAWA,  Junya SAKAI,  Haruhiko KAIYA,  Sinpei OGATA,  Kenji KAIJIRI,  

[Date]2013/3/7
[Paper #]KBSE2012-74
Test Case Design Method to Guarantee the Feasibility of the Requirements Based on the Simulation

Ryo SHIKIMI,  Shinpei OGATA,  Saeko MATSUURA,  

[Date]2013/3/7
[Paper #]KBSE2012-75
Model checking potential deadlocks of DB transactions

Takuya SARUWATARI,  Hideaki TSUKAMOTO,  Shingo KAMIYA,  Shunsuke MIYATA,  

[Date]2013/3/7
[Paper #]KBSE2012-76
Information retrieval of pattern stream

Makoto YAMAGUCHI,  Satoshi SHIMADA,  Takao MIURA,  

[Date]2013/3/7
[Paper #]KBSE2012-77
Role of Knowledge-Based Software Engineering and Expectations to SIG-KBSE

Haruki UENO,  

[Date]2013/3/7
[Paper #]KBSE2012-78
A proposal on a rule to construct a word of Dependability Case

Masanori MATSUMURA,  Yutaka MATSUNO,  Shuichiro YAMAMOTO,  

[Date]2013/3/7
[Paper #]KBSE2012-79
A Consideration on Dependability Case decomposition patterns

Shuichiro Yamamoto,  Yutaka Matsuno,  

[Date]2013/3/7
[Paper #]KBSE2012-80
Applying Techniques of Programming Languages to Assurance Case Tool

Yutaka MATSUNO,  Shuichiro YAMAMOTO,  

[Date]2013/3/7
[Paper #]KBSE2012-81
A proposal on architecture based verificatic n case

Shuichiro Yamamoto,  

[Date]2013/3/7
[Paper #]KBSE2012-82
A Software Regression Testing Tool with the Facilities to Restore the State at Proeram Execution of a Program under Test

Yuhei OTANI,  Hiroaki HASHIURA,  Seiichi KOMIYA,  

[Date]2013/3/7
[Paper #]KBSE2012-83
Dimensions of Software Knowledge

Shuichiro Yamamoto,  

[Date]2013/3/7
[Paper #]KBSE2012-84
A CAI System for Remedial Education : A Student Model and a Search Algorithm for Identifying Each Weak Part of a Learner

Fuminori Hirose,  Kazuhiro UENOSONO,  Seiichi KOMIYA,  

[Date]2013/3/7
[Paper #]KBSE2012-85
A System to Help with Making Subtitles Condensed the Content of a Lecture : A Proposal of a Method to Help with Making them by Decision-Making Technique

Seiichi KOMIYA,  Hisaki KUDO,  Kazuhiro UENOSONO,  Rihito YAEGASHI,  

[Date]2013/3/7
[Paper #]KBSE2012-86
12>> 1-20hit(26hit)