Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2005-48
Detection and Repair of Inconsistency in UML Models using XPath adn XMI-difference
Toru Sasaki, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 1 - 6
SS2005-49
Automatic generation of post-conditions for Java methods by limited utilization of Daikon
Yasunobu Kajita, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 7 - 12
SS2005-50
A New Architecture for Trust Management with User Presence
Jun Noda (NEC), Hisashi Mouri (NAIST), Yoshiaki Takata, Hiroyuki Seki (NEC/NAIST), Daigo Taguchi, Mie Takahashi, Itaru Hosomi (NEC)
pp. 13 - 18
SS2005-51
Parametric Verification towards Design of Real-Time Systems
Chaiwat Sathawornwichit, Takuya Katayama (JAIST)
pp. 19 - 24
SS2005-52
Dynamic reconfiguration and composition of Apache based on feature-oriented analysis
Hiroaki Tanizaki, Takuya Katayama (JAIST)
pp. 25 - 30
SS2005-53
Communication model among Statecharts: An approach using characteristic event sequences
Hsin-Hung Lin, Takuya Katayama (JAIST)
pp. 31 - 36
SS2005-54
Visualizing Program Modification Process Based on Program Structure Variety
Ryouhei Mizuho (Grad School of Shimane Univ.), Kouta Tsuchida (Shimane Univ.), Takahiro Hamana (Grad School of Shimane Univ.), Tadamasa Satou (Shimane Univ.)
pp. 37 - 42