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

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

,  

[発表日]2012/5/3
[資料番号]
目次

,  

[発表日]2012/5/3
[資料番号]
派生開発方法論XDDPからのプロダクトライン開発導入

中西 恒夫,  グリーペントローク ハンス・ヴェルナー,  イェーガー・ハンセン クラエス,  久住 憲嗣,  福田 晃,  

[発表日]2012/5/3
[資料番号]SS2012-1
変数の生存期間を考慮してヒープメモリ使用量削減を行うマルチタスクスケジューリング手法の検討

船瀬 広岐,  中田 明夫,  

[発表日]2012/5/3
[資料番号]SS2012-2
GPGPUを用いたリポジトリマイニングのための外部ドメイン専用言語QORALの提案

中村 央記,  永野 梨南,  久住 憲嗣,  亀井 靖高,  鵜林 尚靖,  福田 晃,  

[発表日]2012/5/3
[資料番号]SS2012-3
コードの内容と文脈を用いた類似コード分析手法の提案

神谷 年洋,  

[発表日]2012/5/3
[資料番号]SS2012-4
飛行船自動航行ソフトウェアの事例による設計段階でのスループット性能検証手法の評価

嘉戸 彰,  中田 明夫,  

[発表日]2012/5/3
[資料番号]SS2012-5
メソッド呼び出しの分類によるAPIの利用パターンのマイニング

,  大森 隆行,  丸山 勝久,  

[発表日]2012/5/3
[資料番号]SS2012-6
A Weighted-Pushdown-System-Based Formal Model for Information-Based Access Control

,  

[発表日]2012/5/3
[資料番号]SS2012-7
Malbolgeの高級アセンブリ言語への配列機能の追加

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

[発表日]2012/5/3
[資料番号]SS2012-8
Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types

,  

[発表日]2012/5/3
[資料番号]SS2012-9
複写される方へ

,  

[発表日]2012/5/3
[資料番号]
Notice for Photocopying

,  

[発表日]2012/5/3
[資料番号]
奥付

,  

[発表日]2012/5/3
[資料番号]
裏表紙

,  

[発表日]2012/5/3
[資料番号]