5月10日(木) 午後 14:00 - 16:55 |
|
14:00-14:10 |
平成23年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞授与式 ( 10分 ) |
(1) |
14:10-14:40 |
派生開発方法論XDDPからのプロダクトライン開発導入 |
○中西恒夫(九大)・ハンス・ヴェルナー グリーペントローク・クラエス イェーガー・ハンセン(ホーヘンハイム大)・久住憲嗣・福田 晃(九大) |
(2) |
14:40-15:10 |
変数の生存期間を考慮してヒープメモリ使用量削減を行うマルチタスクスケジューリング手法の検討 |
○船瀬広岐・中田明夫(広島市大) |
(3) |
15:10-15:40 |
GPGPUを用いたリポジトリマイニングのための外部ドメイン専用言語QORALの提案 |
○中村央記・永野梨南・久住憲嗣・亀井靖高・鵜林尚靖・福田 晃(九大) |
|
15:40-15:55 |
休憩 ( 15分 ) |
(4) |
15:55-16:25 |
コードの内容と文脈を用いた類似コード分析手法の提案 |
○神谷年洋(公立はこだて未来大) |
(5) |
16:25-16:55 |
飛行船自動航行ソフトウェアの事例による設計段階でのスループット性能検証手法の評価 |
○嘉戸 彰・中田明夫(広島市大) |
5月11日(金) 午前 09:30 - 11:45 |
(6) |
09:30-10:00 |
Mining API Usage Patterns from Software Repositories by Categorizing Method Invocations |
○Rizky Januar Akbar・Takayuki Omori・Katsuhisa Maruyama(Ritsumeikan Univ.) |
(7) |
10:00-10:30 |
A Weighted-Pushdown-System-Based Formal Model for Information-Based Access Control |
○Pablo Lamilla Alvarez・Yoshiaki Takata(Kochi Univ. of Tech.) |
|
10:30-10:45 |
休憩 ( 15分 ) |
(8) |
10:45-11:15 |
Malbolgeの高級アセンブリ言語への配列機能の追加 |
○安藤 聡・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹(名大) |
(9) |
11:15-11:45 |
Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types |
○Keiichirou Kusakari(Nagoya Univ.) |