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) |
: 
u
bau
