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

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

,  

[発表日]2014/3/4
[資料番号]
目次

,  

[発表日]2014/3/4
[資料番号]
時間制約によるAlloyに対する拡張

黒板 亮太,  結縁 祥治,  

[発表日]2014/3/4
[資料番号]SS2013-72
SATソルバを活用した決定表作成・検証方式

伊藤 信治,  佐藤 直人,  金藤 栄孝,  宮崎 邦彦,  森 浩起,  木村 誠,  山口 潔,  

[発表日]2014/3/4
[資料番号]SS2013-73
逆Unfold問題とその発見的解法

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

[発表日]2014/3/4
[資料番号]SS2013-74
JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案

榛葉 浩章,  尾ノ上 博樹,  岡野 浩三,  楠本 真二,  

[発表日]2014/3/4
[資料番号]SS2013-75
ユースケース記述の検査のための自然言諸要求文の解析

中村 遼太郎,  林 晋平,  佐伯 元司,  

[発表日]2014/3/4
[資料番号]SS2013-76
制約付き木オートマトンにおける不用な遷移規則の発見法について

中野 靖大,  西田 直樹,  酒井 正彦,  坂部 俊樹,  草刈 圭一朗,  橋本 健二,  

[発表日]2014/3/4
[資料番号]SS2013-77
省電力プロセッサのアンドロイド・アプリ電力消費モデルへの影響

中島 震,  

[発表日]2014/3/4
[資料番号]SS2013-78
Javaプログラムにおける設計情報を用いた意図的なアクセス修飾子過剰性の抽出手法

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

[発表日]2014/3/4
[資料番号]SS2013-79
フレームワーク・アプリケーションに於ける予期せぬ副作用の効率的なデバッグに向けて

久米 出,  新田 直也,  中村 匡秀,  柴山 悦哉,  

[発表日]2014/3/4
[資料番号]SS2013-80
得点による競争原理を用いた静的解析ツールによる欠陥除去の促進

新井 慧,  坂本 一憲,  鷲崎 弘宜,  深澤 良彰,  

[発表日]2014/3/4
[資料番号]SS2013-81
細粒度作業履歴を用いたTask Level Commit支援手法の提案

梅川 晃一,  井垣 宏,  吉田 則裕,  井上 克郎,  

[発表日]2014/3/4
[資料番号]SS2013-82
コード内に出現する識別子情報に基づくコミット分類

山内 健二,  楊 嘉晨,  堀田 圭佑,  肥後 芳樹,  楠本 真二,  

[発表日]2014/3/4
[資料番号]SS2013-83
活動履歴と過去の推薦状況を考慮した変更支援ツールの試作

山森 章弘,  小林 隆志,  

[発表日]2014/3/4
[資料番号]SS2013-84
サブシステムの凝集度に着目したSimulinkモデルの設計品質メトリクス

鈴木 雄也,  小林 隆志,  久保 孝行,  

[発表日]2014/3/4
[資料番号]SS2013-85
オブジェクトの動的特徴に着目した実行トレースの抽象化

戸田 達也,  小林 隆志,  渥美 紀寿,  阿草 清滋,  

[発表日]2014/3/4
[資料番号]SS2013-86
コードクローンを用いたコード補完手法の提案

石原 知也,  肥後 芳樹,  楠本 真二,  

[発表日]2014/3/4
[資料番号]SS2013-87
ビジュアルブロックを採用したドメイン特化言語とその開発ツールの実現手法

栗原 あずさ,  佐々木 晃,  脇田 建,  

[発表日]2014/3/4
[資料番号]SS2013-88
DSLラインエンジニアリング支援環境の設計

黄 長贇,  亀井 靖高,  鵜林 尚靖,  

[発表日]2014/3/4
[資料番号]SS2013-89
12>> 1-20hit(25hit)