Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE, SS |
2012-07-27 11:00 |
Hokkaido |
Future University Hakodate |
Aspect-Oriented Workflow Transformation
-- Application to Business Process Representation by Object-Oriented Petri-Net -- Tadashi Iijima (Keio Univ.) SS2012-10 KBSE2012-12 |
This paper describes on an attempt to apply an approch of aspect-orientation into a workflow manegement system based on... [more] |
SS2012-10 KBSE2012-12 pp.1-6 |
KBSE, SS |
2012-07-27 11:30 |
Hokkaido |
Future University Hakodate |
Graph-based Detection of Imperfect-Matching Clones in Simulink Models Hironori Washizaki, Shinichi Murakami, Yoshiaki Fukazawa (Waseda U.) SS2012-11 KBSE2012-13 |
Simulink models represent program as block diagrams for usually control system design. In large scale models or a large ... [more] |
SS2012-11 KBSE2012-13 pp.7-12 |
KBSE, SS |
2012-07-27 13:00 |
Hokkaido |
Future University Hakodate |
Integration of exceptional event sequences into normal scenarios Atsushi Ohnishi (Ritsumeikan U.) SS2012-12 KBSE2012-14 |
In scenario-based requirements elicitation, not only normal behaviors but also exceptional behaviors should be written a... [more] |
SS2012-12 KBSE2012-14 pp.13-18 |
KBSE, SS |
2012-07-27 13:30 |
Hokkaido |
Future University Hakodate |
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.) SS2012-13 KBSE2012-15 |
Analyzing security requirements for a system at an early stage of development is effective in developing a system with l... [more] |
SS2012-13 KBSE2012-15 pp.19-24 |
KBSE, SS |
2012-07-27 14:00 |
Hokkaido |
Future University Hakodate |
Evaluation of Error Prone Prediction method by using majority rule Toshihide Takahashi, Tatusya Ohnishi, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Uni.) SS2012-14 KBSE2012-16 |
[more] |
SS2012-14 KBSE2012-16 pp.25-30 |
KBSE, SS |
2012-07-27 14:40 |
Hokkaido |
Future University Hakodate |
Definitions of Business Logic for End-User-Initiative Development Takeshi Chusho (Meiji Univ.) SS2012-15 KBSE2012-17 |
The development of Web applications should be supported by business professionals themselves since Web applications must... [more] |
SS2012-15 KBSE2012-17 pp.31-36 |
KBSE, SS |
2012-07-27 15:10 |
Hokkaido |
Future University Hakodate |
A Proposal on a Method for Reviewing Operation Manuals of Supercomputer Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) SS2012-16 KBSE2012-18 |
The more information systems become complex, the more difficult it is to operate dependably. In this paper, we propose a... [more] |
SS2012-16 KBSE2012-18 pp.37-42 |
KBSE, SS |
2012-07-27 15:40 |
Hokkaido |
Future University Hakodate |
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) SS2012-17 KBSE2012-19 |
A number of case studies show the effectiveness of applying CCPM (Critical Chain Project Management) for enterprise syst... [more] |
SS2012-17 KBSE2012-19 pp.43-48 |
KBSE, SS |
2012-07-27 16:20 |
Hokkaido |
Future University Hakodate |
A Survey on Structured Documents for Assurance Cases Yutaka Matsuno, Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.) SS2012-18 KBSE2012-20 |
In safety critical area, recently assurance cases have been widely used. Assurance cases are structured documents for as... [more] |
SS2012-18 KBSE2012-20 pp.49-54 |
KBSE, SS |
2012-07-27 16:50 |
Hokkaido |
Future University Hakodate |
A proposed research framework for "Dependability Science" based on assurance cases Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) SS2012-19 KBSE2012-21 |
Achieving system dependability is still not
yet being clear identified for today’s modern software
systems. The firs... [more] |
SS2012-19 KBSE2012-21 pp.55-59 |
KBSE, SS |
2012-07-27 17:20 |
Hokkaido |
Future University Hakodate |
A Consideration on Describing Dependability Case Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.) SS2012-20 KBSE2012-22 |
[more] |
SS2012-20 KBSE2012-22 pp.61-66 |
KBSE, SS |
2012-07-28 09:00 |
Hokkaido |
Future University Hakodate |
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) SS2012-21 KBSE2012-23 |
[more] |
SS2012-21 KBSE2012-23 pp.67-72 |
KBSE, SS |
2012-07-28 09:30 |
Hokkaido |
Future University Hakodate |
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.) SS2012-22 KBSE2012-24 |
[more] |
SS2012-22 KBSE2012-24 pp.73-78 |
KBSE, SS |
2012-07-28 10:00 |
Hokkaido |
Future University Hakodate |
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.) SS2012-23 KBSE2012-25 |
This paper proposes an automated approach to build DSLs (Domain-Specific Languages) for MSR (Mining Software Repositorie... [more] |
SS2012-23 KBSE2012-25 pp.79-84 |
KBSE, SS |
2012-07-28 10:40 |
Hokkaido |
Future University Hakodate |
Improving Software Metrics Measurement by Simplifying Program Structures Yui Sasaki, Tomoya Ishihara, Keisuke Hotta, Hideaki Hata, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto (Osaka Univ.) SS2012-24 KBSE2012-26 |
Cyclomatic complexity is used as a representative complexity metric in software maintenance. However, it does not always... [more] |
SS2012-24 KBSE2012-26 pp.85-90 |
KBSE, SS |
2012-07-28 11:10 |
Hokkaido |
Future University Hakodate |
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.) SS2012-25 KBSE2012-27 |
After a feature is located in source code, developers understand implementation structure around the location from stati... [more] |
SS2012-25 KBSE2012-27 pp.91-96 |
KBSE, SS |
2012-07-28 11:40 |
Hokkaido |
Future University Hakodate |
Supporting code moving refactoring based on dynamic analysis Shuhei Kimura, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto (Osaka Univ.) SS2012-26 KBSE2012-28 |
Software refactoring is the process of reorganizing the internal structure of code while preserving the external behavio... [more] |
SS2012-26 KBSE2012-28 pp.97-102 |
KBSE, SS |
2012-07-28 13:10 |
Hokkaido |
Future University Hakodate |
On Extending Matching Operation in Grammar Programs for Program Inversion Minami Niwa, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) SS2012-27 KBSE2012-29 |
[more] |
SS2012-27 KBSE2012-29 pp.103-108 |
KBSE, SS |
2012-07-28 13:40 |
Hokkaido |
Future University Hakodate |
A Quantitative Analysis of Relationship between Increasing Tendency of Comment Description and Fault-proneness in Source Code Ryohei Asano, Hirohisa Aman (Ehime Univ) SS2012-28 KBSE2012-30 |
Comment statements are useful elements for enhancing the readability of program. However, sometimes comments are used to... [more] |
SS2012-28 KBSE2012-30 pp.109-114 |
KBSE, SS |
2012-07-28 14:20 |
Hokkaido |
Future University Hakodate |
Global Load Instruction Aggregation Considering Dimensions of Arrays Yasunobu Sumikawa, Munehiro Takimoto (TUS) SS2012-29 KBSE2012-31 |
Most of modern processors have some much faster cache memories than a main memory, and therefore, it is important to hit... [more] |
SS2012-29 KBSE2012-31 pp.115-119 |