電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 110, Number 468

知能ソフトウェア工学

開催日 2011-03-10 - 2011-03-11 / 発行日 2011-03-03

[PREV] [NEXT]

[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

KBSE2010-47
ゴールグラフの品質向上支援ツールとその評価
○鵜飼孝典(富士通研/東工大)・林 晋平・佐伯元司(東工大)
pp. 1 - 6

KBSE2010-48
UML要求仕様からのカバレッジに基づく機能テストのテストケース生成
○式見 遼・小形真平・松浦佐江子(芝浦工大)
pp. 7 - 12

KBSE2010-49
要求オントロジーの正当性検証システム
ブイ クワン フイ・○大西 淳(立命館大)
pp. 13 - 18

KBSE2010-50
非正常系現象に着目した組込みシステムの障害シナリオ分析手法
○三瀬敏朗・新屋敷泰史(パナソニック電工)・片峯恵一・橋本正明(九工大)・中谷多哉子(筑波大)・鵜林尚靖(九大)
pp. 19 - 24

KBSE2010-51
担当者割当支援における業務実績評価のためのシステム類似度算出方法
○亀田栄一・望月雅光・勅使河原可海(創価大)
pp. 25 - 30

KBSE2010-52
ファジィクラスタ分析による「海辺のカフカ」の作品把握
○加藤千恵子・前城裕紀(東洋大)・マシュー ストレッカー(ウィノナ大)・土田賢省(東洋大)
pp. 31 - 36

KBSE2010-53
プロトタイプ生成可能なモデル駆動要求分析手法の要求工学教育への適用
○小形真平・松浦佐江子(芝浦工大)
pp. 37 - 42

KBSE2010-54
要求工学のモデル論
○青山幹雄(南山大)・中谷多哉子(筑波大)・斎藤 忍(NTTデータ)・鈴木三紀夫(TIS)・中崎博明(富士通FIP)・藤田和明(日立ソリューションズ)・鈴木律郎(情報サービス産業協会)
pp. 43 - 48

KBSE2010-55
情報連携アーキテクチャ分析技法
○山本修一郎(名大)
pp. 49 - 54

KBSE2010-56
三上文法に基づくER図関連名に対する一考察 ~ 関連の説明における視点移動と概念データモデリング(CDM) ~
○金田重郎(同志社大)
pp. 55 - 60

KBSE2010-57
要件定義における画面プロトタイピングの有効性と問題の考察
○蔀 亜紀子・斎藤 忍(NTTデータ)
pp. 61 - 66

KBSE2010-58
既存ウインドウ情報の解析による一貫性を持ったGUI自動生成手法
○白井盛太郎(早大)・白銀純子(東京女子大)・岩田 一(神奈川工科大)・深澤良彰(早大)
pp. 67 - 72

KBSE2010-59
CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成
○奥田博隆・小形真平・松浦佐江子(芝浦工大)
pp. 73 - 78

KBSE2010-60
モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法 ~ データベースロック問題の検証 ~
○青木善貴・松浦佐江子(芝浦工大)
pp. 79 - 84

注: 本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります.


IEICE / 電子情報通信学会