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

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

,  

[発表日]2012/10/25
[資料番号]
目次

,  

[発表日]2012/10/25
[資料番号]
観光スケジューリングのための天候変化パターン生成アルゴリズム(プログラミングと数理モデル,ソフトウェアサイエンス、理論)

加藤 宏和,  村田 佳洋,  

[発表日]2012/10/25
[資料番号]SS2012-36
三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング(プログラミングと数理モデル,ソフトウェアサイエンス、理論)

安藤 聡,  酒井 正彦,  坂部 俊樹,  草刈 圭一朗,  西田 直樹,  

[発表日]2012/10/25
[資料番号]SS2012-37
決定性線形下降木変換器における頂点問合せ保存(プログラミングと数理モデル,ソフトウェアサイエンス、理論)

宮原 一喜,  橋本 健二,  関 浩之,  

[発表日]2012/10/25
[資料番号]SS2012-38
モデル検査技術を用いたユースケース記述分析手法の提案(検証,ソフトウェアサイエンス、理論)

川井 彬央,  岸 知二,  

[発表日]2012/10/25
[資料番号]
AOPを応用した実用的なソフトウェアモデル検査手法(検証,ソフトウェアサイエンス、理論)

古賀 陽一郎,  田辺 良則,  

[発表日]2012/10/25
[資料番号]
ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)

吉田 信明,  張 漢明,  沢田 篤史,  中村 行宏,  

[発表日]2012/10/25
[資料番号]SS2012-39
並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)

張 漢明,  野呂 昌満,  沢田 篤史,  吉田 敦,  蜂巣 吉成,  横森 励士,  

[発表日]2012/10/25
[資料番号]SS2012-40
制御ソフトウェア向けテストケース生成方式の提案(テスト,ソフトウェアサイエンス、理論)

磯田 誠,  徳永 雄一,  

[発表日]2012/10/25
[資料番号]
GUIアプリケーションのテスト駆動開発の一手法(テスト,ソフトウェアサイエンス、理論)

石井 良亮,  岸 知二,  

[発表日]2012/10/25
[資料番号]
MODULARITY:aosd.2012参加報告(報告,ソフトウェアサイエンス、理論)

紙名 哲生,  亀井 靖高,  青谷 知幸,  

[発表日]2012/10/25
[資料番号]
ウィンターワークショップ2012・イン・琵琶湖開催報告(報告,ソフトウェアサイエンス、理論)

丸山 勝久,  大森 隆行,  井垣 宏,  中村 匡秀,  伏田 享平,  角田 雅照,  風戸 広史,  岡田 譲二,  岡野 浩三,  坂本 一憲,  本橋 正成,  岸 知二,  野田 夏子,  小林 隆志,  林 晋平,  

[発表日]2012/10/25
[資料番号]
第27回ソフトウェア工学の自動化国際会議(ASE2012)参加報告(報告,ソフトウェアサイエンス、理論)

林 晋平,  丸山 勝久,  佐伯 元司,  

[発表日]2012/10/25
[資料番号]SS2012-41
プログラム実行履歴を用いたコードクローン検出手法(行動・データ解析,ソフトウェアサイエンス、理論)

井岡 正和,  吉田 則裕,  井上 克郎,  

[発表日]2012/10/25
[資料番号]
ソースファイルの派生関係の自動抽出(行動・データ解析,ソフトウェアサイエンス、理論)

神田 哲也,  石尾 隆,  井上 克郎,  

[発表日]2012/10/25
[資料番号]
重み付き有向グラフを用いたセンサ隣接関係の自動推定手法(行動・データ解析,ソフトウェアサイエンス、理論)

緑川 達也,  岸 知二,  

[発表日]2012/10/25
[資料番号]
トピック抽出に基づく開発者の活動に着目したリポジトリ可視化手法(行動・データ解析,ソフトウェアサイエンス、理論)

山田 悠太,  藤原 賢二,  吉田 則裕,  飯田 元,  

[発表日]2012/10/25
[資料番号]
オープンソースソフトウェアにおけるコードクローンの消失に関する調査(コードクローン,ソフトウェアサイエンス、理論)

堀田 圭佑,  肥後 芳樹,  楠本 真二,  

[発表日]2012/10/25
[資料番号]SS2012-42
A Clone Detection Approach for a Collection of Similar Large-Scale Software Products

,  

[発表日]2012/10/25
[資料番号]SS2012-43
12>> 1-20hit(33hit)