情報・システム-知能ソフトウェア工学(開催日:2014/02/27)

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

,  

[発表日]2014/2/27
[資料番号]
目次

,  

[発表日]2014/2/27
[資料番号]
モデル検査における反例解析容易化支援

青木 善貴,  松浦 佐江子,  

[発表日]2014/2/27
[資料番号]KBSE2013-79
要求変更の予測可能性に関する事例調査

中谷 多哉子,  小礒 裕子,  片峯 恵一,  妻木 俊彦,  

[発表日]2014/2/27
[資料番号]KBSE2013-80
エンドユーザ主導のWebアプリケーション開発方式の試作 : ビジネスロジックの定義と実装方式

許 杰,  中所 武司,  

[発表日]2014/2/27
[資料番号]KBSE2013-81
要求仕様の理解と妥当性確認の為の議論の実施に向けて : 議論の内容を構造化して記録する為のモデルの提案

古宮 誠一,  

[発表日]2014/2/27
[資料番号]KBSE2013-82
Traceability Link Recoveryを行うIR手法のマイニング

湯浅 諒平,  小形 真平,  海谷 治彦,  海尻 賢二,  

[発表日]2014/2/27
[資料番号]KBSE2013-83
英語7文型と関数従属性に基づくクラス図の理解

金田 重郎,  井田 明男,  酒井 孝真,  

[発表日]2014/2/27
[資料番号]KBSE2013-84
日本語記述単文化法に基づく概念クラス図作成支援システムの構築

熊谷 聡志,  酒井 孝真,  金田 重郎,  

[発表日]2014/2/27
[資料番号]KBSE2013-85
D-Caseを用いたビジネスプロセスの妥当性の考察

村井 謙太,  山本 修一郎,  

[発表日]2014/2/27
[資料番号]KBSE2013-86
D-Caseを用いたテスト十分性の保証方法の適用評価について

大林 英晶,  山本 修一郎,  

[発表日]2014/2/27
[資料番号]KBSE2013-87
記号実行を用いた等価ミュータントの検出手法

上芝 貴也,  王 イ涛,  芳賀 博英,  

[発表日]2014/2/27
[資料番号]KBSE2013-88
テスト戦略の変更に対応した組み合わせテスト技法に関する研究

大羽 正浩,  佐々木 健太,  福武 久史,  佐藤 久仁哉,  高木 智彦,  八重樫 理人,  

[発表日]2014/2/27
[資料番号]KBSE2013-89
差分シナリオを用いたシナリオ検索支援手法 : 差分シナリオの生成・視覚化ツールの開発

塩田 英二,  大西 淳,  

[発表日]2014/2/27
[資料番号]KBSE2013-90
モバイルアドホックネットワークを利用した複数自転車向け路上危険箇所共有システム

田端 佑介,  山本 光,  河内 雄太,  浅田 翔平,  金田 重郎,  

[発表日]2014/2/27
[資料番号]KBSE2013-91
定性時空間表現を使ったサッカーの試合動画からのイベント導出

阪井田 政樹,  清瀬 崇則,  高橋 和子,  

[発表日]2014/2/27
[資料番号]KBSE2013-92
細粒度の利用者情報の流出を可視化するAndroidアプリ解析法

坂下 卓弥,  小形 真平,  海谷 治彦,  海尻 賢二,  

[発表日]2014/2/27
[資料番号]KBSE2013-93
単方向性制約伝搬に基づく業務システム構成法の提案 : 地方税の税務処理を例として

矢野 寛将,  桑山 浩希,  金田 重郎,  

[発表日]2014/2/27
[資料番号]KBSE2013-94
用語関係抽出によるD-Caseレビュー手法の提案

松村 昌典,  山本 修一郎,  

[発表日]2014/2/27
[資料番号]KBSE2013-95
Software-Aided Feature Selection for Open Source Software by Applying Brainstorming Methodology Based on Existing Open Source Software

,  

[発表日]2014/2/27
[資料番号]KBSE2013-96
12>> 1-20hit(28hit)