Thu, Jul 25 AM  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	A Verification Method on Consistency between Different SQL Statements and Schemas using Alloy Analyzer SS2013-14 KBSE2013-14	Yuya Fujita, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
Thu, Jul 25 PM  13:30 - 15:30
(3)	13:30-14:00	Fuzzy Constraint Satisfaction Applied to Class Responsibility Assignment Problems SS2013-15 KBSE2013-15	Takuto Yanagida (Shizuoka Univ.), Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.), Hidenori Mimura (Shizuoka Univ.)
(4)	14:00-14:30	A Proposal of Incremental Progress-Dependent Syntax Checking of Design Models SS2013-16 KBSE2013-16	Masatoshi Murakami, Yuichiro Nakagawa, Haruhiko Nishiyama, Ryota Mibe (Hitachi)
(5)	14:30-15:00	A Mechanism for Executing Software Systems with Defective Components SS2013-17 KBSE2013-17	Satoshi Watanabe, Yasuhiro Sugiyama (Nihon Univ.)
(6)	15:00-15:30	Network analysis for Software Patterns in Portland Pattern Repository SS2013-18 KBSE2013-18	Hironori Washizaki (Waseda Univ.), Takeshi Kawamura (USOL Tokyo), Masashi Kadoya, Yoshiaki Fukazawa (Waseda Univ.)
Thu, Jul 25 PM  15:40 - 17:40
(7)	15:40-16:10	Fluid Design Abstraction SS2013-19 KBSE2013-19	Naoyasu Ubayashi, Ai Di, Shintaro Hosoai, Yasutaka Kamei (Kyushu Univ.)
(8)	16:10-16:40	Finite State Automata Representing Character Appearance and Disappearance by Character Encoding Scheme Conversion SS2013-20 KBSE2013-20	Seikoh Nishita (Takushoku Univ.)
(9)	16:40-17:10	Modeling Smartphone Apps Using State Machine Diagrams SS2013-21 KBSE2013-21	Kyosuke Ochimizu, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki (KUMW), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.)
(10)	17:10-17:40	An Iterative Approach for Improving Feature Location and Identification SS2013-22 KBSE2013-22	Hiroshi Kazato (NTT DATA INTELLILINK CORPORATION), Shinpei Hayashi, Takashi Kobayashi (Tokyo Inst. of Tech.), Tsuyoshi Oshima, Shunsuke Miyata, Katsuyuki Natsukawa, Takashi Hoshino (NTT), Motoshi Saeki (Tokyo Inst. of Tech.)
Fri, Jul 26 AM  09:30 - 11:00
(11)	09:30-10:00	Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling SS2013-23 KBSE2013-23	Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.)
(12)	10:00-10:30	[Encouragement Talk] A preliminary evaluation of C-Helper, a tool for C beginners SS2013-24 KBSE2013-24	Kota Uchida, Katsuhiko Gondow (Tokyo Inst. of Tech.)
(13)	10:30-11:00	Malbolge with 20trits word length and its programming SS2013-25 KBSE2013-25	Tatsuki Kato, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
Fri, Jul 26 AM  11:10 - 12:10
(14)	11:10-11:40	Automatic Rating of Use Case Description to Assist Beginner's Learning SS2013-26 KBSE2013-26	Shunsuke Matsui, Atsushi Noro, Koji Okada, Makoto Kato, Daiki Watanabe, Saeko Matsuura (Shibaura Inst. of Tech.)
(15)	11:40-12:10	A Context Representation for Access Control Models by using Object-oriented Petri Nets SS2013-27 KBSE2013-27	Tadashi Iijima (Keio Univ.)
Fri, Jul 26 PM  13:10 - 15:10
(16)	13:10-13:40	Application to Development Site of Model Checking Technology -- Discovery of Inconsistency of Specification and Source Code -- SS2013-28 KBSE2013-28	Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.)
(17)	13:40-14:10	Verification of Feasibility by Model Checking Techniques Applied to UML Requirements Analysis Model SS2013-29 KBSE2013-29	Yoshitaka Aoki (Nihon Unisys), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.)
(18)	14:10-14:40	A Case Study on Introducing the DaaS Development Environment into PBL SS2013-30 KBSE2013-30	Shintaro Hosoai, Yasutaka Kamei, Shuhei Ohsako (Kyushu Univ.), Hiroshi Igaki (Osaka Univ.), Naoyasu Ubayashi, Akira Fukuda (Kyushu Univ.)
(19)	14:40-15:10	On Effectiveness of Filtering for Code Review Planning using Mathematical Programming Model SS2013-31 KBSE2013-31	Shinya Inoue, Hirohisa Aman (Ehime Univ)
Fri, Jul 26 PM  15:20 - 17:20
(20)	15:20-15:50	Support for Method-Extraction Refactoring by Automatic Removal of Temporary Variables SS2013-32 KBSE2013-32	Kaori Tajima, Takayuki Omori, Katsuhisa Maruyama (Ritsumeikan Univ.)
(21)	15:50-16:20	An approach to support duplicate code removal based on their evolutional information SS2013-33 KBSE2013-33	Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
(22)	16:20-16:50	Clone Tracking based on Similarity of CRD SS2013-34 KBSE2013-34	Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
(23)	16:50-17:20	Improving Applicability to Large-Scale Products of a Code-Clone Detetion Method Based on an Arbitrary-Granularity Function Model SS2013-35 KBSE2013-35	Toshihiro Kamiya (Future Univ. Hakodate)

Contact Address and Latest Schedule Information
KBSE	Technical Committee on Knowledge-Based Software Engineering (KBSE)   [Latest Schedule]
	Contact Address	Saeko Matsuura(Shibaura Inst. of Tech.) E-: ubau-it
SS	Technical Committee on Software Science (SS)   [Latest Schedule]
	Contact Address	Hironori Washizaki (Waseda University) TEL: 03-5286-3272 FAX: 03-5286-3272 E-:
	Announcement	Latest information will be presented on the homepage http://www.washi.cs.waseda.ac.jp/sigss/

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