情報・システム-ソフトウェアサイエンス(開催日:2011/06/23)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2011/6/23
[資料番号]
目次

,  

[発表日]2011/6/23
[資料番号]
An Extention of DynAlloy with Concurrency

,  

[発表日]2011/6/23
[資料番号]SS2011-1
Verification of BPEL Workflows Design using Model Checking

,  

[発表日]2011/6/23
[資料番号]SS2011-2
An Introduction of A Formal Method in PBL : A Case Report

,  

[発表日]2011/6/23
[資料番号]SS2011-3
Static Analysis for k-secrecy against Inference Attacks

,  

[発表日]2011/6/23
[資料番号]SS2011-4
ReceiptLog : A Consumer-Oriented Lifelog Service for Storing and Reviewing Daily Receipts

,  

[発表日]2011/6/23
[資料番号]SS2011-5
Evaluating Lifelog Common Data Model and Mashup API through Practical Application Development

,  

[発表日]2011/6/23
[資料番号]SS2011-6
A Prototype of Comparison Tool for Android Applications Based on Difference of API Calling Sequences

,  

[発表日]2011/6/23
[資料番号]SS2011-7
A Tool For Detecting Duplicated Test Code Based On Test Coverage to Assist TDD

坂本 一憲,  和田 卓人,  鷲崎 弘宜,  深澤 良彰,  

[発表日]2011/6/23
[資料番号]SS2011-8
Evaluating Habituation Effect on Conversational Voice Control in Home Network System

,  

[発表日]2011/6/23
[資料番号]SS2011-9
Finding Code Clones for Refactoring with Clone Metrics : A Case Study of Open Source Software

,  

[発表日]2011/6/23
[資料番号]SS2011-10
An Approach to Investigating How a Lack of Software Refactoring Effects Defect Density

,  

[発表日]2011/6/23
[資料番号]SS2011-11
Preliminary Assessment of Software Metrics based on Coding Standards Violations

,  

[発表日]2011/6/23
[資料番号]SS2011-12
複写される方へ

,  

[発表日]2011/6/23
[資料番号]
Notice for Photocopying

,  

[発表日]2011/6/23
[資料番号]
奥付

,  

[発表日]2011/6/23
[資料番号]
裏表紙

,  

[発表日]2011/6/23
[資料番号]