Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [Japanese] / [English]
KBSE2013-1
メソッドとフィールドの関係を用いたアンチパターン特定手法
○渡辺大貴・松浦佐江子（芝浦工大）
pp. 1 - 6
KBSE2013-2
シーケンス図に基づくディペンダビリティケース作成法の研究
○丁 峰・山本修一郎（名大）
pp. 7 - 12
KBSE2013-3
A Dependability Assurance Method Based on DFD (Data Flow Diagram)
○Nada Olayan・Shuichiro Yamamoto・Vaise Patu・Yutaka Matsuno（Nagoya Univ.）
pp. 13 - 18
KBSE2013-4
文献から利用者のスキーマに合わせた情報抽出方法
○本橋正行・丸山 広・中村太一（東京工科大）
pp. 19 - 24
KBSE2013-5
Traceability link recoveryのためのmethod miningの提案
○上田健之・小形真平・海谷治彦・海尻賢二（信州大）
pp. 25 - 30
KBSE2013-6
入力保存機能に注目したユーザビリティ評価のための画面遷移モデル
○早川弘基・小形真平・海谷治彦・海尻賢二（信州大）
pp. 31 - 36
KBSE2013-7
ディペンダビリティケースからの用語抽出実験についての考察
○松村昌典・山本修一郎（名大）
pp. 37 - 42
KBSE2013-8
A new approach to develop a dependable security case by combining real life security experiences (lessons learnt) with the dependability assurance case (D-Case) development process
○Vaise Patu・Shuichiro Yamamoto（Nagoya Univ.）
pp. 43 - 48
KBSE2013-9
D-Caseを利用したゴール分析プロセスの提案
○宇都宮浩之（デンソークリエイト）・山本修一郎・松野 裕（名大）・中澤輝幸・山本佳和（デンソークリエイト）
pp. 49 - 54
KBSE2013-10
ソフトウェアプロセス教育における動機づけプロセスの定式化と教育改善への応用
○梅田政信・片峯恵一（九工大）・石橋慶一（福岡工大短大部）・橋本正明・吉田隆一（九工大）
pp. 55 - 60
KBSE2013-11
ヒューマンエラーに対する手順書の耐性検査
○永藤直行（プレシステム）・渡部卓雄（東工大）
pp. 61 - 66
KBSE2013-12
議論分解パターンに基づくディペンダビリティケースの作成実験
○山本修一郎（名大）
pp. 67 - 72
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．