情報・システム-知能ソフトウェア工学(開催日：2013/03/07)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2013/3/7
[資料番号]
目次

,  

[発表日]2013/3/7
[資料番号]
開発現場を想定したモデル検査に基づくプログラムの不具合検証 : 検査支援ツールを用いた安定的な検査(一般)

青木 善貴,  松浦 佐江子,  

[発表日]2013/3/7
[資料番号]KBSE2012-69
Simulinkモデルの品質特性分析支援ツールの開発と適用事例(一般)

佐々木 翼,  峯岸 賢吾,  上田 賀一,  

[発表日]2013/3/7
[資料番号]KBSE2012-70
実行履歴解析によるUMLシーケンス図の抽象化手法(一般)

宮城 翔一,  上條 康司,  上田 賀一,  

[発表日]2013/3/7
[資料番号]KBSE2012-71
Webアプリケーション開発のためのソフトウェアセキュリティ知識ベースKBSSDの提案(一般)

櫨山 淳雄,  

[発表日]2013/3/7
[資料番号]KBSE2012-72
要求構造明確化のためのゴールグラフの多次元拡張(一般)

井上 渉,  林 晋平,  鵜飼 孝典,  佐伯 元司,  

[発表日]2013/3/7
[資料番号]KBSE2012-73
アセットフロー図と配置図を用いた情報システムのセキュリティ要求分析支援ツール(一般)

瀧澤 悠介,  阪井 隼也,  海谷 治彦,  小形 真平,  海尻 賢二,  

[発表日]2013/3/7
[資料番号]KBSE2012-74
要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法(一般)

式見 遼,  小形 真平,  松浦 佐江子,  

[発表日]2013/3/7
[資料番号]KBSE2012-75
モデル検査を使ったデッドロック可能性検出(一般)

猿渡 卓也,  塚本 英昭,  神谷 慎吾,  宮田 俊介,  

[発表日]2013/3/7
[資料番号]KBSE2012-76
変動するパターンの文字列検索(一般)

山口 信,  島田 諭,  三浦 孝夫,  

[発表日]2013/3/7
[資料番号]KBSE2012-77
知能ソフトウェア工学の意義とKBSE研究会への期待(KBSE研究会20周年記念講演)

上野 晴樹,  

[発表日]2013/3/7
[資料番号]KBSE2012-78
ディペンダビリティケース用語構成規則の適用評価(一般)

松村 昌典,  松野 裕,  山本 修一郎,  

[発表日]2013/3/7
[資料番号]KBSE2012-79
ディペンダビリティケース分解パターンについての考察(一般)

山本 修一郎,  松野 裕,  

[発表日]2013/3/7
[資料番号]KBSE2012-80
アシュアランスケースツールへのプログラミング言語技術の適用(一般)

松野 裕,  山本 修一郎,  

[発表日]2013/3/7
[資料番号]KBSE2012-81
アーキテクチャに基づく検証ケースの提案(一般)

山本 修一郎,  

[発表日]2013/3/7
[資料番号]KBSE2012-82
プログラム実行時の状態を再現する機能を持つ回帰テスト支援ツール(一般)

大谷 雄平,  橋浦 弘明,  古宮 誠一,  

[発表日]2013/3/7
[資料番号]KBSE2012-83
ソフトウェア知識体系の次元(KBSE研究会20周年記念講演)

山本 修一郎,  

[発表日]2013/3/7
[資料番号]KBSE2012-84
リメディアル教育のためのCAIシステム : 学習者モデルと不得意分野探索アルゴリズム(一般)

廣瀬 史典,  上之薗 和宏,  古宮 誠一,  

[発表日]2013/3/7
[資料番号]KBSE2012-85
講義内容の要約字幕作成支援システム : 意思決定手法に基づく支援方法の提案(一般)

古宮 誠一,  工藤 永貴,  上之薗 和宏,  八重樫 理人,  

[発表日]2013/3/7
[資料番号]KBSE2012-86
12>> 1-20hit(26hit)