IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Technical Committee on Software Science (SS) [schedule] [select]
Chair Shin Nakajima (NII)
Vice Chair Shoji Yuen (Nagoya Univ.)
Secretary Hironobu Washizaki (Waseda Univ.), Yoshiaki Takata (Kochi Univ. of Tech.)
Assistant Takashi Kobayashi (Tokyo Inst. of Tech.)

Technical Committee on Knowledge-Based Software Engineering (KBSE) [schedule] [select]
Chair Saeko Matsuura (Shibaura Inst. of Tech.)
Vice Chair Tadashi Iijima (Keio Univ.)
Secretary Fumihiro Kumeno (Nippon Inst. of Tech.), Hironori Takeuchi (IBM)
Assistant Takaaki Goto (Univ. of Electro-Comm.), Yoshitaka Aoki (Nihon Unisys)

Conference Date Thu, Jul 25, 2013 11:30 - 17:40
Fri, Jul 26, 2013 09:30 - 17:20
Topics Genaral session 
Conference Place  
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

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)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

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

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

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.

[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

[Return to SS Schedule Page]   /   [Return to KBSE Schedule Page]   /  
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

[Return to Top Page]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan