情報・システム-ソフトウェアサイエンス(開催日:2009/07/30)

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

,  

[発表日]2009/7/30
[資料番号]
目次

,  

[発表日]2009/7/30
[資料番号]
再帰をもつプログラムの構造分析法

大段 雅典,  佐藤 匡正,  

[発表日]2009/7/30
[資料番号]SS2009-12
リバースエンジニアリングツールキットRemicsの試作

神谷 年洋,  

[発表日]2009/7/30
[資料番号]SS2009-13
開発ツールを他言語へ適用するためのAST変換の定式化

長谷川 勇,  権藤 克彦,  

[発表日]2009/7/30
[資料番号]SS2009-14
アーキテクチャ設計と実装をつなぐインタフェース機構Archface

野村 潤,  鵜林 尚靖,  

[発表日]2009/7/30
[資料番号]SS2009-15
動的スライシングを用いた漸進的Feature Location手法

関根 克幸,  善明 晃由,  林 晋平,  佐伯 元司,  

[発表日]2009/7/30
[資料番号]SS2009-16
使用クラスに基づくソフトウェアの機能面からの分類

牛窓 朋義,  門田 暁人,  玉田 春昭,  松本 健一,  

[発表日]2009/7/30
[資料番号]SS2009-17
確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較

伊藤 明彦,  長岡 武志,  岡野 浩三,  楠本 真二,  

[発表日]2009/7/30
[資料番号]SS2009-18
Rodin Plugin to Link Event-B and SPIN

,  

[発表日]2009/7/30
[資料番号]SS2009-19
自己反映計算の振舞的側面の形式化について

渡部 卓雄,  

[発表日]2009/7/30
[資料番号]SS2009-20
システム保守を考慮した構成管理システムの検討

坂田 祐司,  岩崎 慎司,  山本 修一郎,  

[発表日]2009/7/30
[資料番号]SS2009-21
アクタの相互作用に基づく要求抽出の完全性確認手法

服部 昇,  山本 修一郎,  鯵坂 恒夫,  木谷 強,  

[発表日]2009/7/30
[資料番号]SS2009-22
情報流仕様に基づくアクセス制御文の自動生成

森田 剛正,  高田 喜朗,  関 浩之,  

[発表日]2009/7/30
[資料番号]SS2009-23
テストケース生成における同値分割法の数式処理システムによる自動化

服部 哲,  

[発表日]2009/7/30
[資料番号]SS2009-24
ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン

中西 恒夫,  久住 憲嗣,  福田 晃,  

[発表日]2009/7/30
[資料番号]SS2009-25
類似性に基づく工数予測における適切でない予測プロジェクトの判別の試み

中村 哲彬,  柿元 健,  楠本 真二,  

[発表日]2009/7/30
[資料番号]SS2009-26
バグ管理システムのログを利用した保守プロセス評価メトリクス

伏田 享平,  川口 真司,  飯田 元,  

[発表日]2009/7/30
[資料番号]SS2009-27
On the Job Learning : 産学連携による新しいソフトウェア工学教育手法

小林 隆志,  沢田 篤史,  山本 晋一郎,  野呂 昌満,  阿草 清滋,  

[発表日]2009/7/30
[資料番号]SS2009-28
複写される方へ

,  

[発表日]2009/7/30
[資料番号]
12>> 1-20hit(22hit)