Print edition: ISSN 0913-5685
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2006-1
シグナルにおけるデータ競合の検出
田原貴光・○権藤克彦（東工大）
pp. 1 - 6
SS2006-2
属性文法処理系 MAGE におけるOSLコード変換器のブートストラッピング
○吉岡隆弘・萩原威志（新潟大）
pp. 7 - 12
SS2006-3
ソフトウェア意味モデルの要素構成に関する考察
○鯵坂恒夫（和歌山大）
pp. 13 - 18
SS2006-4
異機種ルータの相互接続試験活動 ～ 新しいネットワークアーキテクチャの導入を促進するために ～
○菊池 豊（高知工科大）・石原丈士（東芝）・永見健一（インテック・ネットコア）・楠田友彦（インテック・ウェブ・アンド・ゲノム・インフォマティクス）・菱岡裕男（ネクステック）・西内一馬（シティネット）・羽田友和（インテック・ネットコア）・水村雅明・正岡 元（高知工科大）・池田浩志・中川郁夫（インテック・ネットコア）・江崎 浩（東大）
pp. 19 - 24
SS2006-5
リアルタイムステートチャートによる形式的手法
徳田 学・○山根 智（金沢大）
pp. 25 - 30
SS2006-6
強計算依存対法による高階書換え系の停止性証明
○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大）
pp. 31 - 36
SS2006-7
差分を用いたシナリオ作成支援
○牧野正之・大西 淳（立命館大）
pp. 37 - 42
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．