Information and Systems-Software Science(Date:2012/05/03)

Presentation
表紙

,  

[Date]2012/5/3
[Paper #]
目次

,  

[Date]2012/5/3
[Paper #]
Adoption of Software Product Line from Extreme Derivative Development Process

Tsuneo NAKANISHI,  Hans-Werner GRIEPENTROG,  Claes JEGER-HANSEN,  Kenji HISAZUMI,  Akira FUKUDA,  

[Date]2012/5/3
[Paper #]SS2012-1
On Multi-Task Scheduling for Reducing Heap Memory Consumption Using Live Variable Analysis

Hiroki FUNASE,  Akio NAKATA,  

[Date]2012/5/3
[Paper #]SS2012-2
QORAL : External Domain-Specific Language for Mining Software Repositories with GPGPU

Hiroki Nakamura,  Rina Nagano,  Kenji Hiszumi,  Yasutaka Kamei,  Naoyasu Ubayashi,  Akira Fukuda,  

[Date]2012/5/3
[Paper #]SS2012-3
An Analysis Method of Code Clone With Context and Content of Code

Toshihiro KAMIYA,  

[Date]2012/5/3
[Paper #]SS2012-4
Throughput Performance Verification of Airship Autopilot Software : A Case Study for Evaluating Performance Verification of Software Design Model

Akira KADO,  Akio NAKATA,  

[Date]2012/5/3
[Paper #]SS2012-5
Mining API Usage Patterns from Software Repositories by Categorizing Method Invocations

Rizky Januar Akbar,  Takayuki OMORI,  Katsuhisa MARUYAMA,  

[Date]2012/5/3
[Paper #]SS2012-6
A Weighted-Pushdown-System-Based Formal Model for Information-Based Access Control

ALVAREZ Pablo LAMILLA,  Yoshiaki TAKATA,  

[Date]2012/5/3
[Paper #]SS2012-7
Introducing Array Mechanism into High-Level Assembly Language for Malbolge

Satoshi ANDO,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichirou KUSAKARI,  Naoki NISHIDA,  

[Date]2012/5/3
[Paper #]SS2012-8
Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types

Keiichirou KUSAKARI,  

[Date]2012/5/3
[Paper #]SS2012-9
複写される方へ

,  

[Date]2012/5/3
[Paper #]
Notice for Photocopying

,  

[Date]2012/5/3
[Paper #]
奥付

,  

[Date]2012/5/3
[Paper #]
裏表紙

,  

[Date]2012/5/3
[Paper #]