Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [Japanese] / [English]
KBSE2013-13
Automated Error Localization with Weighted Partial Maximum Satisfiability
Si-Mohamed Lamraoui, Shin Nakajima (NII)
pp. 1 - 6
KBSE2013-14
A Verification Method on Consistency between Different SQL Statements and Schemas using Alloy Analyzer
Yuya Fujita, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 7 - 12
KBSE2013-15
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.)
pp. 13 - 18
KBSE2013-16
A Proposal of Incremental Progress-Dependent Syntax Checking of Design Models
Masatoshi Murakami, Yuichiro Nakagawa, Haruhiko Nishiyama, Ryota Mibe (Hitachi)
pp. 19 - 24
KBSE2013-17
A Mechanism for Executing Software Systems with Defective Components
Satoshi Watanabe, Yasuhiro Sugiyama (Nihon Univ.)
pp. 25 - 30
KBSE2013-18
Network analysis for Software Patterns in Portland Pattern Repository
Hironori Washizaki (Waseda Univ.), Takeshi Kawamura (USOL Tokyo), Masashi Kadoya, Yoshiaki Fukazawa (Waseda Univ.)
pp. 31 - 36
KBSE2013-19
Fluid Design Abstraction
Naoyasu Ubayashi, Ai Di, Shintaro Hosoai, Yasutaka Kamei (Kyushu Univ.)
pp. 37 - 42
KBSE2013-20
Finite State Automata Representing Character Appearance and Disappearance by Character Encoding Scheme Conversion
Seikoh Nishita (Takushoku Univ.)
pp. 43 - 48
KBSE2013-21
Modeling Smartphone Apps Using State Machine Diagrams
Kyosuke Ochimizu, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki (KUMW), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.)
pp. 49 - 54
KBSE2013-22
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.)
pp. 55 - 60
KBSE2013-23
Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling
Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.)
pp. 61 - 66
KBSE2013-24
[Encouragement Talk]
A preliminary evaluation of C-Helper, a tool for C beginners
Kota Uchida, Katsuhiko Gondow (Tokyo Inst. of Tech.)
pp. 67 - 72
KBSE2013-25
Malbolge with 20trits word length and its programming
Tatsuki Kato, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 73 - 78
KBSE2013-26
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.)
pp. 79 - 84
KBSE2013-27
A Context Representation for Access Control Models by using Object-oriented Petri Nets
Tadashi Iijima (Keio Univ.)
pp. 85 - 90
KBSE2013-28
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.)
pp. 91 - 96
KBSE2013-29
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.)
pp. 97 - 102
KBSE2013-30
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.)
pp. 103 - 108
KBSE2013-31
On Effectiveness of Filtering for Code Review Planning using Mathematical Programming Model
Shinya Inoue, Hirohisa Aman (Ehime Univ)
pp. 109 - 114
KBSE2013-32
Support for Method-Extraction Refactoring by Automatic Removal of Temporary Variables
Kaori Tajima, Takayuki Omori, Katsuhisa Maruyama (Ritsumeikan Univ.)
pp. 115 - 120
KBSE2013-33
An approach to support duplicate code removal based on their evolutional information
Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 121 - 126
KBSE2013-34
Clone Tracking based on Similarity of CRD
Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 127 - 132
KBSE2013-35
Improving Applicability to Large-Scale Products of a Code-Clone Detetion Method Based on an Arbitrary-Granularity Function Model
Toshihiro Kamiya (Future Univ. Hakodate)
pp. 133 - 137
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.