Information and Systems-Software Science(Date:2006/07/28)

Presentation
表紙

,  

[Date]2006/7/28
[Paper #]
目次

,  

[Date]2006/7/28
[Paper #]
Multi-Completion with new encoding for Partial Order Constraints

Haruhiko SATO,  Masahito KURIHARA,  

[Date]2006/7/28
[Paper #]SS2006-34
The Research about Creating Auto Edition Template with the Formal Languages Method

Kenichi ZAI,  

[Date]2006/7/28
[Paper #]SS2006-35
Hierarchical Model Checking to Ensure Timeliness QoS Described in UML/OCL

Eigo NAGAI,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2006/7/28
[Paper #]SS2006-36
Extension of Interaction Model by Mapping Method

Takuto YANAGIDA,  Hidetoshi NONAKA,  Masahito KURIHARA,  

[Date]2006/7/28
[Paper #]SS2006-37
An Efficient Model Checking Method for Programs with Histroy-based Access Control

Jing WANG,  Yoshiaki TAKATA,  Hiroyuki SEKI,  

[Date]2006/7/28
[Paper #]SS2006-38
Hierarchical Model-checking for Web Application with SPIN

Yuu HAMAGUCHI,  Akira YOSHIMURA,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2006/7/28
[Paper #]SS2006-39
複写される方へ

,  

[Date]2006/7/28
[Paper #]
Notice about photocopying

,  

[Date]2006/7/28
[Paper #]
奥付

,  

[Date]2006/7/28
[Paper #]