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

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

,  

[発表日]2013/10/17
[資料番号]
目次

,  

[発表日]2013/10/17
[資料番号]
組込みCISCアセンブリプログラムの記号モデル検査

渡邊 健太,  チャン ヘジン,  櫻井 孝平,  山根 智,  

[発表日]2013/10/17
[資料番号]SS2013-36
組込みCISCマイコンのアセンブリプログラムに対する振舞い抽出器の開発とモデル検査への適用 : シミュレーションによるモデルの自動生成

公下 亮佑,  山根 智,  櫻井 孝平,  

[発表日]2013/10/17
[資料番号]SS2013-37
書き換え規則に基づくAPIベース言語拡張のためのCOINSを用いたフレームワークの設計と実装

塩出 拓也,  川端 英之,  北村 俊明,  

[発表日]2013/10/17
[資料番号]SS2013-38
フレームワークァプリケーションに於ける副作用の兆候を抽出する動的解析手法

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

[発表日]2013/10/17
[資料番号]Vol.2013-SE-182No.4
デルタ抽出プラグインの開発とそのプログラム理解に対する有効性評価

松岡 智大,  新田 直也,  

[発表日]2013/10/17
[資料番号]Vol.2013-SE-182No.5
Concolic Testingを用いた結合テスト向けテストデータ生成手法の提案

丹野 治門,  星野 隆,  Koushik Sen,  高橋 健司,  

[発表日]2013/10/17
[資料番号]Vol.2013-SE-182No.6
有向グラフ分析によるソフトウェア保守性評価の試み

中村 光宏,  木野本 玲子,  中嶋 久彰,  濱上 智樹,  

[発表日]2013/10/17
[資料番号]SS2013-39
プログラムの関数・変数関係の表現法

高橋 耶真人,  福原 和哉,  猪股 俊光,  新井 義和,  今井 信太郎,  

[発表日]2013/10/17
[資料番号]SS2013-40
コードレビュー支援システムのための関数・変数関係の可視化実現法

福原 和哉,  高橋 耶真人,  猪股 俊光,  新井 義和,  今井 信太郎,  

[発表日]2013/10/17
[資料番号]SS2013-41
再利用実績に基づいたコード片検索手法の提案

石原 知也,  堀田 圭佑,  肥後 芳樹,  楠本 真二,  

[発表日]2013/10/17
[資料番号]SS2013-42
ソースコード中の変数間のデータ依存関係を用いたコミットの分割

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

[発表日]2013/10/17
[資料番号]SS2013-43
サービス指向リポジトリマイニングを効率化するキャッシュ機構の実装

坂元 康好,  松本 真佑,  中村 匡秀,  

[発表日]2013/10/17
[資料番号]SS2013-44
ソフトウェアプロダクトラインにおける非機能特性を考慮した製品導出支援手法の提案

永野 寛丸,  岸 知二,  

[発表日]2013/10/17
[資料番号]Vol.2013-SE-182No.13
ソフトウェア開発プロセスモデルを用いた形式手法導入の検討

日下部 茂,  林 信弘,  大森 洋一,  荒木 啓二郎,  

[発表日]2013/10/17
[資料番号]Vol.2013-SE-182No.14
ドメイン用語辞書の再利用に向けたグループ化

大森 洋一,  日下部 茂,  林信 宏,  荒木 啓二郎,  

[発表日]2013/10/17
[資料番号]Vol.2013-SE-182No.15
フレームワークサンプルアプリケーションを利用した実行シナリオの実装支援ツールの開発

縄江 保宏,  新田 直也,  

[発表日]2013/10/17
[資料番号]Vol.2013-SE-182No.16
実行シナリオに基づくレイヤアーキテクチャの評価手法

小林 謙太郎,  新田 直也,  

[発表日]2013/10/17
[資料番号]Vol.2013-SE-182No.17
プログラム理解支援を目的とした分散ペアプログラミングのコミュニケーションログの活用

秀毛 嶺維馬,  奥野 拓,  

[発表日]2013/10/17
[資料番号]Vol.2013-SE-182No.18
12>> 1-20hit(37hit)