| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Knowledge-Based Software Engineering (KBSE) 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) =============================================== Technical Committee on Software Science (SS) 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.) DATE: Thu, Jul 25, 2013 11:30 - 17:40 Fri, Jul 26, 2013 09:30 - 17:20 PLACE: TOPICS: Genaral session ---------------------------------------- Thu, Jul 25 AM (11:30 - 12:30) ---------------------------------------- (1) 11:30 - 12:00 Automated Error Localization with Weighted Partial Maximum Satisfiability 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 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 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 Masatoshi Murakami, Yuichiro Nakagawa, Haruhiko Nishiyama, Ryota Mibe (Hitachi) (5) 14:30 - 15:00 A Mechanism for Executing Software Systems with Defective Components Satoshi Watanabe, Yasuhiro Sugiyama (Nihon Univ.) (6) 15:00 - 15:30 Network analysis for Software Patterns in Portland Pattern Repository 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 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 Seikoh Nishita (Takushoku Univ.) (9) 16:40 - 17:10 Modeling Smartphone Apps Using State Machine Diagrams 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 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 Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.) (12) 10:00 - 10:30 [Encouragement Talk] A preliminary evaluation of C-Helper, a tool for C beginners Kota Uchida, Katsuhiko Gondow (Tokyo Inst. of Tech.) (13) 10:30 - 11:00 Malbolge with 20trits word length and its programming 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 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 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 -- 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 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 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 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 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 Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) (22) 16:20 - 16:50 Clone Tracking based on Similarity of CRD 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 Toshihiro Kamiya (Future Univ. Hakodate) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. === Technical Committee on Knowledge-Based Software Engineering (KBSE) === # FUTURE SCHEDULE: Thu, Sep 12, 2013 - Fri, Sep 13, 2013: The University of Electro-Communications [Wed, Jul 17], Topics: Genaral session # SECRETARY: Saeko Matsuura(Shibaura Inst. of Tech.) E-mail:   u     bau-it === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Oct 24, 2013 - Fri, Oct 25, 2013 (tentative): [Tue, Sep 3] # SECRETARY: Hironori Washizaki (Waseda University) TEL: 03-5286-3272 FAX: 03-5286-3272 E-mail:     # 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 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] / [Return to KBSE Schedule Page] /
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]