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

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

vol. 105, no. 129

ソフトウェアサイエンス

[PREV] [NEXT]

SS2005-18
A Static Analysis using Tree Automata for XML Access Control
○Isao Yagi・Yoshiaki Takata・Hiroyuki Seki（NAIST）
pp. 1 - 6

SS2005-19
オントロジーを用いたソフトウェア設計法の一検討
○吉田　寛・井上貴司・松雪康巳・山村哲哉（NTT）
pp. 7 - 12

SS2005-20
A Formal Model for Stateful Trust Management Systems
○Hisashi Mouri・Yoshiaki Takata・Hiroyuki Seki（NAIST）
pp. 13 - 18

SS2005-21
強計算性に基づいた単純型項書換え系の停止性証明法
○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹（名大）
pp. 19 - 24

SS2005-22
難読プログラミング言語Malbolgeにおけるプログラム構成手法
○飯澤　恒・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）
pp. 25 - 30

SS2005-23
ナローイング計算の停止性証明のための依存グラフ法
○三浦浩一・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大）
pp. 31 - 36

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