電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 112, Number 23

ソフトウェアサイエンス

開催日 2012-05-10 - 2012-05-11 / 発行日 2012-05-03

[PREV] [NEXT]

[TOP] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

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

注: 本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります.


IEICE / 電子情報通信学会