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

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

vol. 105, no. 597

ソフトウェアサイエンス

[PREV] [NEXT]

SS2005-83
AHPによる要求代替案選択手法
○山崎孝夫・佐伯元司（東工大）
pp. 1 - 6

SS2005-84
Model Checking Integrated Services of Home Network Systems
○Takafumi Matsuo・Pattara Leelaprute・Tatsuhiro Tsuchiya・Tohru Kikuno（Osaka Univ.）
pp. 7 - 12

SS2005-85
関数プログラムの停止性証明のための辞書式経路順序
○星野由美・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大）
pp. 13 - 18

SS2005-86
確率的モデル検査ツールPRISMによるリアルタイム分散システムのネットワーク遅延を考慮した検証手法について
○長井栄吾・岡野浩三・楠本真二（阪大）
pp. 19 - 24

SS2005-87
ページ・機能のモジュール性を高めるWebアプリケーションフレームワークの提案
○原口孝雄（早大）・小野康一（日本IBM）・深澤良彰（早大）
pp. 25 - 30

SS2005-88
ソフトウェア共同開発におけるワークフロー実行制御の一方式
○小谷正行・落水浩一郎（北陸先端大）
pp. 31 - 36

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