Print edition: ISSN 0913-5685
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2006-34
項書換え系多重完備化手続きにおける新たな半順序制約表現の導入
○佐藤晴彦・栗原正仁（北大）
pp. 1 - 6
SS2006-35
自動組版用テンプレート作成における形式言語方式の探究
○ザイ建一（ロココ）
pp. 7 - 11
SS2006-36
UML/OCLに記述された時間 QoS の階層的検証手法の提案
○長井栄吾・岡野浩三・楠本真二（阪大）
pp. 13 - 18
SS2006-37
マッピング手法の導入によるインタラクション・モデルの拡張
○柳田拓人・野中秀俊・栗原正仁（北大）
pp. 19 - 22
SS2006-38
An Efficient Model Checking Method for Programs with History-based Access Control
○Jing Wang・Yoshiaki Takata・Hiroyuki Seki（NAIST）
pp. 23 - 28
SS2006-39
SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
○浜口 優・吉村 顕・岡野浩三・楠本真二（阪大）
pp. 29 - 34
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．