Information and Systems-Software Science(Date:2005/10/07)

Presentation
表紙

,  

[Date]2005/10/7
[Paper #]
目次

,  

[Date]2005/10/7
[Paper #]
Detection and Repair of Inconsistency in UML Models using XPath and XMI-difference

Toru SASAKI,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2005/10/7
[Paper #]SS2005-48
Automatic generation of post-conditions for Java methods by limited utilization of Daikon

Yasunobu KAJITA,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2005/10/7
[Paper #]SS2005-49
A New Architecture for Trust Management with User Presence

Jun NODA,  Hisashi MOURI,  Yoshiaki TAKATA,  Hiroyuki SEKI,  Daigo TAGUCHI,  Mie TAKAHASHI,  Itaru HOSOMI,  

[Date]2005/10/7
[Paper #]SS2005-50
Parametric Verification towards Design of Real-Time Systems

Chaiwat SATHAWORNWICHIT,  Takuya KATAYAMA,  

[Date]2005/10/7
[Paper #]SS2005-51
Dynamic reconfiguration and composition of Apache based on feature-oriented analysis

Hiroaki TANIZAKI,  Takuya KATAYAMA,  

[Date]2005/10/7
[Paper #]SS2005-52
Communication model among Statecharts : An approach using characteristic event sequences

Hsin Hung Lin,  Takuya Katayama,  

[Date]2005/10/7
[Paper #]SS2005-53
Visualizing Program Modification Process Based on Program Structure Variety

Ryouhei MIZUHO,  Kouta TSUCHIDA,  Takahiro HAMANA,  Tadamasa SATOU,  

[Date]2005/10/7
[Paper #]SS2005-54
複写される方へ

,  

[Date]2005/10/7
[Paper #]
Notice about photocopying

,  

[Date]2005/10/7
[Paper #]
奥付

,  

[Date]2005/10/7
[Paper #]