Fri, Jul 27 AM 11:00 - 12:00 |
(1) |
11:00-11:30 |
Aspect-Oriented Workflow Transformation
-- Application to Business Process Representation by Object-Oriented Petri-Net -- |
Tadashi Iijima (Keio Univ.) |
(2) |
11:30-12:00 |
Graph-based Detection of Imperfect-Matching Clones in Simulink Models |
Hironori Washizaki, Shinichi Murakami, Yoshiaki Fukazawa (Waseda U.) |
|
12:00-13:00 |
Lunch Break ( 60 min. ) |
Fri, Jul 27 PM 13:00 - 14:30 |
(3) |
13:00-13:30 |
Integration of exceptional event sequences into normal scenarios |
Atsushi Ohnishi (Ritsumeikan U.) |
(4) |
13:30-14:00 |
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.) |
(5) |
14:00-14:30 |
Evaluation of Error Prone Prediction method by using majority rule |
Toshihide Takahashi, Tatusya Ohnishi, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Uni.) |
|
14:30-14:40 |
Break ( 10 min. ) |
Fri, Jul 27 PM 14:40 - 16:10 |
(6) |
14:40-15:10 |
Definitions of Business Logic for End-User-Initiative Development |
Takeshi Chusho (Meiji Univ.) |
(7) |
15:10-15:40 |
A Proposal on a Method for Reviewing Operation Manuals of Supercomputer |
Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) |
(8) |
15:40-16:10 |
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) |
|
16:10-16:20 |
Break ( 10 min. ) |
Fri, Jul 27 PM 16:20 - 17:50 |
(9) |
16:20-16:50 |
A Survey on Structured Documents for Assurance Cases |
Yutaka Matsuno, Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.) |
(10) |
16:50-17:20 |
A proposed research framework for "Dependability Science" based on assurance cases |
Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) |
(11) |
17:20-17:50 |
A Consideration on Describing Dependability Case |
Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.) |
Sat, Jul 28 AM 09:00 - 10:30 |
(12) |
09:00-09:30 |
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) |
(13) |
09:30-10:00 |
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.) |
(14) |
10:00-10:30 |
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.) |
|
10:30-10:40 |
Break ( 10 min. ) |
Sat, Jul 28 AM 10:40 - 12:10 |
(15) |
10:40-11:10 |
Improving Software Metrics Measurement by Simplifying Program Structures |
Yui Sasaki, Tomoya Ishihara, Keisuke Hotta, Hideaki Hata, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto (Osaka Univ.) |
(16) |
11:10-11:40 |
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.) |
(17) |
11:40-12:10 |
Supporting code moving refactoring based on dynamic analysis |
Shuhei Kimura, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto (Osaka Univ.) |
|
12:10-13:10 |
Lunch Break ( 60 min. ) |
Sat, Jul 28 PM 13:10 - 14:10 |
(18) |
13:10-13:40 |
On Extending Matching Operation in Grammar Programs for Program Inversion |
Minami Niwa, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
(19) |
13:40-14:10 |
A Quantitative Analysis of Relationship between Increasing Tendency of Comment Description and Fault-proneness in Source Code |
Ryohei Asano, Hirohisa Aman (Ehime Univ) |
|
14:10-14:20 |
Break ( 10 min. ) |
Sat, Jul 28 PM 14:20 - 16:20 |
(20) |
14:20-14:50 |
Global Load Instruction Aggregation Considering Dimensions of Arrays |
Yasunobu Sumikawa, Munehiro Takimoto (TUS) |
(21) |
14:50-15:20 |
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.) |
(22) |
15:20-15:50 |
Automatic Program Segmentation Using Slicing-based Cohesion Metrics for Supporting Comprehension |
Rikichi Hirayama, Norihiro Yoshida, Hajimu Iida (NAIST) |
(23) |
15:50-16:20 |
An Implementation Method of Context-Oriented Programming in Objective-C |
Masaya Suzuki, Takuo Watanabe (Tokyo Tech) |
Sat, Jul 28 PM 14:20 - 15:50 |
(24) |
14:20-14:50 |
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.) |
(25) |
14:50-15:20 |
A proposal on a method to describe enterprise architecture development process |
Tatsuya Tokuno, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) |
(26) |
15:20-15:50 |
Formalization of ModularGSN |
Takuya Saruwatari (Nagoya Univ./NTT), Yutaka Matsuno (Nagoya Univ.), Takashi Hoshino (NTT), Shuichiro Yamamoto (Nagoya Univ.) |