| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★ソフトウェアサイエンス研究会（SS） 専門委員長 鯵坂 恒夫 (和歌山大) 副委員長 関 浩之 (奈良先端大) 幹事 満田 成紀 (和歌山大)， 草刈 圭一朗 (名大) 日時 2009年 3月 2日(月) 14：00～18：00 2009年 3月 3日(火) 09：30～11：45 会場 佐賀大学本庄キャンパス（〒840-8502 佐賀市本庄町1番地．佐賀駅バスセンターからバスで約20分．http://www.ai.is.saga-u.ac.jp/~watanabe/sigss-20090302/．理工学部 渡辺健次） 議題 一般 3月2日(月) 午後 （14：00～18：00） (1) 14:00 - 14:30 システム特性を考慮したペアワイズテストの改良 ○秀島健太郎・土屋達弘・菊野 亨（阪大） (2) 14:30 - 15:00 MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援 ○沈 悦・福安直樹・吉田 敦・鯵坂恒夫（和歌山大） −−− 休憩 （ 15分 ） −−− (3) 15:15 - 15:45 改良taintモデルに基づくオブジェクト指向言語を用いたアプリケーション開発 ○渥美清隆（鈴鹿高専）・増山 繁（豊橋技科大） (4) 15:45 - 16:15 Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証 ○馬場 敬・結縁祥治・阿草清滋（名大） (5) 16:15 - 16:45 並列分散型SATソルバにおける探索空間の分割手法の提案 ○高見明秀・鍋島英知・岩沼宏治（山梨大） −−− 休憩 （ 15分 ） −−− (6) 17:00 - 18:00 ［招待講演］時間オートマトンのモデル検査 ○中田明夫（広島市大） 3月3日(火) 午前 （09：30～11：45） (7) 09:30 - 10:00 教育用コンパイラXCCとその可視化ツールMieruCompiler ○権藤克彦・野崎広弥（東工大） (8) 10:00 - 10:30 x86版DRACULAのバグ修復と予備評価 ○大菅星哉（東工大）・田原貴光（NEC）・権藤克彦（東工大） −−− 休憩 （ 15分 ） −−− (9) 10:45 - 11:15 設計支援ツールPerseusに対するリバースエンジニアリング機能の組み込み ○才所直也・掛下哲郎（佐賀大） (10) 11:15 - 11:45 カラー二次元コードを高解像度化するための認識アルゴリズムの実現と評価 ○寺田遼平・藤本敬介・中山泰一（電通大） 一般講演：発表 20 分 ＋ 質疑応答 10 分 招待講演：発表 40 分 ＋ 質疑応答 20 分 ◎初日の研究会終了後，懇親会を予定していますので御参加下さい．参加希望の方は次の懇親会案内のページでの予約をお願いします．http://sdlab.sys.wakayama-u.ac.jp/ss/konshin/?id=0903 ☆SS研究会今後の予定 [ ]内発表申込締切日 5月21日(木)～22日(金) 秋田大学 手形キャンパス [3月23日(月)] テーマ：一般 【問合先】 満田成紀(和歌山大) TEL 073-457-8433 FAX 073-457-8434 E-mail:  n       -u ◎最新の情報はSIGSS研究会ホームページでご確認ください． http://sdlab.sys.wakayama-u.ac.jp/ss/ Last modified: 2009-09-07 15:52:50 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[SS研究会のスケジュールに戻る] /
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]