Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [Japanese] / [English]
KBSE2012-12
Aspect-Oriented Workflow Transformation
-- Application to Business Process Representation by Object-Oriented Petri-Net --
Tadashi Iijima (Keio Univ.)
pp. 1 - 6
KBSE2012-13
Graph-based Detection of Imperfect-Matching Clones in Simulink Models
Hironori Washizaki, Shinichi Murakami, Yoshiaki Fukazawa (Waseda U.)
pp. 7 - 12
KBSE2012-14
Integration of exceptional event sequences into normal scenarios
Atsushi Ohnishi (Ritsumeikan U.)
pp. 13 - 18
KBSE2012-15
Integration Method of UML Requirement Analytical Model and Security Requirement Analysis based on Common Criteria
Atsushi Noro (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 19 - 24
KBSE2012-16
Evaluation of Error Prone Prediction method by using majority rule
Toshihide Takahashi, Tatusya Ohnishi, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Uni.)
pp. 25 - 30
KBSE2012-17
Definitions of Business Logic for End-User-Initiative Development
Takeshi Chusho (Meiji Univ.)
pp. 31 - 36
KBSE2012-18
A Proposal on a Method for Reviewing Operation Manuals of Supercomputer
Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
pp. 37 - 42
KBSE2012-19
How to apply TOC/CCPM for an Enterprise System Development to Achieve the Maximization of Productivity
-- A Proposal for a Management System which Increases the Overall Productivity by Improving the Working Hour Utilization of the Resources on the Feeding Chain --
Chizuru Soejima (NTT DATA)
pp. 43 - 48
KBSE2012-20
A Survey on Structured Documents for Assurance Cases
Yutaka Matsuno, Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.)
pp. 49 - 54
KBSE2012-21
A proposed research framework for "Dependability Science" based on assurance cases
Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
pp. 55 - 59
KBSE2012-22
A Consideration on Describing Dependability Case
Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.)
pp. 61 - 66
KBSE2012-23
An analysis of the relation between the behavior of a learner and acquired skill level in role-play training
Yuki Tachikawa, Hiroshi Maruyama (TUT), Akio Takashima (COS), Taichi Nakamura (TUT)
pp. 67 - 72
KBSE2012-24
Toward software development PBL supporting environment for fine-grained project monitoring on DaaS
Yuki Manabe, Hiroshi Igaki (Osaka Univ.), Naoki Fukuyasu (Wakayama Univ.), Sachio Saiki (Kochi Univ. of Tech.), Shinji Kusumoto, Katsuro Inoue (Osaka Univ.)
pp. 73 - 78
KBSE2012-25
Using Alloy to Support the Building of Domain Specific Language for Mining Software Repositories
Changyun Huang, Ryosuke Nakashiro, Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi (Kyushu Univ.)
pp. 79 - 84
KBSE2012-26
Improving Software Metrics Measurement by Simplifying Program Structures
Yui Sasaki, Tomoya Ishihara, Keisuke Hotta, Hideaki Hata, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto (Osaka Univ.)
pp. 85 - 90
KBSE2012-27
A Technique for Extracting and Visualizing Implementation Structure of Software Features
Hiroshi Kazato (NTT), Shinpei Hayashi (Tokyo Tech.), Satoshi Okada, Shunsuke Miyata, Takashi Hoshino (NTT), Motoshi Saeki (Tokyo Tech.)
pp. 91 - 96
KBSE2012-28
Supporting code moving refactoring based on dynamic analysis
Shuhei Kimura, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto (Osaka Univ.)
pp. 97 - 102
KBSE2012-29
On Extending Matching Operation in Grammar Programs for Program Inversion
Minami Niwa, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
pp. 103 - 108
KBSE2012-30
A Quantitative Analysis of Relationship between Increasing Tendency of Comment Description and Fault-proneness in Source Code
Ryohei Asano, Hirohisa Aman (Ehime Univ)
pp. 109 - 114
KBSE2012-31
Global Load Instruction Aggregation Considering Dimensions of Arrays
Yasunobu Sumikawa, Munehiro Takimoto (TUS)
pp. 115 - 119
KBSE2012-32
A method to evaluate structure of Simulink model based on subsystem boundary information
Takatoshi Kobayashi, Takashi Kobayashi (Nagoya Univ.), Takayuki Kubo (AISIN AW), Kiyoshi Agusa (Kyoto Univ.)
pp. 121 - 126
KBSE2012-33
Automatic Program Segmentation Using Slicing-based Cohesion Metrics for Supporting Comprehension
Rikichi Hirayama, Norihiro Yoshida, Hajimu Iida (NAIST)
pp. 127 - 132
KBSE2012-34
An Implementation Method of Context-Oriented Programming in Objective-C
Masaya Suzuki, Takuo Watanabe (Tokyo Tech)
pp. 133 - 138
KBSE2012-35
Systematic Improvement Method for Particular Problems of UML Modeling Beginners in Use Case Description
Shunsuke Matsui, Hirotaka Okuda, Ryo Shikimi, Atsushi Noro, Koji Okada (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 139 - 144
KBSE2012-36
A proposal on a method to describe enterprise architecture development process
Tatsuya Tokuno, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
pp. 145 - 150
KBSE2012-37
Formalization of ModularGSN
Takuya Saruwatari (Nagoya Univ./NTT), Yutaka Matsuno (Nagoya Univ.), Takashi Hoshino (NTT), Shuichiro Yamamoto (Nagoya Univ.)
pp. 151 - 156
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.