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

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

Volume 114, Number 420

知能ソフトウェア工学

開催日 2015-01-26 - 2015-01-27 / 発行日 2015-01-19

[PREV] [NEXT]

[TOP] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [2017] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

KBSE2014-39
LDAを用いたフィードバックコメントからの要求獲得に関する一考
○高橋 仁・中川博之・土屋達弘(阪大)
pp. 1 - 6

KBSE2014-40
システムアシュアランス演習の実践報告
○高井利憲(奈良先端大)・松野 裕(電通大)
pp. 7 - 11

KBSE2014-41
[招待講演]網羅型テストと検出型テスト
○秋山浩一(富士ゼロックス)
pp. 13 - 17

KBSE2014-42
ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 ~ ASP.NETアプリケーションを事例として ~
○小形真平(信州大)・青木善貴(芝浦工大)・谷沢智史(ボイスリサーチ)・松浦佐江子(芝浦工大)
pp. 19 - 24

KBSE2014-43
状態の組み合わせテストのための運用プロファイルを用いたテストスイート生成手法
○福武久史・許 亮・高木智彦・八重樫理人(香川大)
pp. 25 - 30

KBSE2014-44
ソフトウェア開発企業におけるD-Case活用方法の提案
小林展英・○宇都宮浩之・山本佳和(デンソークリエイト)・山本修一郎(名大)
pp. 31 - 36

KBSE2014-45
Systemigramとドメインクラス図の比較
○山本修一郎(名大)
pp. 37 - 42

KBSE2014-46
文脈に基づくセキュリティモデルにおける情報加工と機器操作を含むアクセス権限制御
○城戸 聡・渡邊泰成・飯島 正(慶大)
pp. 43 - 48

KBSE2014-47
ソフトウェアセキュリティ知識ベースを活用したセキュアなWebアプリケーション開発事例ベースの試作
○櫨山淳雄・齊藤大仁(学芸大)・吉岡信和(NII)・熊谷 梓(学芸大)・小橋孝紀・鷲崎弘宜(早大)・海谷治彦(神奈川大)・大久保隆夫(情報セキュリティ大)
pp. 49 - 54

KBSE2014-48
EMアルゴリズムに基づく静脈解析のためのAndroidアプリケーション開発
○岩瀬将嗣・福見 稔・柏原考爾(徳島大)
pp. 55 - 60

KBSE2014-49
広域災害避難シミュレーションのためのモデル記述用DSL
○山崎淳城・飯島 正(慶大)
pp. 61 - 66

KBSE2014-50
ビジネスプロセスとビジネスルールのための時間制約の検証
○秦 良平・小形達也・飯島 正(慶大)
pp. 67 - 72

KBSE2014-51
法的文書のための視覚的ドメイン特化モデリングとボキャブラリ
○飯島 正(慶大)
pp. 73 - 78

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


IEICE / 電子情報通信学会