電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380

vol. 105, no. 332

ソフトウェアサイエンス

[PREV] [NEXT]

SS2005-48
UMLモデルに対するXPathとXMI-differenceを用いた不整合検出と解消
○佐々木　亨・岡野浩三・楠本真二（阪大）
pp. 1 - 6

SS2005-49
Daikonの限定利用によるJavaメソッドの事後条件の自動導出
○梶田泰伸・岡野浩三・楠本真二（阪大）
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
フィーチャー指向分析を基にしたApacheの構成・設定の動的変更
○谷崎裕明・片山卓也（北陸先端大）
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
PSF手法に基づくプログラム作成過程における変遷の可視化
○水穂良平・土田康太・浜名隆広・佐藤匡正（島根大）
pp. 37 - 42

今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。