Information and Systems-Software Science(Date:2013/10/17)

Presentation
表紙

,  

[Date]2013/10/17
[Paper #]
目次

,  

[Date]2013/10/17
[Paper #]
Symbolic Model Checking of Embedded CISC Assembly Program

Kenta WATANABE,  Hyejin JANG,  Kohei SAKURAI,  Satoshi YAMANE,  

[Date]2013/10/17
[Paper #]SS2013-36
Development of the Behavior Extractor for Assembly Program of Embedded CISC Microcomputer and Adapting to Model Checking : Generating the Model Automatically by Simulation

Ryousuke KONOSHITA,  Satoshi YAMANE,  Kouhei SAKURAI,  

[Date]2013/10/17
[Paper #]SS2013-37
Design and Implementation of a Framework for API-Based Language Extension via Rule-Based Rewriting utilizing COINS

Takuya SHIODE,  Hideyuki KAWABATA,  Toshiaki KITAMURA,  

[Date]2013/10/17
[Paper #]SS2013-38
フレームワークァプリケーションに於ける副作用の兆候を抽出する動的解析手法

,  

[Date]2013/10/17
[Paper #]Vol.2013-SE-182No.4
デルタ抽出プラグインの開発とそのプログラム理解に対する有効性評価

,  

[Date]2013/10/17
[Paper #]Vol.2013-SE-182No.5
Test Data Generation for Integration Testing by Using Concolic Testing

,  

[Date]2013/10/17
[Paper #]Vol.2013-SE-182No.6
A Study on Software Maintainability Evaluation using the Directed Graph Analysis

Mitsuhiro NAKAMURA,  Reiko KINOMOTO,  Hisaaki NAKAJIMA,  Tomoki HAMAGAMI,  

[Date]2013/10/17
[Paper #]SS2013-39
A representation of relationships between functions and variables in source code

Yamato TAKAHASHI,  Kazuya FUKUHARA,  Toshimitsu INOMATA,  Yoshikazu ARAI,  Shintaro IMAI,  

[Date]2013/10/17
[Paper #]SS2013-40
A visualization method of relationships between functions and variables for a code review system

Kazuya FUKUHARA,  Yamato TAKAHASHI,  Toshimitsu INOMATA,  Yoshikazu ARAI,  Shintaro IMAI,  

[Date]2013/10/17
[Paper #]SS2013-41
Searching code fragments based on past reuse

Tomoya ISHIHARA,  Keisuke HOTTA,  Yoshiki HIGO,  Shinji KUSUMOTO,  

[Date]2013/10/17
[Paper #]SS2013-42
partitioning commits using data dependency among variables in source code

Hiroyuki KIRINUKI,  Keisuke HOTTA,  Yoshiki HIGO,  Shinji KUSUMOTO,  

[Date]2013/10/17
[Paper #]SS2013-43
Implementing Caching Mechanism to Improve Efficiency of Service-Oriented Mining Software Repository

Yasutaka SAKAMOTO,  Shinsuke MATSUMOTO,  Masahide NAKAMURA,  

[Date]2013/10/17
[Paper #]SS2013-44
A product derivation support method considering the non-functional properties in software product line

HIROMARU NAGANO,  TOMOJI KISHI,  

[Date]2013/10/17
[Paper #]Vol.2013-SE-182No.13
ソフトウェア開発プロセスモデルを用いた形式手法導入の検討

,  

[Date]2013/10/17
[Paper #]Vol.2013-SE-182No.14
Grouping Technique to Reuse Domain Dictionaries

,  

[Date]2013/10/17
[Paper #]Vol.2013-SE-182No.15
フレームワークサンプルアプリケーションを利用した実行シナリオの実装支援ツールの開発

,  

[Date]2013/10/17
[Paper #]Vol.2013-SE-182No.16
実行シナリオに基づくレイヤアーキテクチャの評価手法

,  

[Date]2013/10/17
[Paper #]Vol.2013-SE-182No.17
プログラム理解支援を目的とした分散ペアプログラミングのコミュニケーションログの活用

,  

[Date]2013/10/17
[Paper #]Vol.2013-SE-182No.18
12>> 1-20hit(37hit)