7月25日(木) 午前  11:30 - 12:30
(1)	11:30-12:00	Automated Error Localization with Weighted Partial Maximum Satisfiability SS2013-13 KBSE2013-13	○Si-Mohamed Lamraoui・Shin Nakajima（NII）
(2)	12:00-12:30	異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法 SS2013-14 KBSE2013-14	○藤田悠矢・岡野浩三・楠本真二（阪大）
7月25日(木) 午後  13:30 - 15:30
(3)	13:30-14:00	クラス責務割り当て問題へのファジィ制約充足問題の適用 SS2013-15 KBSE2013-15	○柳田拓人（静岡大）・林　晋平・佐伯元司（東工大）・三村秀典（静岡大）
(4)	14:00-14:30	設計進度に応じた設計モデルの段階的なシンタックスチェック手法の提案 SS2013-16 KBSE2013-16	○村上正敏・中川雄一郎・西山晴彦・三部良太（日立）
(5)	14:30-15:00	不具合の発生したソフトウェアの実行を継続する一手法の提案 SS2013-17 KBSE2013-17	○渡部　聡・杉山安洋（日大）
(6)	15:00-15:30	Portland Pattern Repositoryにおけるソフトウェアパターンに対するネットワーク分析 SS2013-18 KBSE2013-18	○鷲崎弘宜（早大）・川村　健（USOL東京）・角谷将司・深澤良彰（早大）
7月25日(木) 午後  15:40 - 17:40
(7)	15:40-16:10	滑らかな設計抽象化 SS2013-19 KBSE2013-19	○鵜林尚靖・艾　迪・細合晋太郎・亀井靖高（九大）
(8)	16:10-16:40	文字コード変換による注目文字の出現および消失の有限状態オートマトンによる定式化 SS2013-20 KBSE2013-20	○西田誠幸（拓殖大）
(9)	16:40-17:10	状態マシン図を用いたスマートフォンアプリのモデル化 SS2013-21 KBSE2013-21	○落水恭介・横川智教（岡山県立大）・宮崎　仁（川崎医療福祉大）・佐藤洋一郎・有本和民（岡山県立大）
(10)	17:10-17:40	反復型アプローチによるソフトウェア機能の捜索と識別の改善 SS2013-22 KBSE2013-22	○風戸広史（NTTデータ先端技術）・林　晋平・小林隆志（東工大）・大島剛志・宮田俊介・夏川勝行・星野　隆（NTT）・佐伯元司（東工大）
7月26日(金) 午前  09:30 - 11:00
(11)	09:30-10:00	例外処理を含む関数型プログラム停止性証明のための条件付き依存対法 SS2013-23 KBSE2013-23	○濱口　毅・酒井正彦（名大）
(12)	10:00-10:30	［奨励講演］C言語初学者向けツールC-Helperの予備評価 SS2013-24 KBSE2013-24	○内田公太・権藤克彦（東工大）
(13)	10:30-11:00	Malbolgeのワード長の拡大とそのプログラミング支援ツール SS2013-25 KBSE2013-25	○加藤起騎・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大）
7月26日(金) 午前  11:10 - 12:10
(14)	11:10-11:40	初学者を対象としたユースケース記述の自動評価による学習支援 SS2013-26 KBSE2013-26	○松井駿介・野呂　惇・岡田康治・加藤　真・渡辺大貴・松浦佐江子（芝浦工大）
(15)	11:40-12:10	セキュリティモデルのための文脈の表現とその利用 SS2013-27 KBSE2013-27	○飯島　正（慶大）
7月26日(金) 午後  13:10 - 15:10
(16)	13:10-13:40	モデル検査技術の開発現場への適用 ～ 仕様とソースコードの齟齬の発見 ～ SS2013-28 KBSE2013-28	○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大）
(17)	13:40-14:10	UML要求分析モデルへのモデル検査技術適用による実現可能性の検証 SS2013-29 KBSE2013-29	○青木善貴（日本ユニシス）・小形真平（信州大）・松浦佐江子（芝浦工大）
(18)	14:10-14:40	PBLへのDaaS開発環境の導入事例 SS2013-30 KBSE2013-30	○細合晋太郎・亀井靖高・大迫周平（九大）・井垣　宏（阪大）・鵜林尚靖・福田　晃（九大）
(19)	14:40-15:10	数理計画モデルを用いたコードレビュー計画に対するフィルタリングの効果について SS2013-31 KBSE2013-31	○井上慎也・阿萬裕久（愛媛大）
7月26日(金) 午後  15:20 - 17:20
(20)	15:20-15:50	一時変数除去の自動化によるメソッドの抽出リファクタリング支援 SS2013-32 KBSE2013-32	○田島香織・大森隆行・丸山勝久（立命館大）
(21)	15:50-16:20	修正実績に基づく重複コード除去支援の試み SS2013-33 KBSE2013-33	○肥後芳樹・楠本真二（阪大）
(22)	16:20-16:50	CRDの類似度に基づくコードクローン追跡手法 SS2013-34 KBSE2013-34	○堀田圭佑・肥後芳樹・楠本真二（阪大）
(23)	16:50-17:20	任意粒度機能モデルに基づくコードクローン検出手法の大規模プログラムへの適用に向けた改善 SS2013-35 KBSE2013-35	○神谷年洋（公立はこだて未来大）

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

Last modified: 2013-07-24 15:42:21