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

問合先と今後の予定
SS	ソフトウェアサイエンス研究会（SS）   [今後の予定はこちら]
	問合先	鷲崎弘宜(早稲田大学) TEL 03-5286-3272 E-: a-
	お知らせ	◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.washi.cs.waseda.ac.jp/sigss/

Last modified: 2012-05-02 18:17:12