Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [Japanese] / [English]
KBSE2012-69
開発現場を想定したモデル検査に基づくプログラムの不具合検証 ～ 検査支援ツールを用いた安定的な検査 ～
○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大）
pp. 1 - 6
KBSE2012-70
Simulinkモデルの品質特性分析支援ツールの開発と適用事例
○佐々木 翼・峯岸賢吾・上田賀一（茨城大）
pp. 7 - 12
KBSE2012-71
実行履歴解析によるUMLシーケンス図の抽象化手法
○宮城翔一・上條康司・上田賀一（茨城大）
pp. 13 - 18
KBSE2012-72
Webアプリケーション開発のためのソフトウェアセキュリティ知識ベースKBSSDの提案
○櫨山淳雄（学芸大）
pp. 19 - 24
KBSE2012-73
要求構造明確化のためのゴールグラフの多次元拡張
○井上 渉・林 晋平（東工大）・鵜飼孝典（富士通研）・佐伯元司（東工大）
pp. 25 - 30
KBSE2012-74
アセットフロー図と配置図を用いた情報システムのセキュリティ要求分析支援ツール
○瀧澤悠介・阪井隼也・海谷治彦・小形真平・海尻賢二（信州大）
pp. 31 - 36
KBSE2012-75
要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法
○式見 遼（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大）
pp. 37 - 42
KBSE2012-76
モデル検査を使ったデッドロック可能性検出
○猿渡卓也・塚本英昭・神谷慎吾・宮田俊介（NTT）
pp. 43 - 48
KBSE2012-77
変動するパターンの文字列検索
○山口 信・島田 諭・三浦孝夫（法政大）
pp. 49 - 54
KBSE2012-78
［招待講演］知能ソフトウエア工学の意義とKBSE研究会への期待
○上野晴樹（NII）
pp. 55 - 59
KBSE2012-79
ディペンダビリティケース用語構成規則の適用評価
○松村昌典・松野 裕・山本修一郎（名大）
pp. 61 - 66
KBSE2012-80
ディペンダビリティケース分解パターンについての考察
○山本修一郎・松野 裕（名大）
pp. 67 - 72
KBSE2012-81
アシュアランスケースツールへのプログラミング言語技術の適用
○松野 裕・山本修一郎（名大）
pp. 73 - 78
KBSE2012-82
アーキテクチャに基づく検証ケースの提案
○山本修一郎（名大）
pp. 79 - 83
KBSE2012-83
プログラム実行時の状態を再現する機能を持つ回帰テスト支援ツール
○大谷雄平（芝浦工大）・橋浦弘明（東洋大）・古宮誠一（芝浦工大）
pp. 85 - 90
KBSE2012-84
［招待講演］ソフトウェア知識体系の次元
○山本修一郎（名大）
pp. 91 - 96
KBSE2012-85
リメディアル教育のためのCAIシステム ～ 学習者モデルと不得意分野探索アルゴリズム ～
○廣瀬史典（芝浦工大）・上之薗和宏（青学大）・古宮誠一（芝浦工大）
pp. 97 - 102
KBSE2012-86
講義内容の要約字幕作成支援システム ～ 意思決定手法に基づく支援方法の提案 ～
○古宮誠一・工藤永貴（芝浦工大）・上之薗和宏（青学大）・八重樫理人（香川大）
pp. 103 - 108
KBSE2012-87
DSLによる多様な知識の統合
○飯島 正（慶大）
pp. 109 - 114
KBSE2012-88
フレームワークを用いたWebアプリケーションの変更容易性
○高橋明日香・小林 洋（東海大）
pp. 115 - 120
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．