IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Technical Committee on Software Science (SS) [schedule] [select]
Chair Shin Nakajima (NII)
Vice Chair Shoji Yuen (Nagoya Univ.)
Secretary Hironobu Washizaki (Waseda Univ.), Yoshiaki Takata (Kochi Univ. of Tech.)
Assistant Takashi Kobayashi (Nagoya Univ.)

Technical Committee on Knowledge-Based Software Engineering (KBSE) [schedule] [select]
Chair Saeko Matsuura (Shibaura Inst. of Tech.)
Vice Chair Tadashi Iijima (Keio Univ.)
Secretary Takuya Saruwatari (NTT DATA), Atsuo Hazeyama (Tokyo Gakugei Univ.)
Assistant Fumihiro Kumeno (Nippon Inst. of Tech.), Hironori Takeuchi (IBM)

Conference Date Fri, Jul 27, 2012 11:00 - 17:50
Sat, Jul 28, 2012 09:00 - 16:20
Topics General session 
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

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 --
SS2012-10 KBSE2012-12
Tadashi Iijima (Keio Univ.)
(2) 11:30-12:00 Graph-based Detection of Imperfect-Matching Clones in Simulink Models SS2012-11 KBSE2012-13 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 SS2012-12 KBSE2012-14 Atsushi Ohnishi (Ritsumeikan U.)
(4) 13:30-14:00 Integration Method of UML Requirement Analytical Model and Security Requirement Analysis based on Common Criteria SS2012-13 KBSE2012-15 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 SS2012-14 KBSE2012-16 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 SS2012-15 KBSE2012-17 Takeshi Chusho (Meiji Univ.)
(7) 15:10-15:40 A Proposal on a Method for Reviewing Operation Manuals of Supercomputer SS2012-16 KBSE2012-18 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 --
SS2012-17 KBSE2012-19
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 SS2012-18 KBSE2012-20 Yutaka Matsuno, Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.)
(10) 16:50-17:20 A proposed research framework for "Dependability Science" based on assurance cases SS2012-19 KBSE2012-21 Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
(11) 17:20-17:50 A Consideration on Describing Dependability Case SS2012-20 KBSE2012-22 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 SS2012-21 KBSE2012-23 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 SS2012-22 KBSE2012-24 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 SS2012-23 KBSE2012-25 Changyun Huang, Ryosuke Nakashiro, Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi (Kyushu Univ.)
  10:30-10:40 Break ( 10 min. )
Sat, Jul 28 PM 
10:40 - 12:10
(15) 10:40-11:10 Improving Software Metrics Measurement by Simplifying Program Structures SS2012-24 KBSE2012-26 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 SS2012-25 KBSE2012-27 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 SS2012-26 KBSE2012-28 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 SS2012-27 KBSE2012-29 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 SS2012-28 KBSE2012-30 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 SS2012-29 KBSE2012-31 Yasunobu Sumikawa, Munehiro Takimoto (TUS)
(21) 14:50-15:20 A method to evaluate structure of Simulink model based on subsystem boundary information SS2012-30 KBSE2012-32 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 SS2012-31 KBSE2012-33 Rikichi Hirayama, Norihiro Yoshida, Hajimu Iida (NAIST)
(23) 15:50-16:20 An Implementation Method of Context-Oriented Programming in Objective-C SS2012-32 KBSE2012-34 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 SS2012-33 KBSE2012-35 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 SS2012-34 KBSE2012-36 Tatsuya Tokuno, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.)
(26) 15:20-15:50 Formalization of ModularGSN SS2012-35 KBSE2012-37 Takuya Saruwatari (Nagoya Univ./NTT), Yutaka Matsuno (Nagoya Univ.), Takashi Hoshino (NTT), Shuichiro Yamamoto (Nagoya Univ.)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Hironori Washizaki (Waseda University)
TEL: 03-5286-3272
FAX: 03-5286-3272
Announcement Latest information will be presented on the homepage
KBSE Technical Committee on Knowledge-Based Software Engineering (KBSE)   [Latest Schedule]
Contact Address Saeko Matsuura(Shibaura Inst. of Tech.)
E-: tuubau-it 

Last modified: 2012-07-14 14:45:58

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.

[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

[Return to SS Schedule Page]   /   [Return to KBSE Schedule Page]   /  
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

[Return to Top Page]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan