IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Software Science

Workshop Date : 2012-05-10 - 2012-05-11 / Issue Date : 2012-05-03

SS2012-1
Adoption of Software Product Line from Extreme Derivative Development Process
Tsuneo Nakanishi (Kyushu Univ.), Hans-Werner Griepentrog, Claes Jaeger-Hansen (UHOH), Kenji Hisazumi, Akira Fukuda (Kyushu Univ.)
pp. 1 - 6

SS2012-2
On Multi-Task Scheduling for Reducing Heap Memory Consumption Using Live Variable Analysis
Hiroki Funase, Akio Nakata (Hiroshima City Univ.)
pp. 7 - 12

SS2012-3
QORAL: External Domain-Specific Language for Mining Software Repositories with GPGPU
Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, Akira Fukuda (Kyushu Univ.)
pp. 13 - 18

SS2012-4
An Analysis Method of Code Clone With Context and Content of Code
Toshihiro Kamiya (Fun)
pp. 19 - 24

SS2012-5
Throughput Performance Verification of Airship Autopilot Software: A Case Study for Evaluating Performance Verification of Software Design Model
Akira Kado, Akio Nakata (Hiroshima City Univ.)
pp. 25 - 30

SS2012-6
Mining API Usage Patterns from Software Repositories by Categorizing Method Invocations
Rizky Januar Akbar, Takayuki Omori, Katsuhisa Maruyama (Ritsumeikan Univ.)
pp. 31 - 36

SS2012-7
A Weighted-Pushdown-System-Based Formal Model for Information-Based Access Control
Pablo Lamilla Alvarez, Yoshiaki Takata (Kochi Univ. of Tech.)
pp. 37 - 42

SS2012-8
Introducing Array Mechanism into High-Level Assembly Language for Malbolge
Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 43 - 48

SS2012-9
Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types
Keiichirou Kusakari (Nagoya Univ.)
pp. 49 - 54

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

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