Information and Systems-Software Science(Date:2012/07/20)

Presentation
表紙

,  

[Date]2012/7/20
[Paper #]
目次

,  

[Date]2012/7/20
[Paper #]
Aspect-Oriented Workflow Transformation : Application to Business Process Representation by Object-Oriented Petri-Net

Tadashi IIJIMA,  

[Date]2012/7/20
[Paper #]SS2012-10,KBSE2012-12
Graph-based Detection of Imperfect-Matching Clones in Simulink Models

Hironori Washizaki,  Shinichi Murakami,  Yoshiaki Fukazawa,  

[Date]2012/7/20
[Paper #]SS2012-11,KBSE2012-13
Integration of Exceptional Event Sequences into Normal Scenarios

Atsushi OHNISHI,  

[Date]2012/7/20
[Paper #]SS2012-12,KBSE2012-14
Integration Method of UML Requirement Analytical Model and Security Requirement Analysis based on Common Criteria

Atsushi NORO,  Shinpei OGATA,  Saeko MATSUURA,  

[Date]2012/7/20
[Paper #]SS2012-13,KBSE2012-15
Evaluation of Error Prone Prediction method by using majority rule

Toshihide Takahashi,  Tatsuya Ohnishi,  Shinpei Ogata,  Haruhiko Kaiya,  Kenji Kaijiri,  

[Date]2012/7/20
[Paper #]SS2012-14,KBSE2012-16
Definitions of Business Logic for End-User-Initiative Development

Takeshi CHUSHO,  

[Date]2012/7/20
[Paper #]SS2012-15,KBSE2012-17
A Proposal on a Method for Reviewing Operation Manuals of Supercomputer

Shota TAKAMA,  Yutaka MATSUNO,  Shuichiro YAMAMOTO,  

[Date]2012/7/20
[Paper #]SS2012-16,KBSE2012-18
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,  

[Date]2012/7/20
[Paper #]SS2012-17,KBSE2012-19
A Survey on Structured Documents for Assurance Cases

Yutaka MATSUNO,  Vaise PATU,  Shuichiro YAMAMOTO,  

[Date]2012/7/20
[Paper #]SS2012-18,KBSE2012-20
A proposed research framework for "Dependability Science" based on assurance cases

Vaise Patu,  Yutaka Matsuno,  Shuichiro Yamamoto,  

[Date]2012/7/20
[Paper #]SS2012-19,KBSE2012-21
A Consideration on Developing Dependability Case

Shuichiro Yamamoto,  Yutaka Matsuno,  

[Date]2012/7/20
[Paper #]SS2012-20,KBSE2012-22
An analysis of the relation between the behavior of a learner and acquired skill level in role-play training

Yuki TACHIKAWA,  Hiroshi MARUYAMA,  Akio TAKASHIMA,  Taichi NAKAMURA,  

[Date]2012/7/20
[Paper #]SS2012-21,KBSE2012-23
Toward software development PEL supporting environment for fine-grained project monitoring on DaaS

Yuki MANABE,  Hiroshi IGAKI,  Naoki FUKUYASU,  Sachio SAIKI,  Shinji KUSUMOTO,  Katsuro INOUE,  

[Date]2012/7/20
[Paper #]SS2012-22,KBSE2012-24
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,  

[Date]2012/7/20
[Paper #]SS2012-23,KBSE2012-25
Improving Software Metrics Measurement by Simplifying Program Structures

Yui SASAKI,  Tomoya ISHIHARA,  Keisuke HOTTA,  Hideaki HATA,  Yoshiki HIGO,  Hiroshi IGAKI,  Shinji KUSUMOTO,  

[Date]2012/7/20
[Paper #]SS2012-24,KBSE2012-26
A Technique for Extracting and Visualizing Implementation Structure of Software Features

Hiroshi KAZATO,  Shinpei HAYASHI,  Satoshi OKADA,  Shunsuke MIYATA,  Takashi HOSHINO,  Motoshi SAEKI,  

[Date]2012/7/20
[Paper #]SS2012-25,KBSE2012-27
Supporting Code Moving Refactoring Based on Dynamic Analysis

Shuhei KIMURA,  Yoshiki HIGO,  Hiroshi IGAKI,  Shinji KUSUMOTO,  

[Date]2012/7/20
[Paper #]SS2012-26,KBSE2012-28
On Extending Matching Operation in Grammar Programs for Program Inversion

Minami NIWA,  Naoki NISHIDA,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichirou KUSAKARI,  

[Date]2012/7/20
[Paper #]SS2012-27,KBSE2012-29
12>> 1-20hit(32hit)