Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]
KBSE2011-69
Assurance Case作成手法（d*）の適用評価
○猿渡卓也（名大/NTTデータ）・山本修一郎（名大）
pp. 1 - 6
KBSE2011-70
保証ケースを用いたサービス提供判断方法の提案
○小林茂憲（NEC）・山本修一郎（名大）
pp. 7 - 12
KBSE2011-71
矩形同士の埋め込み型重ね合わせについての定性空間推論
○小西貴子・高橋和子（関西学院大）
pp. 13 - 18
KBSE2011-72
［招待講演］実務に着目した知能ソフトウェア工学の研究と教育
○橋本正明（九工大名誉教）
pp. 19 - 24
KBSE2011-73
持続的情報連携サービス分析方法論の構築について
○山本修一郎（名大）
pp. 25 - 30
KBSE2011-74
業務システムの高速生成ツールの開発と適用
○萩原 淳・斎藤 忍（NTTデータ）
pp. 31 - 36
KBSE2011-75
ソフトウェアセキュリティ知識体系化に関する研究動向
○櫨山淳雄（学芸大）
pp. 37 - 42
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．