IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

Technical Committee on Software Science (SS)  (Searched in: 2012)

Search Results: Keywords 'from:2012-07-27 to:2012-07-27'

[Go to Official SS Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 20 of 26  /  [Next]  
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
 Results 1 - 20 of 26  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : 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)


[Return to Top Page]

[Return to IEICE Web Page]


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