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

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

,  

[発表日]2015/3/2
[資料番号]
目次

,  

[発表日]2015/3/2
[資料番号]
構成子に基づく順序ソートパラメータ化仕様の十分完全性について

中村 正樹,  ミルチェア ガイナ ダニエル,  緒方 和博,  二木 厚吉,  

[発表日]2015/3/2
[資料番号]SS2014-55
環境許容性のあるリアクティブシステム合成法

上野 篤史,  冨田 尭,  島川 昌也,  萩原 茂樹,  米崎 直樹,  

[発表日]2015/3/2
[資料番号]SS2014-56
SNIPER : An LLVM-based Automatic Fault Localization Tool for Imperative Programs

,  

[発表日]2015/3/2
[資料番号]SS2014-57
動的データ依存集合の発生確率を用いた欠陥箇所特定支援手法の実装及び評価

中野 瑞樹,  大沼 俊輔,  小林 隆志,  石尾 隆,  

[発表日]2015/3/2
[資料番号]SS2014-58
抽象化を考慮したデータフロートレーサビリティ

郭 衆小,  鵜林 尚靖,  〓 迪,  李 沛源,  李 宇寧,  深町 拓也,  細合 晋太郎,  亀井 靖高,  

[発表日]2015/3/2
[資料番号]SS2014-59
Toppers/SSPカーネルのタスク制御に対する低レベルコード証明

荒川 洸,  結縁 祥治,  

[発表日]2015/3/2
[資料番号]SS2014-60
適応的重点サンプリングによる統計的モデル検査手法

西木 悠,  結縁 祥治,  

[発表日]2015/3/2
[資料番号]SS2014-61
シーケンス図が持つメッセージ順序の曖昧性除去手法の提案

楠 野明,  岡野 浩三,  楠本 真二,  

[発表日]2015/3/2
[資料番号]SS2014-62
要求フレームによる非機能要求の検証

松木 佑真,  大西 淳,  

[発表日]2015/3/2
[資料番号]SS2014-63
社会としてのOSSプロジェクトを解析するソーシャルネットワークマイニングツールColi

川島 関夫,  亀井 靖高,  鶏林 尚靖,  

[発表日]2015/3/2
[資料番号]SS2014-64
複数のプロジェクトを対象としたクローンの系譜にもとづくソースコード再利用分析手法の提案

森脇 匠哉,  堀田 圭佑,  井垣 宏,  井上 克郎,  楠本 真二,  

[発表日]2015/3/2
[資料番号]SS2014-65
相関ルールマイニングを用いたソースコードの修正候補の推薦

切貫 弘之,  堀田 圭佑,  肥後 芳樹,  楠本 真二,  

[発表日]2015/3/2
[資料番号]SS2014-66
改版履歴の分析に基づく変更支援手法における時間的近接性と大規模コミットの影響

森 達也,  / 小林 隆志,  

[発表日]2015/3/2
[資料番号]SS2014-67
機械学習を用いた省略識別子の復元手法

岡嶋 秀記,  水野 修,  

[発表日]2015/3/2
[資料番号]SS2014-68
木構造データを扱う関数の逆Unfold問題の発見的解法

加藤 友郁,  長島 正憲,  酒井 正彦,  西田 直樹,  坂部 俊樹,  

[発表日]2015/3/2
[資料番号]SS2014-69
制約付き項書換え系における関数合成の可換性を自動証明するためのヒューリスティック

栗木 隆太朗,  西田 直樹,  酒井 正彦,  坂部 俊樹,  

[発表日]2015/3/2
[資料番号]SS2014-70
高等教育を支援するためのWebELSプラットフォームを基盤としたオンラインプレゼンテーションと教材作成の統合

,  

[発表日]2015/3/2
[資料番号]SS2014-71
Javaプログラムの開発履歴を用いたアクセス修飾子過剰性の推移原因分析

大西 理功,  小堀 一雄,  松下 誠,  井上 克郎,  

[発表日]2015/3/2
[資料番号]SS2014-72
12>> 1-20hit(25hit)