| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
知能ソフトウェア工学研究会 (KBSE) (検索条件: 2011年度)
「from:2012-03-15 to:2012-03-15」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2012-03-15 13:35 |
愛知 | 名古屋大学 | Assurance Case作成手法（d*）の適用評価 ○猿渡卓也（名大/NTTデータ）・山本修一郎（名大）  KBSE2011-69 |
現在，開発されている情報システムの多くは，様々なシステム（要素）が相互に依存しあうオープンシステムである．しかし，代表的... [more] | KBSE2011-69 pp.1-6 |
| KBSE | 2012-03-15 14:20 |
愛知 | 名古屋大学 | 保証ケースを用いたサービス提供判断方法の提案 ○小林茂憲（NEC）・山本修一郎（名大） KBSE2011-70 |
サービスの提供判断条件を明確にして十分なリスク対策を施しておかないと，サービス開始後に様々な問題が発生する可能性がある.... [more] | KBSE2011-70 pp.7-12 |
| KBSE | 2012-03-15 15:05 |
愛知 | 名古屋大学 | 矩形同士の埋め込み型重ね合わせについての定性空間推論 ○小西貴子・高橋和子（関西学院大） KBSE2011-71 |
表示したい部分($WHITE$) と隠したい部分($BLACK$) を持ち，サイズや辺の縦横比が可変な矩形同士の重ね合わ... [more] | KBSE2011-71 pp.13-18 |
| KBSE | 2012-03-15 16:05 |
愛知 | 名古屋大学 | ［招待講演］実務に着目した知能ソフトウェア工学の研究と教育 ○橋本正明（九工大名誉教） KBSE2011-72 |
[more] | KBSE2011-72 pp.19-24 |
| KBSE | 2012-03-16 10:00 |
愛知 | 名古屋大学 | 持続的情報連携サービス分析方法論の構築について ○山本修一郎（名大） KBSE2011-73 |
[more] | KBSE2011-73 pp.25-30 |
| KBSE | 2012-03-16 10:45 |
愛知 | 名古屋大学 | 業務システムの高速生成ツールの開発と適用 ○萩原 淳・斎藤 忍（NTTデータ） KBSE2011-74 |
[more] | KBSE2011-74 pp.31-36 |
| KBSE | 2012-03-16 11:40 |
愛知 | 名古屋大学 | 受託ソフトウェア開発の見積もりリスクの特定方法の事例研究 ○納富雅人・中谷多哉子（筑波大） |
ソフトウェア受託開発では，全ての詳細要求を特定する前に，開発者が見積もりを発注者に提示する場合がある． この状況では，プ... [more] | |
| KBSE | 2012-03-16 12:25 |
愛知 | 名古屋大学 | ソフトウェアセキュリティ知識体系化に関する研究動向 ○櫨山淳雄（学芸大） KBSE2011-75 |
インターネット上でのサービスの増大に伴いソフトウェアセキュリティの重要性が認識されている。これまでに数多くのソフトウェア... [more] | KBSE2011-75 pp.37-42 |
[研究会発表申込システムのトップページに戻る]