Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]
KBSE2011-24
ソフトウェアセキュリティ学習環境の開発
○櫨山淳雄（学芸大）・清水啓人（情報セキュリティ大）
pp. 1 - 6
KBSE2011-25
問題フレームに基づく家電製品の非正常系シナリオの発見
三瀬敏朗（九工大/パナソニック電工）・橋本正明・片峯恵一（九工大）・○中谷多哉子（筑波大）
pp. 7 - 12
KBSE2011-26
故障分析票の最簡形について
○芳川大佑・山本修一郎（名大）
pp. 13 - 17
KBSE2011-27
アブダクティブ要求分析
○妻木俊彦（NII）
pp. 19 - 24
KBSE2011-28
情報連携構造分析方法についての考察 ～ 持続的情報連携サービスの構築をめざして ～
○山本修一郎（名大）
pp. 25 - 30
KBSE2011-29
要求オントロジーを用いた要求仕様の検証手法
近藤剛生・○大西 淳（立命館大）
pp. 31 - 36
KBSE2011-30
漢詩作成支援システムの提案 ～ 漢詩が持つ制約と詩語表の利用による支援 ～
○邱 楓（芝浦工大）・中村恵一（住友重機械）・古宮誠一（芝浦工大）
pp. 37 - 42
KBSE2011-31
インタビューによる要求抽出作業を誘導する方法 ～ 要求仕様書自動生成方法の提案 ～
○山中隆敏（芝浦工大/富士通研）・飯塚寛晃・村山修平・廣瀬史典・古宮誠一（芝浦工大）
pp. 43 - 48
KBSE2011-32
要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール
○式見 遼・小形真平・松浦佐江子（芝浦工大）
pp. 49 - 54
KBSE2011-33
プログラム実行軌跡の利用によるテストケースの前提条件の生成 ～ ホワイトボックステストの網羅率の向上のために ～
○海老原裕之・古宮誠一（芝浦工大）・櫻井孝平（東大）
pp. 55 - 60
KBSE2011-34
ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析
○奥田博隆・小形真平・松浦佐江子（芝浦工大）
pp. 61 - 66
KBSE2011-35
コード間の依存関係及びクローン関係に着目したコード変更の生存時間解析
○浅野遼平・Myrizki Sandhi Yudha・阿萬裕久（愛媛大）
pp. 67 - 72
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．