Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [Japanese] / [English]
SS2012-1
派生開発方法論XDDPからのプロダクトライン開発導入
○中西恒夫（九大）・ハンス・ヴェルナー グリーペントローク・クラエス イェーガー・ハンセン（ホーヘンハイム大）・久住憲嗣・福田 晃（九大）
pp. 1 - 6
SS2012-2
変数の生存期間を考慮してヒープメモリ使用量削減を行うマルチタスクスケジューリング手法の検討
○船瀬広岐・中田明夫（広島市大）
pp. 7 - 12
SS2012-3
GPGPUを用いたリポジトリマイニングのための外部ドメイン専用言語QORALの提案
○中村央記・永野梨南・久住憲嗣・亀井靖高・鵜林尚靖・福田 晃（九大）
pp. 13 - 18
SS2012-4
コードの内容と文脈を用いた類似コード分析手法の提案
○神谷年洋（公立はこだて未来大）
pp. 19 - 24
SS2012-5
飛行船自動航行ソフトウェアの事例による設計段階でのスループット性能検証手法の評価
○嘉戸 彰・中田明夫（広島市大）
pp. 25 - 30
SS2012-6
Mining API Usage Patterns from Software Repositories by Categorizing Method Invocations
○Rizky Januar Akbar・Takayuki Omori・Katsuhisa Maruyama（Ritsumeikan Univ.）
pp. 31 - 36
SS2012-7
A Weighted-Pushdown-System-Based Formal Model for Information-Based Access Control
○Pablo Lamilla Alvarez・Yoshiaki Takata（Kochi Univ. of Tech.）
pp. 37 - 42
SS2012-8
Malbolgeの高級アセンブリ言語への配列機能の追加
○安藤 聡・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大）
pp. 43 - 48
SS2012-9
Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types
○Keiichirou Kusakari（Nagoya Univ.）
pp. 49 - 54
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．