| 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) 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) 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) DATE: Fri, Jul 27, 2012 11:00 - 17:50 Sat, Jul 28, 2012 09:00 - 16:20 PLACE: FUTURE UNIVERSITY HAKODATE TOPICS: General session ---------------------------------------- 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.) ----- 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.) ----- 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) ----- 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.) ----- 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.) ----- 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) ----- 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.) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. === Technical Committee on Software Science (SS) === # SECRETARY: Hironori Washizaki (Waseda University) TEL: 03-5286-3272 FAX: 03-5286-3272 E-mail:          # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.washi.cs.waseda.ac.jp/sigss/ === Technical Committee on Knowledge-Based Software Engineering (KBSE) === # SECRETARY: Saeko Matsuura(Shibaura Inst. of Tech.) E-mail:  tuu bau-itLast 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.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] / [Return to KBSE Schedule Page] /
| Go Top | Go Back | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]