Information and Systems-Software Science(Date:2011/10/20)

Presentation
表紙

,  

[Date]2011/10/20
[Paper #]
目次

,  

[Date]2011/10/20
[Paper #]
Research into the impact on sales caused by the spread of information on SNS : Correlation between number of tweets on Twitter and sales of mobile application on iTunes AppStore

Tasuku OKUDA,  Takami YASUDA,  Masashi MIZUNO,  

[Date]2011/10/20
[Paper #]SS2011-27
Information System Development Method Based on the Service Supply and Demand Schema

Yoshihisa TSUBOTA,  Tsuneo AJISAKA,  

[Date]2011/10/20
[Paper #]SS2011-28
DAO Design Pattern for Multi-version Schema of XML Database

Toshifumi ENOMOTO,  Gengo SUZUKI,  Nobuyuki KOBAYASHI,  Masashi YAMAMURO,  

[Date]2011/10/20
[Paper #]SS2011-29
Towards Efficient Faceted Navigation for Software Component Search

Takahiro KOMAMIZU,  Yasuhiro HAYASE,  Hiroyuki KITAGAWA,  

[Date]2011/10/20
[Paper #]SS2011-30
Development and Implementation of an Efficient Algorithm for Delta Mining

Keishi YAMANE,  Naoya NITTA,  

[Date]2011/10/20
[Paper #]SS2011-31
Driving Forces of Research on Software Engineering

Koichiro OCHIMIZU,  

[Date]2011/10/20
[Paper #]SS2011-32
Parametric Execution Time Analysis for Recursive Programs and its Experimental Evaluation

Kazuhiro Kabashima,  Akio Nakata,  

[Date]2011/10/20
[Paper #]SS2011-33
A Time Budget Optimization Method for Multi-Task Behavioral Specifications with Resource Constraints

Kazuya KURATA,  Taichi DODO,  Akio NAKATA,  

[Date]2011/10/20
[Paper #]SS2011-34
A discussion of inspections based on patterns for CSP descriptions

Han-Myung CHANG,  Masami NORO,  Atsushi SAWADA,  Atsushi YOSHIDA,  Yoshinari HACHISU,  Reishi YOKOMORI,  

[Date]2011/10/20
[Paper #]SS2011-35
Iterative Construction of Finite Alloy Descriptions

Kei KOGAI,  Shin NAKAJIMA,  Yoshikazu UEDA,  

[Date]2011/10/20
[Paper #]SS2011-36
Towards a formal verification of interrupts in TOPPERS/ASP by the separation logic

Takashi NAKASHIMA,  Shoji YUEN,  

[Date]2011/10/20
[Paper #]SS2011-37
Incorporating Elementary Symmetric Clauses into SAT Solvers with Two-Watched-Literal Scheme

Yoshizane HINO,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichirou KUSAKARI,  Naoki NISHIDA,  

[Date]2011/10/20
[Paper #]SS2011-38
複写される方へ

,  

[Date]2011/10/20
[Paper #]
Notice for Photocopying

,  

[Date]2011/10/20
[Paper #]
奥付

,  

[Date]2011/10/20
[Paper #]
裏表紙

,  

[Date]2011/10/20
[Paper #]